Параметрический полианархизм
http://tab.snarc.org/posts/haskell/2015-09-29-rust-with-haskell.html — Все мы знаем, что haskell — идеальный язык для любых задач и лишь недостаток библиотек не даёт использовать его в больших серьёзных проектах уровня национального поисковика. Но теперь ваши мольбы услышаны и решение есть: интероп с Rust! ТАДА!
#B8468X
(13+4)
/ @ndtimofeev / 3336 дней назад
> Сначала ты пишешь простую сумму типов для представления состояния мотора. Потом произведение этих состояний как суммарный статус моторов девайса. Затем ты понимаешь что тип состояния мотора это моноид с нулём в «со мной всё ок, но я ничего не делаю». Затем ты понимаешь что если тип произведение сделать полиморфным, то компилятор сможет вывести ему Foldable и можно будет узнать суммарный статус всех моторов библиотечной свёрткой. ЭТО ЖЕ ЛОГИЧНО! Затем ты выдыхаешь, время возвращается к привычному темпу и ты понимаешь что ты хочешь ещё этой травы.
#JUOSL5
(0+1)
/ @ndtimofeev / 3338 дней назад
Couldn't match type ‘Data.XML.Types.Element’
with ‘Element’
NB: ‘Data.XML.Types.Element’
is defined in ‘Data.XML.Types’ in package ‘xml-types-0.3.6’
‘Element’ is defined in ‘Text.XML’ in package ‘xml-conduit-1.3.1’
ЧЯДНТ? Хочу сериализовать Element из xml-types.
Напомните мне комикс про двух лисперов занимавшихся магией в мире хаскеля и в конце концов по решению суда раздавленных чекалкой Хиндли-Милнера?
#XXGO8Z
(2+1)
/ @ndtimofeev / 3352 дня назад
Аноны, меня вдруг осенило, что всякое дрочево типа ФП и модных фреймворков нинужны и в 99% случаев мы занимаемся скучным говном.
Это норма. Большая часть программистской работы это айти-сантехника - создание машинных переводчиков с одного языка на другой (с HTTP-запросов в SQL-запросы и т.д. и т.п. в интерпрайзе программирование это сплошная серилизация и десериализация).
Когда программисты это понимают они придумывают новые языки и фреймворки чтобы быть сантехником было веселее - получается что ты совмещаешь рутинную работу и решение головоломки о том как соединить твои новые трубы причудливой формы чтобы по ним потекли данные. (есть правда ещё деталь - если сантехник изобретает новую трубу/фреймворк которая входит в моду у других прогрессивных сантехников то он может добавить это в своё резюме и требовать больше денег за свою работу). Больше всего в этом преуспели хаскеллисты которые сделали целый язык-головоломку в котором простейшие задачи требуют решения кубиков-рубиков абстрактной теории групп. Чтобы головоломки в хаскиле всегда оставались свежими постоянно выходят расширения его системы типов. Этот язык успешно распространяется тем же принципом что и головоломки "а тебе слабо решить? чё, тупой чтоли?".
Что делать с этим очевидно идиотским сложившимся состоянием отрасли? Выбирать самую простую работу которая приносит максимальное количество денег, желательно такую на которой можно часть времени сидеть в интернете и делать что хочешь. Откладывать деньги в застрахованные депозиты и другие инвестиционные инструменты чтобы однажды перестать быть завсимым от работы.
Я примерно так делаю, а настоящим интересным программированием занимаюсь в свободное время - пишу физические симуляторы, строю и программирую простых роботов из китайских серв и играюсь с машинным зрением.
#84CRK4
(135+9)
/ @ninesigns / 3365 дней назад
Гонзалес разродился таким-то стейт-ов-зе-юнионом Хаскеля https://github.com/Gabriel439/post-rfc/blob/master/sotu.md
Каждый раз когда сажусь покурить дисциплину очень быстро охуеваю от вербозности и нечитаемости типов. И это говорит человек добровольно пишущий на haskell'е.
#J83IJG
(0)
/ @ndtimofeev / 3378 дней назад
Есть у меня устройство, которое может находится в одном из нескольких конечных состояний. Для разных состояний устройства есть разные способы отправить его в другое состояние. В принципе можно описать все эти способы функциями над монадой State, а сами состояния изображать конструкторами алгебраического типа. Но тогда в рантайме придётся перепроверять а в правильном ли мы состоянии для вызова этой функции. Кроме того из самой функции будет не очевидно когда её можно вызывать. Можно закодировать состояния разными типами, а машину состояний суммой этих типов, а способы кодировать специальной монадой параметризованной типом состояния в котором можно её использовать. Но тогда нужен типобезопасный case, который позволяет при удачном сопоставление выполнять вычисления только внутри нужной монады. Кроме того типов станет ещё больше. Я недавно столкнулся с тем, что у меня есть типы параметризованные восьмью переменными и нужно ещё!
#9A383V
(7+1)
/ @ndtimofeev / 3386 дней назад
У меня ни одного пакета на хэкедже. Никак не решу плохо это или хорошо.
#2KTKX2
(0)
/ @ndtimofeev / 3387 дней назад
Ты хаскелист, дрочишь на монады, аппликативные функторы и ленивые вычисления? Тебе на страницу 6 http://www.ittc.ku.edu/csdl/fpg/files/Gill-15-RemoteMonad.pdf
#VAHPS0
(0)
/ @ndtimofeev / 3390 дней назад
ndtimofeev> Хм… У меня есть устройство которое со стороны программы моделируется набором довольно независимых свойств. Интересно, смогу я каким-нибудь quickcheck'ом нагенерить случайных программ для устройства чтобы ПЫЩ-ПЫЩ ТЕСТЫ.
lexszero> через год ты quickcheck'ом будешь генерить соединения для скрининга?
#3S0JPJ
(0+1)
/ @ndtimofeev / 3394 дня назад
Писал сырой stg. Стал let … in-блядью. :( Что теперь делать?
#7SHDKM
(0)
/ @ndtimofeev / 3394 дня назад
https://github.com/mrkkrp/ebal
Петухаскелл снова доставляет
Цоперайт © 2010-2016 @stiletto.