менять то что сделано на века должно быть сложно, ведь оно сделано на века

я, кстати, сомневаюсь что старый код на окамле вот так сразу будет компилироваться сейчас. Там же то ли проходит толи уже прошел цикл депрекации мутабельных строк

ну по идее, если их не мутировал - то должно быть ок?

я так даже оопом не пользовался

ну да

ну тогда те, кто мутировал ссзб

это функциональный язык или как вообще.

читал тут исходный код flow, там сайд-эффекты в каждой строчке

грязь какая то

читал тут исходный код flow, там сайд-эффекты в каждой строчке

А я такое очень часто вижу. Взять, например, те же коллекции из стдлибы практически любого функционального языка — с 99% вероятностью найдешь там и циклы, и грязные функции. Чего только не сделаешь в угоду производительности.

там еще иммутабельные структуры к мутабельным кастят и обратно, например

ну какбэ да, но зато снаружи всё такое функциональное и монадными трансформерами блестит.

всем привет, я правильно понимаю, что mapConcurrently вернет список результатов в том же порядке, в каком был список изначально?

Я, кстати, сходу не могу сказать сработает ли такой трюк для будующих хаскельных мутабельных объектов

ну какбэ да, но зато снаружи всё такое функциональное и монадными трансформерами блестит.

монадные трансформеры как раз редко бывают

я вот не понимаю, почему они логер настраивают мутируя глобальный объект. Вот в упор не понимаю

всем привет, я правильно понимаю, что mapConcurrently вернет список результатов в том же порядке, в каком был список изначально?

В том же

монадные трансформеры как раз редко бывают

да, не очень удачный пример, но думаю что мысль ясна

всем привет, я правильно понимаю, что mapConcurrently вернет список результатов в том же порядке, в каком был список изначально?

да

всем привет, я правильно понимаю, что mapConcurrently вернет список результатов в том же порядке, в каком был список изначально?

yes

спасибо, было не совсем понятно

А что за будущие мутабельные объекты?

А что за будущие мутабельные объекты?

https://github.com/ghc-proposals/ghc-proposals/pull/8

я смотрю опять линейные типы не вызывают восторга

где это?

https://github.com/ghc-proposals/ghc-proposals/pull/111

а, так а почему это отношение должно было с прошлого раза поменяться?

Я не вникал. Там кстати ваш любимый cartazio. и его опять игнорируют

так он свой альтернативный подход продвигает

который у него уже почти написан?

не знаю, я не смотрел его доклад на около ICFP

дамы и господа, предлагается уника^W предложение ⬅️ Я прочитаю довольно подробную лекцию о Template Haskell, где-то на час, со слайдами. Можно в компании, можно на квартире (и тогда все будут смотреть на экран моего ноута, как лохи), можно в каком-нибудь антикафе. Минимум три человека. Город Москва. Время: пятница днём, либо суббота вечером, либо понедельник днём/вечером. ➡️ С каждого участника мне идёт шоколадка Toblerone любого вкуса и размера 🙂 причина: подруге надоело, что я весь день сижу у неё дома, и я хочу куда-нибудь свалить на несколько часов и провести это время с пользой

(Если хотели бы послушать, но бесит, что непонятно, куда приходить и когда, то напишите в личку. Если будет достаточное количество таких людей, то я переборю лень и сам найду помещение)

дамы и предложение?

fixed

вообще, я бы заслушал даже. th пока единственное, куда стараюсь не соваться

ну, почти

еще бы кто расскал, как вручную всякие истансы generic-ов пишутся

еще бы кто расскал, как вручную всякие истансы generic-ов пишутся

лежит в закромах на почитать https://markkarpov.com/tutorial/th.html

вообще, я бы заслушал даже. th пока единственное, куда стараюсь не соваться

а у HXR нет офиса в Москве? можно было бы там организовать

что самое смешное - есть где проводить, но для трёх человек нецелесообразно

ну там минимум три, а не максимум или у вас всего три человека работает? 😉

удаленщики, вангую

офиса нет, но я могу организовать в физтехпарке

но правда, наверное надо было раньше этим начать заниматься

м-м-м, можно с понедельника по четверг днём/вечером, в общем-то а потом я уезжаю :(

Всем привет! Подскажите, я правильно понимаю, что линзы работают на рефлексии?

Всем привет! Подскажите, я правильно понимаю, что линзы работают на рефлексии?

нет

Ок, а строчку makeLenses ''MyType можно считать стейтментом?

@lightgreen ок, я буду иметь ввиду, хотя если подумать, то мне ж там придеся тогда присутствовать, а вот на тусовки-то времени сейчас не очень

Ок, а строчку makeLenses ''MyType можно считать стейтментом?

ну makeLenses это что-бы руками не писать

Это ведь стейтмент, не выражение?

Ок, а строчку makeLenses ''MyType можно считать стейтментом?

это TH

выражение

Ок, а строчку makeLenses ''MyType можно считать стейтментом?

https://hackage.haskell.org/package/lens-4.16/docs/Control-Lens-TH.html#v:makeLenses вот тут написано во что разворачивается

в данном контексте можно считать стэйтментом

линзы можно создавать с помощью рефлексии во время компиляции

линзы могут работать и на рефлексии в рантайме, но это немного странный случай

обычно они создаются по конкретным типам и работают с конкретными типами

декларацией, тогда уж, почему стейтментом-то?

декларацией, тогда уж, почему стейтментом-то?

просто слово не могли вспомнить

/me с отвращением добавил monad-time в build-depends

стэйтмент, порождающий объявление, точнее, несколько объявлений

стэйтмент, потому что императивное выражение

кстати, к вопросу, почему interpolatedstring-perl6, а не shakespeare 👆

и ноль зависимостей.

^ выводит “Hello world!” и “Goodbye!” одно за другим

пытаюсь запилить атомы в Haskell разумеется, pattern exhaustivity checker на такое ругается

у кого-нибудь есть идеи, как сделать хорошо?

https://gist.github.com/a7e859987ffdc477c0a51ae11343d9c2

всё бы нормально работало, если бы я мог как-нибудь засунуть в паттерн либо Symbol, либо #label, но я не придумал, как сделать ни того, ни другого (кроме ViewPatterns)

учитесь проектировать языки https://twitter.com/GabrielG439/status/963601060819476480

Ответ Брайана МакКена: "⬇️Behavior is impossible"

посоветуйте онлайн редактор / запускатор для хаскелла. типа jfiddle

google haskell online editor. А вообще - repl.it, ideone.co, paiza.io

линзы могут работать и на рефлексии в рантайме, но это немного странный случай

Это как? Ни разу не видел

всё бы нормально работало, если бы я мог как-нибудь засунуть в паттерн либо Symbol, либо #label, но я не придумал, как сделать ни того, ни другого (кроме ViewPatterns)

Через паттерны, который генерит view-паттерн

Через паттерны, который генерит view-паттерн

не понял

не понял

Pattern Synonym имею в виду, там нельзя сгенерировать ViewPattern?

а как дальше использовать этот pattern synonym? покажи примерно, как это выглядит вместо view pattern в моём случае

если ты предлагаешь что-то вроде say :: OneOf ["hi", "bye"] -> IO () say (Is #hi) = putStrLn "Hello world!" say (Is #bye) = putStrLn "Goodbye!" то это невалидный синтаксис вне зависимости от того, является Is паттерн-синонимом или нет