Unlocking the Power of Functional Programming: Easier Solutions to Complex Problems
dev.to·16h·
Discuss: DEV
🧬Functional Programming
higher: Your favourite Haskell type classes for Rust (2023)
github.com·1d·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Well-Typed.Com: GHC activities report: March–May 2025
well-typed.com·2d
💧Liquidhaskell
Implementing Ray Tracing In One Weekend in F#
heftymouse.me·7h·
Discuss: Hacker News
🦀Rust Macros
Of Course ML Has Monads! (2011)
existentialtype.wordpress.com·1d·
Discuss: Lobsters, Hacker News
🧬Functional Programming
Coping with Complexity
slott56.github.io·1d
🔗Concatenative Programming
brainfuck-rs: A Brainfuck AOT compiler written in Rust
reddit.com·11h·
Discuss: r/rust
🦀Rust Macros
Program Synthesis is Interesting and Open
stephendiehl.com·19h·
Discuss: Hacker News
💻Programming languages
Cactus Language • Syntax 10
inquiryintoinquiry.com·4h
📝Concrete Syntax
2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)
siglog.org·1d·
Discuss: Hacker News
💻Programming languages
Counting with Categories (Part 1)
golem.ph.utexas.edu·5h
λLambda Formalization
Darklang Reset: From REST to Functional Language With ADTs
thenewstack.io·1d
🔄Language Evolution
Reflection and open implementations (2006)
dcc.uchile.cl·1d·
Discuss: Lobsters, Hacker News
🌐Protocol Synthesis
Memory Safety in Web Rust System Zero Cost Secure（1750570224424500）
dev.to·15h·
Discuss: DEV
🦀Rust Borrowing
Typst Examples Book
sitandr.github.io·2d
📝Concrete Syntax
Trip June 2025 ISO C++ standards meeting (Sofia, Bulgaria)
herbsutter.com·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/cpp
🛠Language Design
To Bind and Loose a Reference
thephd.dev·21h·
Discuss: Lobsters, Hacker News
🎯Gradual Typing
Can All Knowledge Be Mined? A Formal Framework for φ^∞ Consequence Closure
researchgate.net·3d·
Discuss: Hacker News
🔢Denotational Semantics
Type Inference for Decompiled Code: From Hidden Semantics to Structured Insights
binarly.io·5d
🔓Decompilation
Rewriting the Ruby Parser
railsatscale.com·1d·
Discuss: Hacker News
🔗Monadic Parsing