AT
и методичку для измерения улучшений
Size: a a a
2020 February 26
Oℕ
это только очень простые улучшения, в CS такого практически нет
Oℕ
зачем смешивать, когда можно не смешивать?
Ты видел как сигнатуры в идрисе-то объявляются?
Ты пишешь имена параметров в типе, и они должны совпадать с именами параметров в реализации.
А всё, чтобы хаскелеёбы с привычкой разделять комфортно чувствовали себя
Ты пишешь имена параметров в типе, и они должны совпадать с именами параметров в реализации.
А всё, чтобы хаскелеёбы с привычкой разделять комфортно чувствовали себя
ᛒ
Порно в Виар, вот это маиндбрекеи
ᛒ
Фор Арми эн Роскосмос онли
λ
Ты видел как сигнатуры в идрисе-то объявляются?
Ты пишешь имена параметров в типе, и они должны совпадать с именами параметров в реализации.
А всё, чтобы хаскелеёбы с привычкой разделять комфортно чувствовали себя
Ты пишешь имена параметров в типе, и они должны совпадать с именами параметров в реализации.
А всё, чтобы хаскелеёбы с привычкой разделять комфортно чувствовали себя
Ну там кмк не смешивать просто уже не получится
ᛒ
На самом деле в любой области так
ᛒ
Большая часть сервисменов - не шарят
ᛒ
Продованы - не шарят
Oℕ
Дима, любая рыночная система держится на том, что есть куча совершенно ебанутых муравьёв, каждый ползёт в свою сторону, каждый делает ставку на свой номер.
Каждому кажется, что именно он шарит.
Так и побеждает лучшее.
Каждому кажется, что именно он шарит.
Так и побеждает лучшее.
(
Поэтому в абсолютно всех сообществах люди, которые пытаются что-то сделать кажутся opinionated, радикалами и т.п.
Можешь пожалуйста радикально высказаться мне в личку когда тебе будет удобно?
λ
Ну там кмк не смешивать просто уже не получится
Тем не менее в случае обычных функций аргументы в типе именовать не обязательно
Oℕ
Проблема в социальной среде в том, что массовая вера в какое-то решение может автоматически генерировать успех на какое-то время
Oℕ
Но в любом случае время истины приходит
Oℕ
Вот сейчас пришло время истины для ФП
λ
Ты видел как сигнатуры в идрисе-то объявляются?
Ты пишешь имена параметров в типе, и они должны совпадать с именами параметров в реализации.
А всё, чтобы хаскелеёбы с привычкой разделять комфортно чувствовали себя
Ты пишешь имена параметров в типе, и они должны совпадать с именами параметров в реализации.
А всё, чтобы хаскелеёбы с привычкой разделять комфортно чувствовали себя
Мб автор сам просто хаскелеёб?
Oℕ
Мб автор сам просто хаскелеёб?
Именно так
Oℕ
Тут проблема именно в том, что ФП задвигали под теми же самыми лозунгами пиздец как долго
Oℕ
И получилось, что ФП в негибридной форме или в минималистично гибридной форме придумало уже много средств, которые очень сложно заадоптить поштучно