💻 programming languages - matmat · Scour

Add typed language docs and help flag 🎯Gradual Typing

Good developers learn to program. Most courses teach a language. 📏Code Metrics

evilgeniuslabs.ca·10h·r/programming

Smalltalk 🔗Concatenative Programming

en.wikipedia.org·5d

Three views on monads 🧬Functional Programming

Why I still reach for Lisp and Scheme instead of Haskell 🧠Lisp Dialects

news.ycombinator.com·1d·Hacker News

A Monadic Implementation of Functional Logic Programs 🔗Functional Compilers

zlascl (3) Linux Manual Page ⚙️PL Implementation

systutorials.com·1h

No, Even JavaScript Has Types 🔗Concatenative Programming

Functional Programmers need to take a look at Zig. 💻Programming languages

pure-systems.org·2d·Lobsters, Hacker News, Hacker News, r/functionalprogramming

Scope Graphs – A Theory of Name Resolution 🔗Monadic Parsing

pl.ewi.tudelft.nl·6h·Hacker News

Luke Plant: Inverse Sapir-Whorf and programming languages 💻Programming languages

lukeplant.me.uk·13h·Lobsters

Issue 522 🔗Functional Compilers

haskellweekly.news·1d

Previous Issues 🎯Gradual Typing

brokencomb.dev·5d

Introduction 📝ABNF Parsing

tree-sitter.github.io·8h

The Final Form of Software Development 📜Proof Carrying Code

blog.zksecurity.xyz·2d·Lobsters, Hacker News

The Tiny Languages of Task Runners 🗣️Domain-Specific Languages

massicotte.org·12h·Hacker News

Functional Programming in Lean - Functional Programming in Lean 🔗Functional Compilers

leanprover.github.io·4d·Hacker News

Transformations, functors, categories 🔀Category Theory

muratkasimov.art·2d·r/functionalprogramming

Modern Software Moves Like Lightning 🔄Language Evolution

artlu.bearblog.dev·8h

Coalton Language Manual 📝Concrete Syntax

coalton-lang.github.io·19h

Log in to enable infinite scrolling