mseri / mseri.github.io

Blog

0 stars 0 forks source link

typeclass-ocaml/ #1

Open utterances-bot opened 3 years ago

utterances-bot commented 3 years ago

First steps with Category Theory and OCaml // A fractal spectrum of tales

Free thoughts of a geeky mathematician

https://www.mseri.me/typeclass-ocaml/

mseri commented 3 years ago

Original author: None
Original date: 2017-06-06T00:14:35Z

None

mseri commented 3 years ago

Original author: Pascal Honore (pascalhonore)
Original date: 2017-06-25T21:42:37Z

Back after more than two years :)

mseri commented 3 years ago

Original author: Marcello Seri (mseri)
Original date: 2017-06-25T21:54:10Z

Took a while, ideed :P

mseri commented 3 years ago

Original author: denis631 (denis631)
Original date: 2020-04-05T13:18:25Z

This is just AWESOME material. Thanks a lot!

mseri commented 3 years ago

Original author: Daniel Brice (danielbrice)
Original date: 2021-02-13T00:42:38Z

So, OCaml's functor modules are, in fact, functors in the strict category theory sense. I can elaborate if you're interested :-)

mseri commented 3 years ago

Original author: Marcello Seri (mseri)
Original date: 2021-03-01T09:01:20Z

I would be very interested, thanks! Just so you know, I am changing the comment system to a different privacy-friendly one (utteranc.es), current comments will be transferred there