higher: Your favourite Haskell type classes for Rust (2023)
github.com·1d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Fundamental Problems of Lisp, the Cons Cell (2024)
xahlee.info·4d·
Discuss: Hacker News
🔗Lisp
Python Fundamentals: any
dev.to·22h·
Discuss: DEV
💧Liquid Types
A Macro Story
courses.cs.northwestern.edu·1h·
Discuss: Lobsters, Hacker News
🔗Lisp
Cactus Language • Syntax 10
inquiryintoinquiry.com·5h
📝Concrete Syntax
Magnus Therning: Finding a type for Redis commands
magnus.therning.org·1d
🌐Protocol Synthesis
Coping with Complexity
slott56.github.io·1d
🔗Concatenative Programming
Language Workbenches: The Killer-App for Domain Specific Languages? (2005)
martinfowler.com·1d·
Discuss: Hacker News
🗣️Domain-Specific Languages
Implementing Ray Tracing In One Weekend in F#
heftymouse.me·7h·
Discuss: Hacker News
🔗Functional Compilers
Counting with Categories (Part 1)
golem.ph.utexas.edu·6h
λLambda Formalization
Of Course ML Has Monads! (2011)
existentialtype.wordpress.com·1d·
Discuss: Lobsters, Hacker News
🧬Functional Programming
Typst Examples Book
sitandr.github.io·2d
📝Concrete Syntax
2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)
siglog.org·1d·
Discuss: Hacker News
💻Programming languages
Adding linear-time lookbehinds to RE2
systemf.epfl.ch·22h·
Discuss: Lobsters, Hacker News, r/programming
🔍RegEx Engines
Memory Safety in Web Rust System Zero Cost Secure（1750594760521200）
dev.to·8h·
Discuss: DEV
🦀Rust Borrowing
How to market Haskell to a mainstream programmer
wadler.blogspot.com·1d·
Discuss: www.blogger.com
🧬Functional Programming
My First Impressions of Gleam
mtlynch.io·21h·
Discuss: Lobsters, Hacker News
🌳Incremental Parsing
Well-Typed.Com: GHC activities report: March–May 2025
well-typed.com·2d
🔗Functional Compilers
Functional Hello World in Go: A Journey from First Class Functions to Function Composition
dev.to·8h·
Discuss: DEV
🔗Concatenative Programming
Memory Safety in Web Rust System Zero Cost Secure（1750570224424500）
dev.to·15h·
Discuss: DEV
🦀Rust Borrowing