An implementation of "A Categorical Programing Language"
https://github.com/msakai/cpl
https://github.com/msakai/cpl
GitHub
GitHub - msakai/cpl: An interpreter of Hagino's Categorical Programming Language (CPL).
An interpreter of Hagino's Categorical Programming Language (CPL). - msakai/cpl
👍1👎1🤔1
copy-and-patch.pdf
1.2 MB
Copy-and-Patch Compilation: A Fast Compilation Algorithm for High-Level Languages and Bytecode
HA
👍1
👎1
No-Brainer CPS Conversion (Functional Pearl)
https://www.khoury.northeastern.edu/home/shivers/papers/nobrainer-cps.pdf
https://www.khoury.northeastern.edu/home/shivers/papers/nobrainer-cps.pdf
🤯1
The Pure Programming Language
https://agraef.github.io/pure-lang/
https://agraef.github.io/pure-lang/
👎1🥴1😍1🤨1
How do we tell truths that might hurt?
Edsger W.Dijkstra, 18 June 1975
https://www.cs.virginia.edu/~evans/cs655/readings/ewd498.html
Edsger W.Dijkstra, 18 June 1975
https://www.cs.virginia.edu/~evans/cs655/readings/ewd498.html
🔥2❤1👍1🗿1💊1😡1
Scheduling Internals
https://tontinton.com/posts/scheduling-internals/
https://tontinton.com/posts/scheduling-internals/
❤3👍3🔥1👏1😍1
Functional Ownership through Fractional Uniqueness
https://arxiv.org/abs/2310.18166
https://arxiv.org/abs/2310.18166
arXiv.org
Functional Ownership through Fractional Uniqueness
Ownership and borrowing systems, designed to enforce safe memory management without the need for garbage collection, have been brought to the fore by the Rust programming language. Rust also aims...
🙏1
An implementation of Terry A. Davis's HolyC
https://github.com/Jamesbarford/holyc-lang
https://github.com/Jamesbarford/holyc-lang
GitHub
GitHub - Jamesbarford/holyc-lang: HolyC compiler & transpiler
HolyC compiler & transpiler. Contribute to Jamesbarford/holyc-lang development by creating an account on GitHub.
🙏6😎3👍1🔥1🤔1🤯1💔1
Language Oriented Programming
https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=825a90a7eaebd7082d883b198e1a218295e0ed3b
https://citeseerx.ist.psu.edu/document?repid=rep1&type=pdf&doi=825a90a7eaebd7082d883b198e1a218295e0ed3b
The Principle of Categorical Harmony
https://ebrary.net/17831/philosophy/principle_categorical_harmony
https://ebrary.net/17831/philosophy/principle_categorical_harmony
Ebrary
The Principle of Categorical Harmony
In this section, we first see how logical constants can be regarded as adjoint functors, and finally lead to the principle of categorical harmony. Although I do not explain the concept of categories from the scratch, from a logical point of view, you may
The syntax of C in Backus-Naur Form
https://cs.wmich.edu/~gupta/teaching/cs4850/sumII06/The%20syntax%20of%20C%20in%20Backus-Naur%20form.htm
https://cs.wmich.edu/~gupta/teaching/cs4850/sumII06/The%20syntax%20of%20C%20in%20Backus-Naur%20form.htm
👌4
Self Types for Dependently Typed Lambda Encodings
https://homepage.divms.uiowa.edu/~astump/papers/fu-stump-rta-tlca-14.pdf
https://homepage.divms.uiowa.edu/~astump/papers/fu-stump-rta-tlca-14.pdf
👍1
Write Yourself a Scheme in 48 Hours
https://en.wikibooks.org/wiki/Write_Yourself_a_Scheme_in_48_Hours
https://en.wikibooks.org/wiki/Write_Yourself_a_Scheme_in_48_Hours
en.wikibooks.org
Write Yourself a Scheme in 48 Hours
Most Haskell tutorials on the web use a style of teaching akin to language reference manuals. They show you the syntax of the language, a few language constructs, then tell you to create a few simple functions at the interactive prompt. The "hard stuff" of…
❤3😐1