Defining Types for a Simple HTTP Server
mmhaskell.com·7h
🔄Functional Programming
Flag this post
Cons Should Not Cons Its Arguments, Part II: Cheney on the MTA
web.archive.org·11h·
Discuss: Hacker News
🔄Functional Programming
Flag this post
Doo: A Simple, Fast Programming Language Built on Rust and LLVM
news.ycombinator.com·8h·
Discuss: Hacker News
🔄Functional Programming
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·1d·
Discuss: Hacker News
🔄Functional Programming
Flag this post
Parsing with zippers improves parsing with derivatives
dl.acm.org·1d·
Discuss: Hacker News
🔄Functional Programming
Flag this post
Writing Your First Compiler - Part 3: Lexical Analysis
dev.to·1h·
Discuss: DEV
🧮Algebraic Effects
Flag this post
are-dependent-types-actually-erased
chadnauseam.com·6h
🔄Functional Programming
Flag this post
Functional programming, demystified: What we learned at Nu Engineering Meetup
building.nubank.com·2h
🔄Functional Programming
Flag this post
A PERSONAL COMPUTING ENVIRONMENT THAT I CAN RELY ON?
logicgrimoire.wordpress.com·3h
🧰software development practices
Flag this post
Convince me to use C instead of Rust
reddit.com·1d·
Discuss: r/C_Programming
🔄Functional Programming
Flag this post
Scala vs. F#
alexn.org·14h·
Discuss: Hacker News
🔄Functional Programming
Flag this post
Federico Biancuzzi, Shane Warden, & Anders Hejlsberg
deprogrammaticaipsum.com·14h
🔄Functional Programming
Flag this post
Dive into Systems
diveintosystems.org·33m·
Discuss: Hacker News
🔄Functional Programming
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·2d·
Discuss: Hacker News
🔄Functional Programming
Flag this post
Can-t stop till you get enough
cant.bearblog.dev·22h·
Discuss: Hacker News
🧮Algebraic Effects
Flag this post
Cure - Verification-First Programming for the BEAM
cure-lang.org·6h·
Discuss: Lobsters
🔄Functional Programming
Flag this post
C++ move semantics from scratch (2022)
cbarrete.com·3h·
Discuss: Lobsters, Hacker News
🦀Borrow Checker
Flag this post
Best tool for measuring lots of source code
shape-of-code.com·19h
🦀Borrow Checker
Flag this post
How much disorder is there in a descending run?
morwenn.github.io·4h·
Discuss: Hacker News
🧮Algebraic Effects
Flag this post
Mastering std::variant for Type-Safe, Expressive Code
dev.to·1d·
Discuss: DEV
🔄Functional Programming
Flag this post