this post was submitted on 10 Oct 2025
20 points (88.5% liked)
Programming
23996 readers
171 users here now
Welcome to the main community in programming.dev! Feel free to post anything relating to programming here!
Cross posting is strongly encouraged in the instance. If you feel your post or another person's post makes sense in another community cross post into it.
Hope you enjoy the instance!
Rules
Rules
- Follow the programming.dev instance rules
- Keep content related to programming in some way
- If you're posting long videos try to add in some form of tldr for those who don't want to watch videos
Wormhole
Follow the wormhole through a path of communities !webdev@programming.dev
founded 2 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
In 2025, just try and see.
I am pretty sure like algol like languages FP isn't a monolith it is a broad stroke combination of the following things
functions, types and values are often on the same plane (like Lean, Coq, etc) or types and (functions + values) have a clear separation but one can create multiple hierarchies in those 2 levels (OCaml, Haskell, etc)
they often use immutable data structures or explicitly state if it is mutable
every line is a program is an expression, when it is a statement it still returns some signal (usually unit)
lispy langs or other gradually typed languages are not statically type checked and ML like langs are statically type checked
Also all these features are ime just how I want to do programming. It is merely a subjective thing which I find comfortable to program in.