compiling-to-categories/concat
View on GitHub ↗ ★ 463 Haskell
Compiling to Categories
3 mentions on Hacker News by 2 people: 0 stories, 3 comments · first 2018-10-27 · latest 2021-12-30
20082026
-
…and restrictions that make additional features appear necessary" thing, which is something like https://github.com/conal/concat and https://arxiv.org/abs/1007.2885 . This would be a way to make some categorical DSL stuff less annoying to…
comment by Ericson2314 · 2021-12-30 · in Features of a dream programming language -
…is how can you mix and match straight jackets, and how convoluted is programming. Also look at https://github.com/conal/concat
comment by Ericson2314 · 2019-12-22 · in Can Programming Be Liberated from the von Neumann Style? (1977) [pdf] -
…but this is pretty interesting stuff. The source code for the programs he's talking about: https://github.com/conal/concat
comment by AlexCoventry · 2018-10-27 · in Compiling to Categories (2017) [video]