2
How close can pure FP get to C? (rtfeldman.com)
submitted 2 weeks ago by [B] to c/lobsters@lemmy.bestiver.se
comment fedilink hide all child comments
 

Comments

no comments (yet)

sorted by: hot top controversial new old
there doesn't seem to be anything here
2 comments in c/programming@programming.dev view that post
[–] 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
    •