Ask HN: What "exotic" language to learn?
11–20 of 25 posts
Re: Ask HN: What "exotic" language to learn?
#12Re: Ask HN: What "exotic" language to learn?
#13Re: Ask HN: What "exotic" language to learn?
#14I really think Haskell. Purity is super cool. As is functional programming in general.
Re: Ask HN: What "exotic" language to learn?
#15J is an interesting suggestion, but I think that it is best learned along with another more conventional functional language such as Scala or Erlang. J was really innovative back in the 1960s when it was called APL, but now it is a bit of a niche language although still highly useful for financial applications.
Re: Ask HN: What "exotic" language to learn?
#16Re: Ask HN: What "exotic" language to learn?
#17CL molds itself to the paradigm and problem domain with no bias. It allows ultimate macro power even over other Lisp dialects.
There are efficient compilers. It's not tied to the JVM so you can deploy native, but there is a JVM alternative if you want it.
Re: Ask HN: What "exotic" language to learn?
#18Re: Ask HN: What "exotic" language to learn?
#19I really think Haskell. Purity is super cool. As is functional programming in general.
If only Haskell were pure...
By “pure”, I mean lacking unaccounted side effects (including crashing and non-termination).
I take a rather strong view, as you can tell, of what it means to “support” pure functional programming. That is, I think it is insufficient to show that your code lacks appeals to falsehood and rampant non-termination. Because your code is linked with other code from other sources, it must be shown that appeals to falsehood and rampant non-termination are in fact _impossible_.
(By “rampant non-termination” and “appeals to falsehood”, I mean the use of circular reasoning. This is distinct from structural recursion and coinduction, which can be used to do REPLs and servers.)
So yes, Virginia, there is indeed a Pure Functional Programming. But you can't do it in Haskell.