Pure Functions, Type Systems, Monads, Lazy Evaluation

Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·1d·
Discuss: Hacker News
🧮Functional Programming
Flag this post
are-dependent-types-actually-erased
chadnauseam.com·6h
🧮Functional Programming
Flag this post
Doo: A Simple, Fast Programming Language Built on Rust and LLVM
news.ycombinator.com·9h·
Discuss: Hacker News
🧮Functional Programming
Flag this post
Writing Your First Compiler - Part 1: Introduction
dev.to·22h·
Discuss: DEV
🔧Functional programming
Flag this post
Issue 496
haskellweekly.news·4d
🧮Functional Programming
Flag this post
Scala vs. F#
alexn.org·14h·
Discuss: Hacker News
🧮Functional Programming
Flag this post
Functional programming, demystified: What we learned at Nu Engineering Meetup
building.nubank.com·2h
🧮Functional Programming
Flag this post
Defining Types for a Simple HTTP Server
mmhaskell.com·8h
🧮Functional Programming
Flag this post
Free Functions Don't Change Performance (Much)
16bpp.net·3h·
Discuss: Hacker News, r/cpp
🧮Functional Programming
Flag this post
The Best Steve Yegge Posts (2015)
sam-koblenski.blogspot.com·15h
🌳BSP Trees
Flag this post
Parsing with zippers improves parsing with derivatives
dl.acm.org·1d·
Discuss: Hacker News
🧮Functional Programming
Flag this post
learn-data-structures-js
github.com·5h·
Discuss: DEV
🧮Functional Programming
Flag this post
Iterators - Dive into Lazy, Composable Processing
itsfoxstudio.substack.com·1d·
Discuss: r/rust
🧮Functional Programming
Flag this post
We found embedding indexing bottleneck in the least expected place: JSON parsing
nixiesearch.substack.com·1h·
Discuss: Substack
🧮Functional Programming
Flag this post
C++ move semantics from scratch (2022)
cbarrete.com·3h·
Algebraic Effects
Flag this post
Cure - Verification-First Programming for the BEAM
cure-lang.org·6h·
Discuss: Lobsters
🧮Functional Programming
Flag this post
Functional Ruby Programming with Trailblazer
dev.to·11h·
Discuss: DEV
🧮Functional Programming
Flag this post
Type inference with TryFrom and ()
reddit.com·1d·
Discuss: r/rust
🧮Functional Programming
Flag this post
GHC 9.14.1-rc1 is now available
discourse.haskell.org·3d·
🧮Functional Programming
Flag this post
I made a tensor runtime & inference framework in C (good for learning how inference works)
github.com·16h·
🧮Functional Programming
Flag this post