Functional programmers need to take a look at Zig(pure-systems.org)152 points by xngbuilds 5 months ago | 108 comments
Functional Programming with TypeScript's Type System(desislav.dev)74 points by evolveyourmind 3 years ago | 30 comments
λProlog: Logic programming in higher-order logic(lix.polytechnique.fr)149 points by ux266478 8 months ago | 36 comments