Ancestors

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 | More toots from zyang@mathstodon.xyz

Descendants

Written by Patrik Jansson on 2024-12-30 at 21:44

@zyang really nice, yes, and there is a bit of follow-up work as well (still under review) for tensor calculus: https://arxiv.org/abs/2312.02664

=> More informations about this toot | More toots from patrikja@functional.cafe

Written by Zhixuan Yang on 2024-12-30 at 21:47

@patrikja Thanks! By the way I just bought a physical copy of your DSL of maths book today, looking forward to reading it!

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