These are chat archives for got-lambda/expression

11th
Mar 2016
Jean-Louis Giordano
@Jell
Mar 11 2016 08:10
So I did the math, and we'll fit 20 pers
(in the conference room for the meetup)
@magthe @ocramz remember to update the description of the meetup, then we can announce it
Marco Zocca
@ocramz
Mar 11 2016 09:03
@Jell aye aye cap'n
Marco Zocca
@ocramz
Mar 11 2016 09:47
theory time: can someone give me a Haskell-oriented metaphor of what OCaml functors are?
because "modules" in ocaml has a very specific meaning, and you can pass them around as well
It might seem that different languages are using different notions of functors, but they're not. They're merely using functors over different algebras. OCamls has an algebra of modules, and functors over that algebra let you attach new declarations to a module in a "compatible" way.
Marco Zocca
@ocramz
Mar 11 2016 10:02
so, I see you can have let bindings and type declarations within OCaml modules, which makes them more akin to monad instances IIUC
whereas a Haskell functor is more general
but hmm, thanks @magthe, I will have to meditate on this
I'm trying to understand the class hierarchy in OML, the ocaml machine learning lib
Marco Zocca
@ocramz
Mar 11 2016 10:07
but I completely lack re. the language
@magthe are you suggesting I'm prematurely creating my own intellectual headache ? : )
I'm a grad student, I FEED on intellectual headaches :D
jk
Magnus Therning
@magthe
Mar 11 2016 10:13
sure, but would you ever take an aspirin before having an intellectual headache? ;)
Marco Zocca
@ocramz
Mar 11 2016 10:14
problem-solution ordering
hmm .. it's a good article, but I find that it's not exclusively true; in that, once we gather some expertise in a field, we can start to reason deductively and not only inductively
Marco Zocca
@ocramz
Mar 11 2016 10:20
but with functional languages, I also find the need to periodically go back to the basics
Magnus Therning
@magthe
Mar 11 2016 10:41
but getting to "once we gather some expertise in a field" is the crux
Marco Zocca
@ocramz
Mar 11 2016 12:13
wax on, wax off
Fredrik Dyrkell
@fredyr
Mar 11 2016 16:08
I've enjoyed these course notes
The functor notes pretty good I think
Fredrik Dyrkell
@fredyr
Mar 11 2016 16:18
The oml library looks nice
Fredrik Dyrkell
@fredyr
Mar 11 2016 16:36
Periodically going back to basics is imo a good strategy for non-functional languages as well, or life in general even :)