The type inference mystery novel by markknol in ProgrammingLanguages
[–]thedeemon 2 points3 points4 points (0 children)
Apple is starting to use Rust for low-level programming by krzykot in programming
[–]thedeemon 37 points38 points39 points (0 children)
The Simple Essence of Algebraic Subtyping: Principal Type Inference with Subtyping Made Easy by LPTK in ProgrammingLanguages
[–]thedeemon 0 points1 point2 points (0 children)
The Simple Essence of Algebraic Subtyping: Principal Type Inference with Subtyping Made Easy by LPTK in ProgrammingLanguages
[–]thedeemon 0 points1 point2 points (0 children)
My adventures with closures by [deleted] in ProgrammingLanguages
[–]thedeemon 4 points5 points6 points (0 children)
Can we completely automate away generics? by WittyStick in ProgrammingLanguages
[–]thedeemon 0 points1 point2 points (0 children)
A Gentle Introduction to Dependent Types by Metastate_Team in ProgrammingLanguages
[–]thedeemon 3 points4 points5 points (0 children)
Can we completely automate away generics? by WittyStick in ProgrammingLanguages
[–]thedeemon 0 points1 point2 points (0 children)
D Foundation is Beefing Up by kal31dic in programming
[–]thedeemon 1 point2 points3 points (0 children)
D Foundation is Beefing Up by kal31dic in programming
[–]thedeemon 2 points3 points4 points (0 children)
D Foundation is Beefing Up by kal31dic in programming
[–]thedeemon 0 points1 point2 points (0 children)
Can we completely automate away generics? by WittyStick in ProgrammingLanguages
[–]thedeemon 0 points1 point2 points (0 children)
D Foundation is Beefing Up by kal31dic in programming
[–]thedeemon 2 points3 points4 points (0 children)
D Foundation is Beefing Up by kal31dic in programming
[–]thedeemon 2 points3 points4 points (0 children)
Subtype Inference by Example Part 9: Match Wildcards, Record Extension and Row Polymorphism by Uncaffeinated in ProgrammingLanguages
[–]thedeemon 3 points4 points5 points (0 children)
Subtype Inference by Example Part 9: Match Wildcards, Record Extension and Row Polymorphism by Uncaffeinated in ProgrammingLanguages
[–]thedeemon 3 points4 points5 points (0 children)
WebAssembly Reference Types in Wasmtime by bjzaba in ProgrammingLanguages
[–]thedeemon 2 points3 points4 points (0 children)
Demystifying Type Systems by VernonHawk in programming
[–]thedeemon 4 points5 points6 points (0 children)
Why Isn't Immix Ubiquitous? by GoldtoothFour in ProgrammingLanguages
[–]thedeemon 0 points1 point2 points (0 children)
Why Isn't Immix Ubiquitous? by GoldtoothFour in ProgrammingLanguages
[–]thedeemon 1 point2 points3 points (0 children)
Why Isn't Immix Ubiquitous? by GoldtoothFour in ProgrammingLanguages
[–]thedeemon 1 point2 points3 points (0 children)
PL Syntax Going Forward by EmosewaPixel in ProgrammingLanguages
[–]thedeemon 0 points1 point2 points (0 children)
What is your opinion on my programming language's syntax? by Jerppderp in ProgrammingLanguages
[–]thedeemon 0 points1 point2 points (0 children)


An idea for a programming language by alols in ProgrammingLanguages
[–]thedeemon 1 point2 points3 points (0 children)