func takes_applicative<F: Applicative, A, B>(fa: Lifted<F, A, F.Z>, fb: Lifted<F, B, F.Z>) -> Lifted<F, (A,B), F.Z> {
    return F.product(fa: fa, fb: fb)
}

let opt_a = OptionKind.point(a: 1) // Lifted<OptionKind, Int, Nothing>(Option<Int>.Some(1))
let opt_b = OptionKind.point(a: "string") // Lifted<OptionKind, String, Nothing>.Option(Option<String>.Some("string"))

let res_a = ResultKind<String>.point(a: 1) // Lifted<ResultKind, Int, String>.Result(Result<Int, String>.Ok(1))
let res_b = ResultKind<String>.point(a: "string") // Lifted<ResultKind, String, String>.Result(Result<String, String>.Ok("string"))

takes_applicative(fa: res_a, fb: res_b).unlift() // Result(ok: (1,"string"))
takes_applicative(fa: opt_a, fb: opt_b).unlift() // Some(item: (1, "string"))

DONT THREAD ON ME fucked around with this message at 19:55 on Dec 18, 2018

Powerful Two-Hander fucked around with this message at 22:15 on Dec 18, 2018

SELECT posters_with_avatars.id
FROM users
CROSS JOIN LATERAL (
  SELECT forumsposters.id, avatars.uploaded_at
  FROM forumsposters
  INNER JOIN avatars ON (forumsposters.id = avatars.poster_id)
  WHERE forumsposters.user_id = users.id
  -- use non-deleted forums poster if one exists, otherwise most recently deleted one
  ORDER BY forumsposters.deleted_at DESC NULLS FIRST
  LIMIT 1
) AS posters_with_avatars
WHERE
  users.is_disabled = FALSE AND
  posters_with_avatars.uploaded_at BETWEEN ('2018-01-01' AND '2018-06-01') AND
  EXISTS (
    SELECT *
    FROM probations
    WHERE
      probations.user_id = users.id AND
      probations.created_at BETWEEN (
        posters_with_avatars.uploaded_at AND
        posters_with_avatars.uploaded_at + INTERVAL '3 days'
      )
  )

TheFluff fucked around with this message at 09:08 on Dec 19, 2018

Shaman Linavi fucked around with this message at 22:09 on Dec 19, 2018

Powerful Two-Hander fucked around with this message at 22:44 on Dec 20, 2018