soc@programming.devEnglish · 2 days agoLanguage Design Notesplus-squarecs.lmu.eduexternal-linkmessage-square0linkfedilinkarrow-up13arrow-down10
arrow-up13arrow-down1external-linkLanguage Design Notesplus-squarecs.lmu.edusoc@programming.devEnglish · 2 days agomessage-square0linkfedilink
soc@programming.devEnglish · 2 days agoLibrary Design: Naming Conventions – Lookupplus-squaresoc.meexternal-linkmessage-square0linkfedilinkarrow-up13arrow-down10
arrow-up13arrow-down1external-linkLibrary Design: Naming Conventions – Lookupplus-squaresoc.mesoc@programming.devEnglish · 2 days agomessage-square0linkfedilink
codeinabox@programming.devEnglish · 4 days agoThe Return of Language-Oriented Programmingplus-squareblog.evacchi.devexternal-linkmessage-square0linkfedilinkarrow-up13arrow-down10
arrow-up13arrow-down1external-linkThe Return of Language-Oriented Programmingplus-squareblog.evacchi.devcodeinabox@programming.devEnglish · 4 days agomessage-square0linkfedilink
jeff_hykin@lemmy.world · 13 days agoThe "Impossible" Optimization (Mojo compile time magic)plus-squareverdagon.devexternal-linkmessage-square2linkfedilinkarrow-up14arrow-down10
arrow-up14arrow-down1external-linkThe "Impossible" Optimization (Mojo compile time magic)plus-squareverdagon.devjeff_hykin@lemmy.world · 13 days agomessage-square2linkfedilink
jh29a@lemmy.blahaj.zone · 19 days agowhich languages have a REPL and Type Annotation?plus-squaremessage-squaremessage-square15linkfedilinkarrow-up14arrow-down10
arrow-up14arrow-down1message-squarewhich languages have a REPL and Type Annotation?plus-squarejh29a@lemmy.blahaj.zone · 19 days agomessage-square15linkfedilink
soc@programming.devEnglish · 1 month agoLanguage Design: Fixing Rust's mistakesplus-squaresoc.meexternal-linkmessage-square0linkfedilinkarrow-up13arrow-down10
arrow-up13arrow-down1external-linkLanguage Design: Fixing Rust's mistakesplus-squaresoc.mesoc@programming.devEnglish · 1 month agomessage-square0linkfedilink
codeinabox@programming.devEnglish · 1 month agoA Lean Syntax Primerplus-squareoverreacted.ioexternal-linkmessage-square0linkfedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-linkA Lean Syntax Primerplus-squareoverreacted.iocodeinabox@programming.devEnglish · 1 month agomessage-square0linkfedilink
david_@discuss.tchncs.deEnglish · edit-21 month agoRaku: The Programming Language You Didn't Know You Neededplus-squarewww.youtube.comexternal-linkmessage-square4linkfedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-linkRaku: The Programming Language You Didn't Know You Neededplus-squarewww.youtube.comdavid_@discuss.tchncs.deEnglish · edit-21 month agomessage-square4linkfedilink
soc@programming.devEnglish · 2 months agolosing language features: some stories about disjoint unionsplus-squaregraydon2.dreamwidth.orgexternal-linkmessage-square1linkfedilinkarrow-up17arrow-down10
arrow-up17arrow-down1external-linklosing language features: some stories about disjoint unionsplus-squaregraydon2.dreamwidth.orgsoc@programming.devEnglish · 2 months agomessage-square1linkfedilink
soc@programming.devEnglish · 2 months agoX Design Notes: Unifying OCaml Modules and Valuesplus-squareblog.polybdenum.comexternal-linkmessage-square0linkfedilinkarrow-up13arrow-down10
arrow-up13arrow-down1external-linkX Design Notes: Unifying OCaml Modules and Valuesplus-squareblog.polybdenum.comsoc@programming.devEnglish · 2 months agomessage-square0linkfedilink
SuperFola@programming.devEnglish · 2 months agoI released ArkScript v4plus-squaregithub.comexternal-linkmessage-square0linkfedilinkarrow-up16arrow-down10
arrow-up16arrow-down1external-linkI released ArkScript v4plus-squaregithub.comSuperFola@programming.devEnglish · 2 months agomessage-square0linkfedilink
soc@programming.devEnglish · 3 months agoThe Core of Rustplus-squarejyn.devexternal-linkmessage-square3linkfedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-linkThe Core of Rustplus-squarejyn.devsoc@programming.devEnglish · 3 months agomessage-square3linkfedilink
shape_warrior_t@programming.devEnglish · 3 months agoLeft to Right Programmingplus-squaregraic.netexternal-linkmessage-square1linkfedilinkarrow-up17arrow-down10
arrow-up17arrow-down1external-linkLeft to Right Programmingplus-squaregraic.netshape_warrior_t@programming.devEnglish · 3 months agomessage-square1linkfedilink
Kissaki@programming.devEnglish · 3 months agoBeyond Booleans - “bool expressions” in Lean, proposition, proofplus-squareoverreacted.ioexternal-linkmessage-square1linkfedilinkarrow-up18arrow-down10
arrow-up18arrow-down1external-linkBeyond Booleans - “bool expressions” in Lean, proposition, proofplus-squareoverreacted.ioKissaki@programming.devEnglish · 3 months agomessage-square1linkfedilink
Kissaki@programming.devEnglish · 3 months agoPike Programming Languageplus-squarepike.lysator.liu.seexternal-linkmessage-square2linkfedilinkarrow-up14arrow-down10
arrow-up14arrow-down1external-linkPike Programming Languageplus-squarepike.lysator.liu.seKissaki@programming.devEnglish · 3 months agomessage-square2linkfedilink
Kissaki@programming.devEnglish · 3 months agoGolang blog; Goodbye core types - Hello Go as we know and love it!plus-squarego.devexternal-linkmessage-square0linkfedilinkarrow-up116arrow-down10
arrow-up116arrow-down1external-linkGolang blog; Goodbye core types - Hello Go as we know and love it!plus-squarego.devKissaki@programming.devEnglish · 3 months agomessage-square0linkfedilink
soc@programming.devEnglish · 3 months agoZig's Lovely Syntaxplus-squarematklad.github.ioexternal-linkmessage-square1linkfedilinkarrow-up14arrow-down10
arrow-up14arrow-down1external-linkZig's Lovely Syntaxplus-squarematklad.github.iosoc@programming.devEnglish · 3 months agomessage-square1linkfedilink
Kissaki@programming.devEnglish · 3 months agoSeed7 - A General Purpose Programming Languageplus-squareseed7.netexternal-linkmessage-square0linkfedilinkarrow-up19arrow-down10
arrow-up19arrow-down1external-linkSeed7 - A General Purpose Programming Languageplus-squareseed7.netKissaki@programming.devEnglish · 3 months agomessage-square0linkfedilink
Kissaki@programming.devEnglish · edit-24 months agoLean Programming Language - with formally verified codeplus-squarelean-lang.orgexternal-linkmessage-square4linkfedilinkarrow-up112arrow-down10
arrow-up112arrow-down1external-linkLean Programming Language - with formally verified codeplus-squarelean-lang.orgKissaki@programming.devEnglish · edit-24 months agomessage-square4linkfedilink
soc@programming.devEnglish · 4 months agoLibrary Design: Naming Conventions – Option & Resultplus-squaresoc.meexternal-linkmessage-square3linkfedilinkarrow-up12arrow-down10
arrow-up12arrow-down1external-linkLibrary Design: Naming Conventions – Option & Resultplus-squaresoc.mesoc@programming.devEnglish · 4 months agomessage-square3linkfedilink