Are there any provable real-world languages? (scala?)

I was taught about formal systems at university, but I was disappointed how they didn’t seem to be used in the real word. I like the idea of being able to know that some code (object, function, whatever) works, not by testing, but by proof. I’m sure we’re all familiar with the parallels that don’t … Read more

Can UML be used to model a Functional program? [closed]

Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers. Want to improve this question? Update the question so it’s on-topic for Stack Overflow. Closed 5 years ago. This post was edited and submitted for review 5 months ago and failed to reopen the post: Original close reason(s) were not … Read more

Why is Clojure dynamically typed?

One thing I like very much is reading about different programming languages. Currently, I’m learning Scala but that doesn’t mean I’m not interested in Groovy, Clojure, Python, and many others. All these languages have a unique look and feel and some characteristic features. In the case of Clojure I don’t understand one of these design … Read more

Small and good scala projects to learn scala — especially functional programming and type system [closed]

Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers. Want to improve this question? Update the question so it’s on-topic for Stack Overflow. Closed 2 years ago. Improve this question I’ve studied scala for several months, but still at the beginner level. Now I found I have huge trouble … Read more

Why are Haskell algebraic data types “closed”?

Correct me if I’m wrong, but it seems like algebraic data types in Haskell are useful in many of the cases where you would use classes and inheritance in OO languages. But there is a big difference: once an algebraic data type is declared, it can not be extended elsewhere. It is “closed”. In OO, … Read more

In what areas does F# make “absolute no sense in using”? [closed]

Closed. This question is opinion-based. It is not currently accepting answers. Want to improve this question? Update the question so it can be answered with facts and citations by editing this post. Closed 8 years ago. Improve this question Don Syme in his SPLASH talk says that F# is NOT intended to be a replacement … Read more

Functional Programming in Java [closed]

Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers. Want to improve this question? Update the question so it’s on-topic for Stack Overflow. Closed 7 years ago. Improve this question Is there a good library for functional programming in Java? I’m looking for stuff like Predicate and List.Find() (as … Read more