Телеграмм чат группы pofftop страница 15714

Угу и ценность кода будет равна нулю. То есть количеству просветлённых. Ну и нет особых проблем читать код на хаскеле. Особенно если голову под определенным углом

источник

10:42пожаловаться #4

Alexander Nozik in Programming Offtop

Но не мое

источник

10:42пожаловаться #5

Alexander Nozik in Programming Offtop

Вообще всякие идрисы хороши в тех местах, для которых и придуманы, то есть для CS. Но CS и программная инженерия - это две большие разницы.

источник

10:44пожаловаться #6

АХ

Алексей Худяков... in Programming Offtop

Coq & agda — если хочется доказывать теоремы. Идрис если интересно обкладываться пейперами и экспериментировать

источник

11:09пожаловаться #7

Dima in Programming Offtop

Нашел FizzBuzz на идрисе:
https://github.com/0xd34df00d/fizzbuzz-i/blob/master/Fizzbuzz.idr

GitHub

0xd34df00d/fizzbuzz-i

FizzBuzz, formally verified, provably correct. Contribute to 0xd34df00d/fizzbuzz-i development by creating an account on GitHub.

источник

12:31пожаловаться #8

central hardware in Programming Offtop

fizzBuzz? WTF??? 490 строчек

источник

12:32пожаловаться #9

central hardware in Programming Offtop

вот это я понимаю over engineering

источник

12:32пожаловаться #10

Dima in Programming Offtop

This is an implementation of the FizzBuzz game, formally verified, provably correct, Idris version. It is built almost entirely from scratch, including our very own natural numbers with our own (formally verified, provably correct) division procedure.
"""

источник

12:33пожаловаться #11

central hardware in Programming Offtop

и еще, я еще понимаю когда народ не пишет коментарие к какой нибудь джава, но к этому то трешу как можно не написать ни единого коментария

источник

12:36пожаловаться #12

КР

Кирилл Романенко... in Programming Offtop

Охуенно, ни разу не оверинжениринг

источник

12:42пожаловаться #13

Anton Korotkikh in Programming Offtop