Alexander
вообще в идрисах и т.п. можно наверное
Alexey
что такое дефолтный путь?
ну вот например в скале не дефолтного решения для работы с json. есть несколько либ в сообществе, но нет стандарта де факто. у каждой есть + и -
Alexander
к stm в железе не относится
Alexander
ну тут пакет идёт с ghc
Alexey
ок
Alexander
там в любом случае все интересное в rts должно быть
Anonymous
Вот примерчик из компаньона к Parallel & Concurrent H. S. Marlow:
https://github.com/simonmar/parconc-examples/blob/master/TList.hs
Подойдёт?
Alexey
почитаю
Alexey
спасибо
М
Технически, можно сделать zip... господи
offsets :: [ASMLine] -> [ASMLine]
backOffsets [] = []
backOffsets (a:as) = a {offset = length (concatMap bytecode (a:as))}: backOffsets as
offsets = reverse . backOffsets . reverse
М
Сделал
М
всего и делов-то было
Кабачок
Alexander
Liquid Haskell
Alexander
Кстати, любопытно. А в чем состоит "адекватность" STM? Какие критерии? Код должен проходить какие-нибудь стандартные тесты? Удовлетворять определенным требованиям?
Leonid 🦇
Пишешь левой ногой, и почти всегда работает как хотелось
Alexander
Кложуристы, вроде, тоже были рады своему STM. Вероятно, они даже скажут, что там он раньше появился (но это неточно)
Leonid 🦇
Фпрог спб сменил место проведения
Leonid 🦇
Друзья,
22 февраля состоится очередная встреча сообщества в офисе T-Systems
по адресу: 13-я линия В.О, д.14 БЦ «Елизаветинский»
Узнать подробности и зарегистрироваться можно на TimePad:
https://spb-fp-meetup.timepad.ru/event/658805/
Alexander
А кто-нибудь здесь еще решал задачу обедающих философов на STM? Я хочу сравнить со своим решением. Интересно, какое из них будет самое короткое и понятное
Leonid 🦇
а это как-то поможет писать динамические опердени?
Alexander
Не знаю. А это важно?
Leonid 🦇
ну конечно, хаскель же для реального мира а не академического телебоньканья
Alexander
Вы предлагаете изучать и преподавать STM сразу на промышленных задачах?
Anatolii
ну конечно, хаскель же для реального мира а не академического телебоньканья
ЛОМАЕШЬ СТЕРЕОТИПЫ
Alexander
Окей, можете для себя так и делать, никто не станет возражать.
Leonid 🦇
Студенты должны сразу получив диплом сесть и писать криптовалюты.Вот Го - идеален для микросервисов. Rust для системного программирования. Scala для биг даты, а Хаскель - язык идеально подходящий для криптовалют.
Alexander
Alexander
или в статье/блоге
Alexander
в общем обедающие философы на stm я точно видел
Artyom
Alexander
S. Marlow
Alexander
или даже у S. PJ
Alexander
Ох, жаргон :)
Leonid 🦇
да и диплом не надо
вот мы без дипломов писали
Вот! Даже неучи могут на хаскеле крипту писать!
Artyom
меня вообще с первого курса выгнали
Alexander
чот с ходу правда не найду
Alexander
а меня еле еле после PhDd прогнали, чтобы не путался под ногами
Alexander
и шёл себе хацкели писать ,а не науку двигать
Alexander
кстати, быть выгнанным из универа модно
Alexander
@lightgreen ты должен открывать фирму
Leonid 🦇
Это хорошо или плохо?
Конечно хорошо! В индустрии не нужны все эти ваши академические уменя, типа "разворачивание бинарного дерева".
Artyom
@lightgreen ты должен открывать фирму
обещаю и клянусь, что открою фирму
даже несколько постараюсь
вон, консалтинг уже есть
Alexander
все поймут, что академическая билеберда не нужна тебе и ты готов делать дело
Alexander
@lonokhov да, неучел этот момент
Alexander
ещё возможно надо жить в долине
Евгений
Пашу Д, разве нет?
Alexander
Конечно хорошо! В индустрии не нужны все эти ваши академические уменя, типа "разворачивание бинарного дерева".
С этим утверждением в целом готов согласиться.
Alexander
Тем, что разрушил, а потом вернул стену.
Евгений
Конечно хорошо! В индустрии не нужны все эти ваши академические уменя, типа "разворачивание бинарного дерева".
Крудописатели в чате. Кстати интересно, на сабже часто пишут круды?
Alexander
Мы пишем. Не уверен, это "часто" или "не очень"
Leonid 🦇
Еще часто совмещают
Leonid 🦇
криптопердень
A64m
Кложуристы, вроде, тоже были рады своему STM. Вероятно, они даже скажут, что там он раньше появился (но это неточно)
вроде в хаскеле стм появилась за пару лет до того как появился сама кложа, правда я историю кложи особо не изучал
Leonid 🦇
В блокчейне нельзя изменять и удалять. Из всего круда останется CR
Ну так и хаскеть не мутабельный же. Поэтому любую опердень не написать, только крипто.
A64m
оказывается, пару недель назад обсуждалось, как бы подлить в библиотечный процесс кафкианского кошмара, но Кметт чего-то не захотел, говорит мы в библиотечном комитете хотим дело делать а не вот это вот https://github.com/haskell/ecosystem-proposals/pull/7
Alexander
А давно Хаскель немутабельный, и что вообще такое "мутабельный ЯП"?
Leonid 🦇
оказывается, пару недель назад обсуждалось, как бы подлить в библиотечный процесс кафкианского кошмара, но Кметт чего-то не захотел, говорит мы в библиотечном комитете хотим дело делать а не вот это вот https://github.com/haskell/ecosystem-proposals/pull/7
Мне кажется автор еще до этого какой-то комитет объявлял в кафе, с год-два назад. был проигнорирован.
Alexander
если меня 3 раза выгоняли из спбгу, значит ли это, что я могу открыть сразу 3 фирмы?
Leonid 🦇
если меня 3 раза выгоняли из спбгу, значит ли это, что я могу открыть сразу 3 фирмы?
соцсеть и мессенджер как минимум.
A64m
три раза из одного и того же? Так не интересно. Вот один мой приятель из моей шараги перевелся сначала в МИФИ, потом в Бауманку, а уже потом на мороз только.
Dmitry
@lonokhov жалко только, что криптовалютчики об этом не знают, и пилят на go
Denis
вместо того чтобы переводится и всего один раз быть отчисленным, можно было быть отчисленным три раза
Dmitry
особо отмороженные — на плюсах
Leonid 🦇
Ну у них потом и контракты с переполнением целых
Leonid 🦇
/me еще хотел бы отметить что fprog spb опять захвачен хаскелистами
Alexander
ничего себе
Alexander
съездить чтоли