Toot

Written by Zhixuan Yang on 2024-12-30 at 18:58

The technique introduced in this paper https://arxiv.org/abs/2103.06195

and this blog https://acatalepsie.fr/posts/overloading-lambda.html is really cool! It lets you write an expression in linear/ordinary Haskell and 'desugar' it to any user-defined monoidal/cartesian category.

Very surprisingly to me, everything can be done without any compiler hacking!

=> More informations about this toot | View the thread | More toots from zyang@mathstodon.xyz

Mentions

Tags