Lemmit.Online botMABEnglish · 19 hours agoEffect Systems vs Print Debugging: A Pragmatic Solutionplus-squareblog.flix.devexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkEffect Systems vs Print Debugging: A Pragmatic Solutionplus-squareblog.flix.devLemmit.Online botMABEnglish · 19 hours agomessage-square0linkfedilink
Lemmit.Online botMABEnglish · 19 hours agoIdentity Typesplus-squarebartoszmilewski.comexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkIdentity Typesplus-squarebartoszmilewski.comLemmit.Online botMABEnglish · 19 hours agomessage-square0linkfedilink
Lemmit.Online botMABEnglish · 1 day agoCreating my dream programming languageplus-squareold.reddit.comexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkCreating my dream programming languageplus-squareold.reddit.comLemmit.Online botMABEnglish · 1 day agomessage-square0linkfedilink
Lemmit.Online botMABEnglish · 2 days agoVeryl: A Modern Hardware Description Languageplus-squareold.reddit.comexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkVeryl: A Modern Hardware Description Languageplus-squareold.reddit.comLemmit.Online botMABEnglish · 2 days agomessage-square0linkfedilink
Lemmit.Online botMABEnglish · 2 days agoTopoLang: An experiment with topological image rewrite rulesplus-squareold.reddit.comexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkTopoLang: An experiment with topological image rewrite rulesplus-squareold.reddit.comLemmit.Online botMABEnglish · 2 days agomessage-square0linkfedilink
Lemmit.Online botMABEnglish · 2 days agoCompiling with Continuationsplus-squareold.reddit.comexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkCompiling with Continuationsplus-squareold.reddit.comLemmit.Online botMABEnglish · 2 days agomessage-square0linkfedilink
Lemmit.Online botMABEnglish · 3 days agoWHEN: A language where everything runs in implicit loops with reactive conditionsplus-squareold.reddit.comexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkWHEN: A language where everything runs in implicit loops with reactive conditionsplus-squareold.reddit.comLemmit.Online botMABEnglish · 3 days agomessage-square0linkfedilink
Lemmit.Online botMABEnglish · 3 days agoThoughts on ad-hoc polymorphismplus-squareold.reddit.comexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkThoughts on ad-hoc polymorphismplus-squareold.reddit.comLemmit.Online botMABEnglish · 3 days agomessage-square0linkfedilink
Lemmit.Online botMABEnglish · 3 days agoA Generalized Algebraic Theory of Directed Equalityplus-squarejacobneu.phdexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkA Generalized Algebraic Theory of Directed Equalityplus-squarejacobneu.phdLemmit.Online botMABEnglish · 3 days agomessage-square0linkfedilink
Lemmit.Online botMABEnglish · 4 days agoI released ArkScript v4plus-squaregithub.comexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkI released ArkScript v4plus-squaregithub.comLemmit.Online botMABEnglish · 4 days agomessage-square0linkfedilink
Lemmit.Online botMABEnglish · 4 days agoHow do I make a real type-checker?plus-squareold.reddit.comexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkHow do I make a real type-checker?plus-squareold.reddit.comLemmit.Online botMABEnglish · 4 days agomessage-square0linkfedilink
Lemmit.Online botMABEnglish · 5 days agoWhat language do you recommend is the best for implementing a new programming language?plus-squareold.reddit.comexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkWhat language do you recommend is the best for implementing a new programming language?plus-squareold.reddit.comLemmit.Online botMABEnglish · 5 days agomessage-square0linkfedilink
Lemmit.Online botMABEnglish · 6 days agoWasm 3.0 Completed - WebAssemblyplus-squarewebassembly.orgexternal-linkmessage-square0linkfedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-linkWasm 3.0 Completed - WebAssemblyplus-squarewebassembly.orgLemmit.Online botMABEnglish · 6 days agomessage-square0linkfedilink
Lemmit.Online botMABEnglish · 7 days agoHow do you design a programming language?plus-squareold.reddit.comexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkHow do you design a programming language?plus-squareold.reddit.comLemmit.Online botMABEnglish · 7 days agomessage-square0linkfedilink
Lemmit.Online botMABEnglish · 7 days agoWe need better C ABI compatible compiler targets.plus-squareold.reddit.comexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkWe need better C ABI compatible compiler targets.plus-squareold.reddit.comLemmit.Online botMABEnglish · 7 days agomessage-square0linkfedilink
Lemmit.Online botMABEnglish · 7 days agoBenchGen: A multi-language benchmark generator via L-Systemsplus-squareold.reddit.comexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkBenchGen: A multi-language benchmark generator via L-Systemsplus-squareold.reddit.comLemmit.Online botMABEnglish · 7 days agomessage-square0linkfedilink
Lemmit.Online botMABEnglish · 8 days agoWhat is the Functional Programming Equivalent of a C-level language?plus-squareold.reddit.comexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkWhat is the Functional Programming Equivalent of a C-level language?plus-squareold.reddit.comLemmit.Online botMABEnglish · 8 days agomessage-square0linkfedilink
Lemmit.Online botMABEnglish · 9 days agoWhat is the rationale behind the WebAssembly if statements behaving like block when it comes to breaking (br and br_if), rather than being transparent to the breaks? Wouldn't if being tr...plus-squarelangdev.stackexchange.comexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkWhat is the rationale behind the WebAssembly if statements behaving like block when it comes to breaking (br and br_if), rather than being transparent to the breaks? Wouldn't if being tr...plus-squarelangdev.stackexchange.comLemmit.Online botMABEnglish · 9 days agomessage-square0linkfedilink
Lemmit.Online botMABEnglish · 9 days agoHow do you test your compiler/interpreter?plus-squareold.reddit.comexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkHow do you test your compiler/interpreter?plus-squareold.reddit.comLemmit.Online botMABEnglish · 9 days agomessage-square0linkfedilink
Lemmit.Online botMABEnglish · 10 days agoSimon Peyton Jones: Pursuing a Trick a Long Way, Just To See Where It Goes - The Typechecker podcastplus-squarewww.youtube.comexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkSimon Peyton Jones: Pursuing a Trick a Long Way, Just To See Where It Goes - The Typechecker podcastplus-squarewww.youtube.comLemmit.Online botMABEnglish · 10 days agomessage-square0linkfedilink
