Re:Learn Functional Programming Visually
by millstone on Sunday February 14, 2021 @05:09PM
(#26136735)
Many functional languages do not model effects in the type system, like the ML family. Many do not have static types at all, like Clojure/LISP.
[ Parent
| on HN ]
Re:Learn Functional Programming Visually
by random314 on Sunday February 14, 2021 @08:46PM
(#26138146)
Those languages wouldn't be considered pure/stateless as intended by the OP.
Re:Learn Functional Programming Visually
by roguas on Tuesday February 16, 2021 @09:44AM
(#26154252)
Haskell would not be considered pure or stateless as well. What the OP is saying there are several qualities which indicate you are dealing with functional language and they are not super rigid.
Typically first-class functions indicate that its possible to do things functionally. Immutable defaults takes it further. Higher kinded types usually indicate you can easily separate pure from effectful. Dependant types hint that you can have value level expectations etc.
At which point you are happy with "functional" is up to you. Its not all or none.