[medo-bear]

Maybe Haskell is more like Bourbaki math, whereas Lisp is more like Russian style maths (ala Vladimir Arnold). I prefer the latter tbh, and I come to programming from a maths background. We are all different. Lisp to me is yet to be surpassed in terms of ergonomics when transfering my thoughts into computer code.

[xanderlewis]

Interesting. How would you characterise each (Bourbaki and Russian-style)?

[medo-bear]

I'm not sure what you mean by characterize. Bourbaki-style is extremely rigorous, to the point of missing the forest for the trees. The so-called Russian style (there are plenty of non-Russian examples) is more driven toward building intuition and getting to the essence of the matter. In this way lisp is more similar to the latter because it facilitates prototype (essence) development. In Haskell you pretty much have to do a captcha equivalent of programming just to prove to the compiler you are allowed to do io :)

[iLemming]

That is a very interesting perspective of Haskell vs. Lisp., I don't come to programming from a math background, but I am Russian. Maybe that's why I always preferred Lisp-style instead of Haskell :)

[medo-bear]

Maybe, I also see lisp as the slavic language of programming :)

[iLemming]

Most obviously (from the linguistic's point) Lisp is Latin of programming languages. Has the similar historical importance; similar foundational role; continued relevance, elegance and power; evokes similar reactions from neophytes.

From the point of Biology: Lisp is a prokaryotic cell - simple, fundamental, highly adaptable.

In Chemistry: Lisp is carbon - versatile, forms the basis of complex structures.

In Geology: Lisp is like bedrock - foundational and supporting diverse structures above it.

In Astronomy: Lisp is a primordial star - ancient, influential, contributing to the formation of newer elements.

In Physics: Lisp is a quark - the basis of all baryonic matter.

</nerd-rant>

[kazinator]

The difference is that it's not the case that a majority of chemists are ignorant about carbon, or geologists about bedrock, or astronomers about primordial stars or physicists about quarks.

Lisp is like an entire branch of computer science, about which a lot of people in computer science are ignorant.

[medo-bear]

I would say in physics, lisp is like the formulation of physical laws in terms of lagrangians and hamiltonians - ie it is the least action principle

[xanderlewis]

I mean what it usually means: to list distinguishing features, or at least give (necessary and sufficient?) criteria for membership of some class.

Whilst I'm vaguely familiar with Bourbaki and how it strongly influenced the way mathematics is written today, I hadn't come across that dichotomy before. Your answer was what I was looking for!