Size: a a a

2020 January 25

AZ

Alex Zhukovsky in rust_offtopic
источник

p

polunin.ai in rust_offtopic
что за fancy?
источник

AZ

Alex Zhukovsky in rust_offtopic
polunin.ai
что за fancy?
боринг хаскель это такой мем
источник

p

polunin.ai in rust_offtopic
а
источник

AZ

Alex Zhukovsky in rust_offtopic
типа "давайте писать на хскелле без сложных возможностей языка, тогда получится крутая жаба"
источник

p

polunin.ai in rust_offtopic
ну мне кажется получится скала какая-то
источник

B

Bogdan in rust_offtopic
Почему лиди с поколения когда уже нет кнопочных теоефонов по прежднему называют автокоррекцию Т9?
источник

AZ

Alex Zhukovsky in rust_offtopic
polunin.ai
ну мне кажется получится скала какая-то
скала равномощна с хаскеллем вроде
источник

p

polunin.ai in rust_offtopic
Bogdan
Почему лиди с поколения когда уже нет кнопочных теоефонов по прежднему называют автокоррекцию Т9?
я даже хз как это расшифровывается, но называю так пушто другие называют
источник

AZ

Alex Zhukovsky in rust_offtopic
но боринг скала исторически есть, её беттер джавой называют
источник

AZ

Alex Zhukovsky in rust_offtopic
а вот про хачкель я такого не помню
источник

AZ

Alex Zhukovsky in rust_offtopic
У нас тут родилось новое понятие duck testing
источник

AZ

Alex Zhukovsky in rust_offtopic
Это как-то связано с утиной типизацией?
источник

AZ

Alex Zhukovsky in rust_offtopic
Да, тот же принцип
источник

AZ

Alex Zhukovsky in rust_offtopic
Если одна вещь ведет себя как другая, то это та же вещь. Те если верифицированая программа работает так же как неверифицированная, то можно считать вторую верифицированной
источник

λ

λоλторт in rust_offtopic
polunin.ai
ну мне кажется получится скала какая-то
Нет
источник

B

Bogdan in rust_offtopic
polunin.ai
я даже хз как это расшифровывается, но называю так пушто другие называют
Хз как Т а 9 потому что 9 кнопок было)
источник

p

polunin.ai in rust_offtopic
Alex Zhukovsky
Если одна вещь ведет себя как другая, то это та же вещь. Те если верифицированая программа работает так же как неверифицированная, то можно считать вторую верифицированной
ор
источник

AZ

Alex Zhukovsky in rust_offtopic
источник

AZ

Alex Zhukovsky in rust_offtopic
мда
источник