noan 2017-02-03 20:48:23
sooo, database library to use together with servant.. What's nice and relatively simple, since I'm still learning basics?
_sras_ 2017-02-03 20:49:30
Why does `lookupTypeName "[]"` return nothing?
mniip 2017-02-03 20:50:11
no idea about the context but it's polymorphic which might be an issue with whatever you're using
Cale 2017-02-03 21:00:53
mniip: no, that was my mistake, its 2-cells are natural transformations
mniip 2017-02-03 21:17:43
Cale, so what next
Cale 2017-02-03 21:19:50
sleep
Cale 2017-02-03 21:20:02
and then travel to New York for 2 weeks
Cale 2017-02-03 21:20:11
and then travel to Melbourne for a month
mniip 2017-02-03 21:21:29
ok, once in melbourne, can you explain how strength is related? :p
riaqn 2017-02-03 21:21:49
Hi, any counterpart of LLVM in functional programming world?
riaqn 2017-02-03 21:22:10
I mean, an intermediate language for FP, targeting concrete machines.
riaqn 2017-02-03 21:22:53
maybe STG? but it seems STG is bound to GHC. I need something standalone.
mniip 2017-02-03 21:22:58
well, Haskell has Cmm and STG
mfukar 2017-02-03 21:23:01
I think we call that 'lambda calculus'?
mfukar 2017-02-03 21:23:19
i kid, i kid
riaqn 2017-02-03 21:23:26
mfukar: yeah, the main point is "targeting concrete machines".
riaqn 2017-02-03 21:24:10
so I was actually asking some compiler from untyped LC to LLVM/x86.
mniip 2017-02-03 21:26:09
I don't think there's many enough FPs to have an intermediate language
mniip 2017-02-03 21:26:24
GHC has Core, Stg, and Cmm which are useful within GHC,
mniip 2017-02-03 21:26:29
but not so much outside of it
johndcl 2017-02-03 21:44:32
Hello. In the following code http://lpaste.net/2420610067280691200 , if the first argument to compareBranches evaluates to Nothing, will the second argument be also evaluated?
glguy 2017-02-03 21:45:06
no
