What do people here like better: typed or untyped functional languages? (lemmy.ca)

submitted 1 year ago by kronicmage@lemmy.ca to c/functional_programming@programming.dev

8 comments fedilink hide all child comments

My first language was Racket and so naturally I gravitated to the lispy untyped functional programming style even when I was using languages like Python or Java, but when I tried Haskell for the first time my mind was absolutely blown and I was a convert ever since. What are your thoughts?

you are viewing a single comment's thread
view the rest of the comments

[-] rha@kbin.social 4 points 1 year ago

Nowadays, I definitely prefer typed. There was a time I really liked untyped (e.g. Lisp), because I felt so much freedom compared to the (rather simple) typed languages I had used. Then I learned Haskell and found out that types were not the problem, but that the type systems I had used until then were simply not expressive enough for what I wanted to do.

[-] jw_@programming.dev 1 points 1 year ago

Exactly the same here. 10+ years ago, untyped languages felt so much more productive; they were a breath of fresh air compared to e.g. Java. But after discovering typed languages with type inferencing (Haskell) and nowadays gradually typed languages, I cannot work without types anymore. It feels icky to not have a compiler check types.

this post was submitted on 19 Jun 2023

4 points (100.0% liked)

Functional Programming

1382 readers

1 users here now

founded 1 year ago

MODERATORS

Ategon@programming.dev

cercerilla@programming.dev