jh29aOct 26

which languages have a REPL and Type Annotation?

https://lemmy.blahaj.zone/post/33597882

Blåhaj Lemmy - Choose Your Interface

Show threadaubeynarfOct 26
F#, Ocaml, and Scala come to mind.
Show threadPencilnoobOct 26

Yes, F# is such a sleeper hit language. Basically Ocaml++ with a bunch of cool extra goodies. Open source, high performance runtime and tons of great libraries.

I’ve been using it at work and it’s excellent

Show threadmobotsarOct 27

If only it had the one thing of OCaml does that’s actually important: ML modules.

Okay, I’m being kinda glib. Ocaml has plenty of other stuff going for it, and F# is a great, productive language, but its biggest weakness is something it doesn’t have.

Show threadexprOct 27
That, or Haskell’s typeclasses (which serve much of the same need). Without one or the other you lose out on a lot of expressive power.
Show threadmobotsarOct 27
Modules are substantially more expressive than typeclasses, but yes, type classes get you most of the way there.
Show threadexpr
They have different sets of tradeoffs and prioritize different things. Nevertheless, you can express typeclasses with the module system just as you can express the module system with typeclasses (using modern Haskell language extensions to the typeclass system). One is not more expressive than the other. You give me any usage of the module system, and I can show you how it can be done with typeclasses.
Oct 28 at 1:06amWeb
Show threadmobotsarOct 28
Hah, I was afraid you would say that when I wrote my comment. I don’t mean expressive in the sense of “can encode X”; I mean expressive in the sense of “can nicely encode X”. The bullshit you have to put yourself through in Haskell to get the core niceties of modules is unpalatable (to me, anyway).
Show threadexprOct 28
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).