🔷 F#

Functional Programming, .NET, Type Providers, Railway-Oriented Programming

A Monad Guide for Beginners
dev.to·1d·
Discuss: DEV
🤖AI
Flag this post
Lean4 Macros for Implementing Custom Quantifiers
jamesoswald.dev·16h·
Discuss: Hacker News
🤖AI
Flag this post
How to create a generic JSON request function, over HTTP, in Go?
cristiancurteanu.com·19h·
Discuss: r/golang
🔷.NET
Flag this post
Parsing an HTTP Request
mmhaskell.com·2h
🔷.NET
Flag this post
Why Baidu's AMIS Framework Is an Excellent Design
dev.to·2h·
Discuss: DEV
🤖AI
Flag this post
A Turing complete language in TypeScript types
github.com·1d·
Discuss: Hacker News
🤖AI
Flag this post
Modern perspectives in proof theory (2023)
pmc.ncbi.nlm.nih.gov·15h·
Discuss: Hacker News
🤖AI
Flag this post
Escaping the Forest of if Statements🌲: Building Logical Type Guards with `is-kit`
dev.to·1d·
Discuss: DEV
🔷.NET
Flag this post
Learnings from pushing TypeScript inference to its limits: bridging static safety and runtime flexibility
reddit.com·2d·
Discuss: r/typescript
🔷.NET
Flag this post
7 unusual programming languages that are worth taking a look at
howtogeek.com·19h
🔷.NET
Flag this post
Resolving the Scourge of Java's Checked Exceptions on Its Streams and Lambdas
javajanitorjim.substack.com·13h·
Discuss: Substack
🔷.NET
Flag this post
Derek Elkins: Umbral Calculus
hedonisticlearning.com·11h
🤖AI
Flag this post
The Metastasize of Templating in Declarative Language
fromanengineersight.substack.com·15h·
Discuss: Substack
🔷.NET
Flag this post
A compact syntax for XProc?
so.nwalsh.com·3h
⚡HTMX
Flag this post
Error ABI
matklad.github.io·1d·
Discuss: Lobsters, Hacker News
🔷.NET
Flag this post
From Esolang to Numeric Script: Building Formin in Fortran
dev.to·22h·
Discuss: DEV
🔷.NET
Flag this post
Crossplatform Business Logic in Rust
forgestream.idverse.com·11h·
Discuss: r/rust
🔷.NET
Flag this post
Choice of language/libraries - 2d graphics, functional
reddit.com·2d·
Discuss: r/AskProgramming
🔷.NET
Flag this post
Rust-SFSM 1.0.0
reddit.com·1d·
Discuss: r/rust
🤖AI
Flag this post
How Rust Transforms Error Handling: From Crashes to Reliable Software Systems
dev.to·16h·
Discuss: DEV
🔷.NET
Flag this post