this post was submitted on 12 Jul 2023
1 points (100.0% liked)

Haskell

452 readers
1 users here now

founded 1 year ago
MODERATORS
haskman@programming.dev
1
John Wiegley on Categories and Compilers - The Haskell Cast Ep. 13 [2017-05-11] (www.haskellcast.com)
submitted 1 year ago by demesisx@programming.dev to c/haskell@programming.dev
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