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
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
A friend of mine posed a seemingly innocuous Scala language question last week that I didn’t have a good answer to: whether there’s an easy way to declare a collection of things belonging to some common typeclass. Of course there’s no first-class notion of “typeclass” in Scala, so we have to think of this in … Read more
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
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
This weekend I decided to try my hand at some Scala and Clojure. I’m proficient with object oriented programming, and so Scala was easy to pick up as a language, but wanted to try out functional programming. This is where it got hard. I just can’t seem to get my head into a mode of … Read more
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
I am always interested in learning new languages, a fact that keeps me on my toes and makes me (I believe) a better programmer. My attempts at conquering Haskell come and go – twice so far – and I decided it was time to try again. 3rd time’s the charm, right? Nope. I re-read my … Read more
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
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
