After the joys and luxuries of

* Lean's infoview - a continuous evaluation and feedback system for Lean programs

* interactive lisp development with emacs slime-repl

I feel like I'm going back a few centuries with Haskell's edit and then manually compile in a terminal workflow.

#lean #lisp #haskell

@rzeta0 haskell's style is much more like trying to mold your types to your problem domain and than attach some simple functions on top of that. So in general haskell is exactly the oposite to lisp. lisp is like interactively exploring the problem space haskell is thinking about it and its types and than start coding. So haskell is like create types and think upfront and than start coding. But than due to its strict types it is really hard to introduce issues in your app. cause you have created a really good representation of the problem space.

so in simple words haskell is think first and code afterwards. Lisp is code and explore. And thats both not wrong at all every person is diffrent :D

Follow

@m3tti @rzeta0 This. `_ -> undefined` all the way, until you nail down your types.

@dpwiz @rzeta0 in learn you a haskell for great good you build even the types out xD as exercise

Sign in to participate in the conversation
Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.