Жирик же

?

Гугли "не надо шутить с войной"

вот и выросло поколение

Да ладно, я тоже лишь из интернетов узнал

Ничего такого, что не знаешь

Я не знаю, что там у ровесников дажк

И у тех, кто постарше

😂😂😂😂😂

А уж про зумеров вообще молчу

rofl

какой же поехавший клоун это писал. расскажите дошколёнку, что в Meow* p_cat - типом является *

Поэтому им можно быть небезопасными?

ну я думал, что это какой-то чат раст-сектантов шифрующихся под крестовиков

Ору

@enomad еще прикол идриса в том, что он за тебя пишет код. в буквальном смысле. я пишу например

inputIsNonEmpty: List a -> Dec (NonEmptyList a)
inputIsNonEmpty [] = No ?proofIsNonEmpty

потом навожу мышкой на proofIsNonEmpty, нажимаю generate top level function, он генерирует функцию. потом нажимаю generate initial pattern match clause, он генерирует тело функции. потом делаю generate case split on the argument, и он самостоятельно вычисляет что кейс невозможен. в итоге я написал самостоятельно только имя функции

PS: это функция которая возвращает структуру "непустой список", либо в противном случае пруф что список пустой

Если че мемасы с профунктора кидать не надо - все там и так есть

но... генерация кода нажатием кнопки признак скорее проблем в языке

почему