this post was submitted on 19 Jun 2023
5 points (100.0% liked)

Functional Programming

1389 readers
1 users here now

founded 1 year ago
MODERATORS
Ategon@programming.dev
cercerilla@programming.dev
5
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
[–] MrJay@programming.dev 2 points 1 year ago* (last edited 1 year ago)

I like statically typed languages more than untyped, however the more I get into strict typing it just seems like compile time predicates/asserts. which is something you can use in a lot of languages to get strict typing. I mainly use Common Lisp and it has several things built in like DEFTYPE and you can create predicates to specify a type. though obviously not mandatory it can be quite nice. so I guess at the moment I am more in the middle I use types when they seem useful and dont when I am in a hurry or they are not needed.