Programming languages serve as the cornerstone of modern computing, facilitating communication between humans and machines.
In the dynamic landscape of software development, communities continually shape these languages, fostering innovation through the creation of new compilers and the evolution of existing languages.
Join us tomorrow for Episode 3 of the Causal Islands Podcast!
We're speaking with special guests Jon Corbett about acimow/Cree#, his Cree programming language, and @nasser about Alb, his Arabic programming language.
Finished reading "Type Systems for Memory Safety" https://borretti.me/article/type-systems-memory-safety by Fernando Borretti. It is a comprehensive review of various type system features across different #ProgrammingLanguages that are used to enforce (varying degrees of) memory safety at compile time.
As expected, it talks a lot about #Rust because Rust is probably the most used PL with compile time memory safety, but it features other languages like Ada, Val and Austral as well.
An interesting read if you are interested in #compilers.
Rainbow (as a terminal app) is starting to come together. The image shows part of a fully functional program that is also the instruction manual. Each section has its own execution context so it is easy to write self documenting code because the code can be executed exactly where it is defined as an example. #forth#programming#programminglanguages#ConcatenativeProgramming#functional