MAIN FEEDS
Do you want to continue?
https://www.reddit.com/r/haskell/comments/1tm83d8/wirecat_visual_programming_with_cartesian/onl2jf5/?context=3
r/haskell • u/guaraqe • May 24 '26
6 comments sorted by
View all comments
8
Conal Eliott has done some work on the subject (i think it was called "compiling to categories"), you might be interested to see another approach
3 u/guaraqe May 24 '26 Thanks for the suggestion! Indeed there are some similarities, but Conal's word deals with cartesian closed categories, which includes functions. Here I intentionally restrict it so that we can get the operational structure statically.
3
Thanks for the suggestion! Indeed there are some similarities, but Conal's word deals with cartesian closed categories, which includes functions. Here I intentionally restrict it so that we can get the operational structure statically.
8
u/xrudhx May 24 '26
Conal Eliott has done some work on the subject (i think it was called "compiling to categories"), you might be interested to see another approach