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

this post was submitted on 12 Jul 2023

3 points (100.0% liked)

Haskell

372 readers

8 users here now

founded 1 year ago

MODERATORS

haskman@programming.dev