(as an interested university student:) From Programming at a small scale in Javascript and Logo¹, I have gathered that not knowing what type something is can be annoying. They also have REPLs, which is pretty nice. From various blog posts and debugging Rust programs, I have learned that not having a REPL can be annoying. Are there languages that have both?

(¹ Logo is a “lisp” with omitable parentheses, where these also don’t define runtime-mutable s-expressions, lists are in brackets, and also Logo doesn’t have structs, giving it bad maintainability outside of not having Type Annotation too)

Candidates

  • C# : Does it have a repl?
  • Java in BlueJ somehow
  • sometimes people just put Lisp or Lua in their C/Rust++ program (emacs, shenzhen I/O(game)), this accomplishes a similar task of making some debugging or scripting code faster to compile/interpret, but slower to run
  • expr@programming.dev
    2·
    2 months ago

    You likely aren’t familiar with modern Haskell, tbh. Things have changed a lot in the last handful of years. If you give me an example, I can show you how it can be done pretty reasonably (I write Haskell professionally, fwiw).