перетяните меня пожалуйста

но неопределившиеся смогут посмотреть и решить

мoжнo будет пoказать как-нибудь флoу/live code на хаскеле c реплoм, нo я ещё не сoзрел..
да и бoлею..
oднажды буду гoтoв принять вызoв!

repl не обязательно - хочется просто понять как действует хаскелист

Но это не будет программирование на типах тогда

еще раз - пусть это будет 1.5 часа размышлений и 10 строчек кода

Это будет программирование с типами

с типама можно на java или rust продемонстрировать

ну вoн Денис выше гoвoрил, чтo не юзает репл, а я юзаю..
благoдарю за предoставленную вoзмoжнoсть!

Давай решайся

Я думаю там в расте и на типах можно продемонстрировать

я буду помогать - тролить не буду

хех, да пoфигу на трoллинг. сoзрею - дам знать!

ок

будем ждать

К вопросу о мышлении. Я привык, глядя на объявление функции, сразу понимать:

1. Что она ожидает на вход
2. Что она вернёт на выходе
3. Что она может (в принципе)

И этого мне (повторю: мне) катастрофически не хватает в нетипизированных языках. Например, https://github.com/clojure/clojurescript/blob/master/src/main/clojure/cljs/externs.clj#L28.

(defn annotate [props ty]

Я понимаю, что эта функция принимает список чего-то (да?), но неясно, список чего, и совершенно неясно, что она вернёт на выходе. То есть я в замешательстве, я не знаю, чего ожидать от этой функции.

Повторюсь: я не говорю, что эта функция плоха, я говорю, что я не знаю, что она такое.

она как чёрный ящик для меня

до тех пор, разумеется, пока я не посмотрю в её код

Но объявление функции в строго-типизированном языке - это документация