Так это же просто жесть какое ограничение. Зачем оно тогда такое, elm?
Я тебе больше того скажу, в Окамле такая же херня, но люди научились использовать модули для имитации HKT-перемнных. А в Эльме 1 файл = 1 модуль. И 3.5 тайпкласса посажены на клей волшебных типопеременных. Ни реализовать, ни новых написать.
Anonymous
Leonid 🦇
Ю ли я? 🤔
Ну тут уж или крестик, или трусы...
NC
Я вот тоже больше верю в ручную установку msys2 и поверх ghc
Leonid 🦇
Как мы уже выяснили, проблема в фронтендерах. Так что может эльм такой по той-же причине.
Anonymous
Зато не разбить и не порезаться!
И то верно. И ещё тебе будут долго рассказывать технику безопастности и ускрасят твой код весёлыми цветами и стрелочками в консоли.
Anonymous
Эльм такой, чтобы бедняг после жаваскрипта сильно не смущать
Anonymous
И это официальная позиция разрабов
Ю ли я? 🤔
Я немножечко выпал от анонса, что в будущем собираются выпилить кортежи длиннее пар
Ю ли я? 🤔
А синтаксиса жаваскриптовые бедняги не пугаются, значит?
Ю ли я? 🤔
Тут вон даже на раст наезжают "чо не могли сделать как в си", хотя казалось бы.
Leonid 🦇
A64m
для жаваскриптеров есть простой как функтор язык с марсианским синтаксисом (эльм), марсианский с яваскриптовым синтаксисом (ризон) и, конечно, сочетающий их лучшие черты пурскрипт
Anonymous
Я удивлён, что они пары не хотят выпилить, заменив на {first, second}
Anonymous
Это как круги ада для них. На самом нижнем тебя раз в день заставляют реализовать тайпкласс Ring
Anonymous
https://github.com/elm-lang/elm-compiler/issues/1662 - оп, похоже у них occurence check где-то не производится
Ю ли я? 🤔
дай ссылку поржать
Юмор так себе, но окей: https://habrahabr.ru/post/350186/#comment_10690558 и ниже
Leonid 🦇
Юмор так себе, но окей: https://habrahabr.ru/post/350186/#comment_10690558 и ниже
Ну что еще от хабры ожидать
Ю ли я? 🤔
Я удивлён, что они пары не хотят выпилить, заменив на {first, second}
Они тогда comparable и иже с ними не будут, ЕМНИП
Leonid 🦇
Кстати, есть еще одно слово же. Мы про него забыли. Кроме токсичности и кибербуллинга есть еще и харрасмент же!
A64m
Я вот тоже больше верю в ручную установку msys2 и поверх ghc
можно виндосовским пекедж менеджером еще
Alexandr
Leonid 🦇
Пора уже что-то делать с тайпшеймингом
Leonid 🦇
Тайп-позитив!
Aliester
можно ли считать участие в этом чате гаслайтингом?
Leonid 🦇
можно ли считать участие в этом чате гаслайтингом?
Каком чате? Нет никакого чата. Тебе наверно показалось.
Ю ли я? 🤔
Пора уже что-то делать с тайпшеймингом
Нужно быть просто более толерантными к гомотипизации.
Ю ли я? 🤔
(это когда у всего один тип и можно любой коннектор куда угодно совать)
Leonid 🦇
в TCL - гомеотипизация. Один тип растворён
Leonid 🦇
Я вот не удивлюсь если окажется что многие сторонники юнитипизированных ЯП так-же являются антиваксерами
Leonid 🦇
А те что яростно требуют доказательств еще и сторонниками плоской земли.
Aliester
презумпция ложности
A64m
можно ли считать участие в этом чате гаслайтингом?
гаслайтинг - это обсуждение "так ли нужны типы?"
Aliester
твоя программа не работает если ты ее не доказал
Mikhail
Как они решили вопрос с отсутствием HKT?
extension-функции, которые конвертят в HKT + кодогенерация, чтобы руками не писать это оборачивание-разворачивание
Влад
твоя программа не работает если ты ее не доказал
Можно ли сказать что программа доказываеться во время компиляции?
parket
Mikhail
Как они решили вопрос с отсутствием HKT?
если хочется подробностей - https://www.youtube.com/watch?v=IL5XzaCMKpQ&t=172s
Anonymous
Грац!
Ю ли я? 🤔
Можно ли сказать что программа доказываеться во время компиляции?
Можно, если она написана на агде.
Влад
Кек
Влад
А не подскажите нубяре чё такое НКТ?
Mikhail
Higher Kinded Types
Ю ли я? 🤔
Возможность подставлять в типопеременные типы с кайндом * -> *
Alexander
судя по твиттере Снойман напился
Alexander
ага
Leonid 🦇
Эх, опять на мороз...
Alexander
а лондонцы страдают сейчас
Alexander
у одного вода в трубе замёрзла и трубу разорвало
Alexander
у других транспорт не ездит почти
Alexander
а тут пошел на мороз, прогулялся и все хорошо
Anton
Можно, если она написана на агде.
При условии, что программа на агде не использует ни один из этих багов: https://github.com/agda/agda/issues?q=is%3Aissue+is%3Aopen+label%3Afalse
😁
Leonid 🦇
Настоящие программисты никогда не пишут комментарии. Если код было сложно написать - его должно быть сложно читать.
A64m
комментарии - это признание программистом того, что код плохо написан. Понятно же, что хороший код в комментариях не нуждается
Cheese
я, кстати, согласен
Cheese
идеальный код понятен без комментариев, к этому надо стремиться
Cheese
но если сложную задачу можно решить только сложным кодом, то лучше написать комментарий
Cheese
таким образом, наличия комментария — признак сложности
Cheese
следовательно, нельзя красить блекло комментарии в синтаксической подсветке, наоборот, они должны ярко гореть, как знаки опасности
Aragaer
по-моему это было как "комментарии это как дезодорант в коде - обычно ими пытаются заглушить вонищу"
A64m
уже какая-то эпоха посттроллинга, что не напиши - все нормально
Alexander
как мы neo-trolling пропустили? :/
Leonid 🦇
Новая игра: накоментил - проиграл!
Cheese
а ещё штрафовать по количеству кода
Cheese
чем больше кода добавлено для решения задачи, тем хуже
Cheese
настоящие джедаи добавляют фичи, стирая лишний код
Alexander
+
Aragaer
по количеству байт не?
Alexander
на самом деле мои самые большие PR были вида +1k/-2k
Alexander
т.е. больше кода удалялось чем добавлялось
Aragaer
впрочем это же спортивная дисциплина - code golf
Alexander
при рефакторинге/фиксах