🔠 Type-Level Programming - tiferrei · Scour

Modelling Distributed Applications with Mixed-Choice Stateful Typestates 🔄Finite State Machines

arxiv.org·5d

APL: Evaluator for a Subset of Scheme 🐫OCaml

dfns.dyalog.com·2d·Hacker News

A typed functional language that compiles to JavaScript λFunctional Programming

peat-lang.fly.dev·9h·Hacker News

Effect Without Effect-TS: Algebraic Thinking in Plain TypeScript 🎯GADT

cekrem.github.io·21h·r/coding, r/functionalprogramming, r/programming, r/typescript, r/webdev

google-research/dex-lang: Research language for array processing in the Haskell/ML family 📦Module Systems

github.com·1d·Hacker News

Incremental Lambda Calculus λFunctional Programming

inc-lc.github.io·4d·Hacker News

Everything Should Be Typed: Scalar Types Are Not Enough 🎯GADT

sot.dev·1d·Lobsters, Hacker News, r/programming, r/rust

A Perfectable Programming Language 🧮Lean4

alok.github.io·2d·Hacker News

Functional repository pattern in Scheme? Decoupling and abstracting the data layer in Lisp 📝Nix Language

jointhefreeworld.org·4d·Lobsters, Hacker News

Hatter: Native Haskell Mobile Apps 🏢Jane Street Core

jappie.me·1d·Hacker News

The 6 Big Ideas of Typescript ❓Existential Types

sitr.us·5d·r/programming

Japanese Article: https://zenn.dev/saqula/articles/2361ce8de47570, for explaining https://github.com/aluqas/typelude project. 🐫OCaml

gist.github.com·1d·Hacker News

A Dumb Introduction to z3 🧮Z3 Solver

ar-ms.me·1d·Lobsters, Hacker News

A Type System for Management 🏹Effect Systems

rescrv.net·4d·Hacker News

Retrospective on binary search and comp{ress,ilat}ion (2015) 🔍CBMC

pvk.ca·5d·Hacker News

Grow and mow: interpretable models with boosting, symbolic regression and e-graphs 🧮SMT Solvers

mchav.github.io·5d·Hacker News

But what about K? 🔀Brzozowski Derivatives

tony-zorman.com·5d·Lobsters, Hacker News

Structured Software Architecture 🔤DSLs

programmingsimplicity.substack.com·5d·Substack

A composable AI agent framework in TypeScript λFunctional Programming

better-agent.com·6d·Hacker News

GistNoesis/Shoggoth.db: Self Organising Databases 🔀Brzozowski Derivatives

github.com·2d·Hacker News

Loading more...