johnw 2017-02-28 13:00:38
it's also always surprising how much you can abstract with just a closure
monaddanom 2017-02-28 13:00:54
hum?
johnw 2017-02-28 13:01:08
I recently create a data generator where tracks have columns, and I wanted to be able to let the user manipulate which columns were printed, and in what order. I ended up just taking a list [Row -> Text] as input, which means my algorithm didn't need to care about the columns at all.
johnw 2017-02-28 13:01:49
i.e., a list of closures, where each lambda closes over the column it cares about
monaddanom 2017-02-28 13:05:17
@help
lambdabot 2017-02-28 13:05:18
help . Ask for help for . Try 'list' for all commands
monaddanom 2017-02-28 13:05:26
@help list
lambdabot 2017-02-28 13:05:26
list [module|command]. Show commands for [module] or the module providing [command].
johnw 2017-02-28 13:06:17
do you need some assistance, monaddanom?
monaddanom 2017-02-28 13:06:42
no i don't think so:-) new here
Ptival 2017-02-28 13:10:59
is there a pragma to disable a warning for some definition or some file?
Tuplanolla 2017-02-28 13:11:30
Put `{-# OPTIONS_GHC -fno-warn-whatever #-}` in the beginning, Ptival.
Tuplanolla 2017-02-28 13:11:55
There's also plain `OPTIONS` for common flags.
Ptival 2017-02-28 13:13:10
Tuplanolla: thanks!
Ptival 2017-02-28 13:17:31
I hope someone works on exhaustiveness checking with simple pattern synonyms :)
mniip 2017-02-28 13:38:13
edwardk, hmm, the algorithm is by no means trivial, I'm looking at some example cases (of End_a Hom(Fa, Ga)) and I'm not seeing any pattern whatsoever
mniip 2017-02-28 13:38:55
and then there's stuff like End_a Hom(Hom(a+, a-), Hom(a-, a+)) = Z
mniip 2017-02-28 13:39:08
errr s/Z/N/
mniip 2017-02-28 13:40:37
this sounds a lot like what djinn is donig
Forkk 2017-02-28 13:42:43
is using gmp in C code called from Haskell possible now? everything I'm finding about it on google seems dated
Forkk 2017-02-28 13:43:14
and if it is, how would one go about marshalling `Integer`s to and from C code
