🔧 haskell - abnv · Scour

What's up with Haskell's do notation?

slightknack.dev·1d

⚡functional programming

I got bored and had Claude design and implement a programming language

github.com·11h·

Discuss: Hacker News

✅Type Checking

My Experience at the North American Haskell Hackathon AmeriHac

thedeveloper101.github.io·1d·

Discuss: Hacker News

🔗Concatenative

Simplifying assertions with lenses

blog.ploeh.dk·1d

🚂Error Monads

plrg-bristol/advanced-haskell-2026: Resources for the 2026 Advanced Haskell seminar series at Bristol

github.com·1d

👑Dependent Haskell

Well-Typed.Com: hs-bindgen 0.1-alpha release

well-typed.com·20h·

Discuss: Lobsters, Hacker News

Lean 4 and the Curry–Howard correspondence

wildonblog.wordpress.com·1d

📜Proof Languages

No, dynamic type systems are not inherently more open

lexi-lambda.github.io·4h·

Discuss: Hacker News

🌈Gradual Languages

Package-Inferred Systems are Dangerous

aartaka.me·9h

⚙️TOML Parsers

How I Built My Project in Haskell

dev.to·2d·

Discuss: DEV

🌱Minimal Languages

Redefining Go Functions

pboyd.io·6h·

Discuss: Lobsters, Hacker News, r/golang

January 2026 Monthly report | Alternative Rust Compiler for GCC

rust-gcc.github.io·7h·

Discuss: r/rust

🦀MIR Optimization

Python's Dynamic Typing Problem

whileforloop.com·8h·

Discuss: Hacker News, r/programming

🌊Gradual Typing

Show HN: Deterministic linguistic enrichment pipeline for Node.js

npmjs.com·9h·

Discuss: Hacker News

🔤Language Tokenizers

Tutorialkit.rb: the ruby.wasm journey goes onward—Martian Chronicles, Evil Martians’ team blog

evilmartians.com·20h

💬Smalltalk VMs

Toggling Between Let and Let*

irreal.org·2d

Build a Compiler in Five Projects

kmicinski.com·3d

🎭Racket Modules

Domain Specific Languages

martinfowler.com·6h

🎨Domain-Specific Languages

Titivillus Teachings Typning by chromokun, H.

chromokun.itch.io·1d

💬Interactive REPLs

generativist.com·20h·

Discuss: Hacker News

Loading more...