!programming_languages@programming.dev
Hello!
This is the current Lemmy equivalent of https://www.reddit.com/r/ProgrammingLanguages/.
The content and rules are the same here as they are over there. Taken directly from the /r/ProgrammingLanguages overview:
This community is dedicated to the theory, design and implementation of programming languages.
Be nice to each other. Flame wars and rants are not welcomed. Please also put some effort into your post.
This isn't the right place to ask questions such as "What language should I use for X", "what language should I learn", and "what's your favorite language". Such questions should be posted in /c/learn_programming or /c/programming.
This is the right place for posts like the following:
See /r/ProgrammingLanguages for specific examples
!programming_languages
@programming.devhttps://zyme.dev/
an esoteric language for genetic programming.
https://www.cs.cornell.edu/~asampson/blog/gator.html
A special kind of bug exists in code that has to deal with geometric concepts like positions, directions, coordinate systems, and all that. Long ago, in an OOPSLA 2020 paper, we defined geometry bugs and designed a type system to catch them. This post demonstrates the idea through some buggy GLSL shaders.
https://dl.acm.org/doi/10.1145/3591264
File formats specify how data is encoded for persistent storage. They cannot be formalized as context-free grammars since their specifications include context-sensitive patterns such as the random access pattern and the type-length-value pattern. We ...
https://www.cs.cornell.edu/~asampson/blog/bril.html
I created a new intermediate language, called Bril, for teaching my funky open-source, hands-on compilers course. Because it’s for education, Bril prioritizes simplicity and regularity over more typical compiler priorities like performance and concision. This is an overview of Bril’s design, its quirks, and the ecosystem that has grown up around it since 2019.
https://glisp.app/
A Lisp-based Design Tool Bridging Graphic Design and Computational Arts
https://bernsteinbear.com/blog/toy-abstract-interpretation/
CF Bolz-Tereick wrote some excellent posts in which they introduce a small IR and optimizer and extend it with allocation removal. We also did a live stream together in which we did some more heap optimizations.
https://codewords.recurse.com/issues/three/algebra-and-calculus-of-algebraic-data-types
https://arxiv.org/abs/2407.11816
https://branchtaken.com/blog/2024/07/12/now-back-to-our-regularly-scheduled-programming_language.html
Champion of the Hemlock programming language