How Statically-Typed Functional Programmers Write Code

Mr.Purple
Minoru: у Кафки целая книжка есть про хранителя ворот вроде бы

Programmer#14 reinforced this idea, noting that feedback from the compiler was helpful first for correcting their mental model, then, later, for correcting their actual program:
To me, the type errors are an indication that I don’t understand what I’m trying to put in next correctly more than a hint or guardrails per se. And then they become [guardrails] when I say łOkay, this what I believe I want, now tell me how I did it wrong, and then I’ll go and fix whatever it was that mismatched.

прикольная статья

хочу такую же, но про жс питон и кложуру

m4n71k0r
утро

m4n71k0r

» [17:57:01] <Minoru> Конфуций говорил, что тот, кто спрашивает — дурак на минуту, а тот, кто не спрашивает — дурак на всю жизнь
Кот Фуций

m4n71k0r
код функций

m4n71k0r

» [17:31:59] <тг> <@folexeyy> люблю прислуживать тулзам
прислуживай баш-скриптам в твоём роутере!

m4n71k0r

» [18:28:40] <тг> <@folexeyy> How Statically-Typed Functional Programmers Write Code
They create a new universe with themselves and already written code.

and the* :p

m4n71k0r
oi wei

목요일 아침 v0.9.1-20211021!

목요일 아침 v0.10.0-20211021!

Minoru
Mr.Purple: у Кафки та же идея, или что? Стрёмный писатель, я прочёл «Превращение» и боюсь к нему прикасаться :)

Minoru
а, ещё «Суд» читал

Mr.Purple
Minoru: тоже не читал, но вроде бы от Портнова слышал

Minoru
звучит так, будто читать тут умеет только Портнов, а остальные довольствуются пересказами :)

m4n71k0r
я пока не брался за Кафку