centril 2017-02-26 19:26:14
wizard1337: I think the fundamental problem is the heap - iirc, everything in haskell lives on the heap
centril 2017-02-26 19:26:17
the heap is slow
johnw 2017-02-26 19:26:33
well, you could burn chips that run the GC algorithm
wizard1337 2017-02-26 19:27:16
i am actually interested here in the non-GC aspects of execution
centril 2017-02-26 19:27:42
Well... the GC aspects are mostly what is important...
wizard1337 2017-02-26 19:28:16
but not specific to haskell
centril 2017-02-26 19:28:30
the fact that haskell uses thunks and currying means functions and arguments or the thunks must be put on the heap
centril 2017-02-26 19:28:48
the indirection makes things slow
Cale 2017-02-26 19:46:11
wizard1337: Have you seen the Reduceron?
Cale 2017-02-26 19:46:11
https://www.cs.york.ac.uk/fp/reduceron/
Cale 2017-02-26 19:46:11
https://vimeo.com/15832032
johnw 2017-02-26 20:21:31
modules are also an option
bollu 2017-02-26 20:21:40
johnw: right now, S5 (modal logic)
johnw 2017-02-26 20:21:47
better to ask in #coq
bollu 2017-02-26 20:21:48
johnw: I plan on encoding a game theory logic called SDGL
bollu 2017-02-26 20:21:49
I see
bollu 2017-02-26 20:22:07
johnw: I have tried #coq before, but I've found that #haskell is always more active ;)
johnw 2017-02-26 20:22:18
yes, but it's also not a Haskell question
bollu 2017-02-26 20:22:35
fair point
