cm0002@lemdro.id to Programming@programming.devEnglish · 11 days agoHow close can pure FP get to C?rtfeldman.comexternal-linkmessage-square2fedilinkarrow-up116
arrow-up116external-linkHow close can pure FP get to C?rtfeldman.comcm0002@lemdro.id to Programming@programming.devEnglish · 11 days agomessage-square2fedilink
minus-squarehallettj@leminal.spacelinkfedilinkEnglisharrow-up3·11 days agoInteresting! I hadn’t heard of Lean or Roc. But I do find theorem provers / dependent types a fascinating area of correct-by-construction methodology
Interesting! I hadn’t heard of Lean or Roc. But I do find theorem provers / dependent types a fascinating area of correct-by-construction methodology