Coeffects: Context-aware programming languages

Interesting Programming Languages | Hacker News

Interesting Programming Languages

skip ยท A programming language to skip the things you have already computed

The Future of Programming

Nodes - Our Story

Ask HN: Compiler Engineers, what would you advise new grads/students to learn? | Hacker News

The Unison language

Luna

Ballerina

Crafting Interpreters

I think it's best to learn the most "traditional" examples of paradigms / language features. So that's like - Haskell for non-strictness, pure functional programming, typeclasses (and things like monads), functional reactive programming (RIP Elm 0.16 you will be missed), software transactional memory - Erlang for actor model / message passing, concurrency, fault tolerance, supervisors, success typing, hot-reloading - Racket for homoiconicity, macro systems, REPL driven development, continuations, gradual typing, domain specific language design - Ruby for monkey patching, cooked metaprogramming - Prolog for logic programming, constraint solving - Rust for linear types - OCaml for modules, proper multi-paradigm - TLA+/PlusCal for formal specifications - Idris for dependent types A lot of these features bleed into other languages, but often it's best to see them "in their natural habitat" so to speak. Funnily enough, I think Clojure supports a lot of the features from each of these categories, so, I dunno, maybe pick Clojure if you can't decide?

Do you have a problem? Write a compiler!

https://twitter.com/_joshburgess/status/1179797768967262215?s=21

The Programming Languages Zoo

syntax across languages (One Big Page)

Compilers for Free

Bytecode compilers and interpreters