🔷 F#

Functional Programming, .NET, Type Providers, Computation Expressions

Scala vs. F#
alexn.org·4d·
Discuss: Hacker News
🧮Functional Programming
Flag this post
From Repetitive Code to Clean Architecture: How the Decorator Pattern Simplified Activity Logging by 70%
dev.to·4h·
Discuss: DEV
🌳Elm
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.org·2d
🧮Functional Programming
Flag this post
Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de·3d·
Discuss: Hacker News
🧮Functional Programming
Flag this post
Creating Lisp Systems
renato.athaydes.com·2d·
Discuss: Hacker News
📐Haskell
Flag this post
Introducing a Go linter bringing Rust style exhaustiveness checking of sum types to Go interfaces.
reddit.com·1d·
Discuss: r/golang
🧮Functional Programming
Flag this post
Servant by construction – a blog series on Haskell's web stack gem
laurentrdc.xyz·1h·
Discuss: Hacker News
📐Haskell
Flag this post
Go Generics: Use Cases and Patterns
dev.to·1d·
Discuss: DEV
🧮Functional Programming
Flag this post
Exceptions in Cranelift and Wasmtime
cfallin.org·21h·
Discuss: Lobsters, Hacker News, r/rust
🌳Elm
Flag this post
MichaelAI vs. CogniFlow: A Developer's No-BS Guide to Enterprise AI Platforms
getmichaelai.com·1d·
Discuss: DEV
🌳Elm
Flag this post
My tutorial and take on C++20 coroutines (2021)
scs.stanford.edu·13h·
Discuss: Hacker News
🌳Elm
Flag this post
Streams in C#
dev.to·1d·
Discuss: DEV
🌳Elm
Flag this post
Embedding TypeScript
andrews.substack.com·1d·
Discuss: Substack, r/programming
📐Haskell
Flag this post
Show HN: Kumi – a portable, declarative, functional core for business logic
kumi-play-web.fly.dev·1d·
Discuss: Hacker News
🌳Elm
Flag this post
GPT-4 Functions as Monoidal Structures: Sequential ∘ and Parallel ⊗
lightcapai.medium.com·23h·
Discuss: Hacker News
🧮Functional Programming
Flag this post
Code legacy: Analyzing Erlang's C and C++ modules
pvs-studio.com·2h·
Discuss: Hacker News
🌳Elm
Flag this post
Array Programming the Mandelbrot Set
jcmorrow.com·10h·
Discuss: Hacker News
🧮Functional Programming
Flag this post
An introduction to program synthesis (Part II) - Automatically generating features for machine learning
mchav.github.io·2d·
Discuss: r/programming
🧮Functional Programming
Flag this post
## Automated Verification and Enhancement of Distributed Ledger Technology (DLT) Smart Contract Logic Using Hybrid Symbolic Execution and Machine Learning
freederia.com·7h
🧮Functional Programming
Flag this post
are-dependent-types-actually-erased
chadnauseam.com·4d·
Discuss: Hacker News
🧮Functional Programming
Flag this post