к
такой аналог variable из пруфасистентов, только меньше
Size: a a a
2020 December 28
к
в пруфасистентах же остро стоит проблема больших контекстов, много всяких пруфов, много всяких аргументов, у них есть готовые решения таких пробем
к
типа такого
к
и все констрейнты и полиморфные переменные видны во всех определениях в section
KV
такой аналог variable из пруфасистентов, только меньше
Да и вообще нормальные модули бы
NI
Это не шутка.
Вот ты прогромист и пишешь программы за деньги, типа самозанятый или там ещё какое нибудь ИП.
Приходишь в налоговую и говоришь довайте мне налоговый вычет, а тебе сколько вам лет?
34
А пишете на чем? Не на хаскеле случайно?
Ну да на хаскеле православном.
Тогда простите, нет. Через год приходите.
Вариант 2:
36
Ой, а вы случайно не на православном хаскеле пишете?
Да на нем!
Ой какой вы молодец, вот вам вычет.
Вот ты прогромист и пишешь программы за деньги, типа самозанятый или там ещё какое нибудь ИП.
Приходишь в налоговую и говоришь довайте мне налоговый вычет, а тебе сколько вам лет?
34
А пишете на чем? Не на хаскеле случайно?
Ну да на хаскеле православном.
Тогда простите, нет. Через год приходите.
Вариант 2:
36
Ой, а вы случайно не на православном хаскеле пишете?
Да на нем!
Ой какой вы молодец, вот вам вычет.
Хоть не посадят, и то хорошо.
R
Перекомпелировал ворд, пофиксил баги.
Попробую его снова уронить, чтобы зовисло все и сгорело к чертям.
Попробую его снова уронить, чтобы зовисло все и сгорело к чертям.
AA
тогда уж не when перед головой инстанса а then после головы инстанса, лучше вообще | как в клину
к
тогда уж не when перед головой инстанса а then после головы инстанса, лучше вообще | как в клину
да это уже не важно, концепт в том чтобы вот так разбить на строчки без отступтов
AC
AC
Вот почему Гранин токсит на академиков
AA
лол, если бы 99% хаскелистов не думали, что то что перед головой инстанса влияет на его выбор может это и неважно было бы
AC
В детстве(студенчестве) обидели
к
лол, если бы 99% хаскелистов не думали, что то что перед головой инстанса влияет на его выбор может это и неважно было бы
это тоже можно пофиксить синтаксисом, например поставить констрейнты ПОСЛЕ головы
к
но это уже другая проблема абсолютно
AA
так я это и предлагаю
AA
в клину именно так и есть
к
сначала нужно решить проблему с тем, что все в одной строчке и выглядит как говно полное
R
Перекомпелировал ворд, пофиксил баги.
Попробую его снова уронить, чтобы зовисло все и сгорело к чертям.
Попробую его снова уронить, чтобы зовисло все и сгорело к чертям.
Говоришь им а довайте вы разработаете единый стандарт и требования, а по ним мы запилем софтину которая поможет готовить документацию.
А то из года в год тысячи рабов делают одно и тоже, это же можно автоматизировать.
ПНХ со своими инновациями, у нас 100 лет все работает и так, нечего вообще сюда суваться, раз так сделано значет так нужно.
А то из года в год тысячи рабов делают одно и тоже, это же можно автоматизировать.
ПНХ со своими инновациями, у нас 100 лет все работает и так, нечего вообще сюда суваться, раз так сделано значет так нужно.