Haskell

467 readers

7 users here now

founded 2 years ago

MODERATORS

haskman

John Wiegley on Categories and Compilers - The Haskell Cast Ep. 13 [2017-05-11] (www.haskellcast.com)

submitted 1 year ago by demesisx to c/haskell

0 comments fedilink hide all child comments

I listen to this (now very old) episode often to get inspired.

When John starts talking about compiling to categories, at around 14:40 to around 30:00, it gets REALLY interesting.

*😁😁 Hoping to bring this kind of discussion to the new Formal Methods community. 😁😁 * Here's the work he talked about: Compiling to categories by Conal Elliott

I need someone to get into the weeds on compiling programs to "axiomatized closed categories". What are the implications? What are the ramifications?

no comments (yet)

sorted by: hot top controversial new old

there doesn't seem to be anything here