arthur@lemmy.zip to Programming Languages@programming.devEnglish · edit-221 days agoKata: Structural "memory management", refined types validated at compile time and a syntactical barrier between pure and impure. (Looking for feedback)plus-squaregithub.comexternal-linkmessage-square0linkfedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkKata: Structural "memory management", refined types validated at compile time and a syntactical barrier between pure and impure. (Looking for feedback)plus-squaregithub.comarthur@lemmy.zip to Programming Languages@programming.devEnglish · edit-221 days agomessage-square0linkfedilink
