12
How close can pure FP get to C? (rtfeldman.com)
submitted 2 weeks ago by to c/programming@programming.dev
2 comments fedilink hide all child comments

all 2 comments

sorted by: hot top controversial new old
[–] 3 points 2 weeks ago

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

  • permalink
  • fedilink
  • source
    •
    [–] 1 point 2 weeks ago

    This was awesome! as a huge FP fan, I hadn't heard of Roc. It seems pretty amazing. The systems-level FP language. Can we test it against common lisp and haskell also?

  • permalink
  • fedilink
  • source
    •