RetroFed Forums
Your home away from modern life.
Search Categories Forum list Register Log in
About RetroFed
RetroFed

Welcome to the nostalgia-filled piefed instance of yesteryear.

Open Registration with Application questionnaire.

If you have a question or comment you can post in !meta@retrofed.com or message @DosDude@retrofed.com or @Die4Ever@retrofed.com

In case of downtime and/or emergency, we will post updates on @DosDude@mastodon.social

Some rules we try to uphold:

  • Be civil. Bigotry is not welcome. This includes (but is not limited to): transphobia, queerphobia, racism, ageism and ableism. We do not promote hate.
  • Communities need to be Retro or Retro-adjacent.
  • Please don't upload pornographic content. (use an external image host for that)
72 registered users
Administrators: DosDude, Die4Ever
Visit retrofed.com
How close can pure FP get to C?
Post Reply RetroFed Forums Forum Index » Programming
AuthorMessage
cm0002 lemdro.id cm0002@lemdro.id
Joined: 2025-06-07
Quote
Link: https://rtfeldman.com/fp-vs-c
13   Original
hallettj leminal.space hallettj@leminal.space
Joined: 2024-02-23
#2 · Quote Reply

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
3
Alavi programming.dev somegeek@programming.dev
Joined: 2023-06-25
#3 · Quote Reply

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?
1
Post Reply
Back to top
Powered by RetroFed · PieBB frontend · All times are Europe/Amsterdam