Ну а как их посчитать? Каждый байнд учитывать? Оценка в строчках более удобная

И вот, кстати, мысль. Если Free в ленивом стиле байндит одну цепочку к другой, пробегая по всем элементам первой, и отсюда лезет квадрат, то что мешает вычислись результат до какой-нибудь NF (поправьте, если ошибаюсь), и получить просто линейную цепочку?

Или я чего-то не понимаю?

ну для free реализации это разумно, а для обычной скорее число STM операций и длина беклога

Что такое "беклог"?

опс, transaction log

список действий, которые перепроверяются при коммите

в общем-то список read-ов разных тварей (и.к. повторный read уже локальный)

https://github.com/jwiegley/ghc-dynamic-example

Добрый день! Можете подсказать как в vscode рефакторинг (HaRe?) подключить? После установки hie рефакторинга нет (может не туда смотрю?).

https://github.com/jwiegley/ghc-dynamic-example

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

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

или так) https://github.com/strake/hint.hs/blob/master/examples/example.hs

реквестирую статическую кложу

лень

Там кстати фейсбук выкатил свой тайпчекер для питона https://pyre-check.org А вы в кложу не можете

join .(N+1) liftAN - вроде как довольно частая вещь. Никто нигде не видел готового общепринятого хелпера/нейминга?

liftMN уже занят, можно взять liftAMN

Народ, а hie обязательно должен быть собран тем же компилятором, что и проект? Если я соберу его системным гхц, а проект собираю стеком со своим компилером, будет работать? Версии обоих 8.0.2

Обязательно :(

мб можно под проект локально собирать

как проапдейтить поле структуры по "вынимающей функции"? допустим, есть такой тип data Crowd a = Crowd {first :: a, second :: a, third :: a} deriving Functor type Man = forall a. Crowd a -> a хочу написать такую функцию, но не знаю как forget :: Bounded a => Man -> Crowd a -> [Crowd a] forget = undefined -- forget first (Crowd _ s t) = [(Crowd f s t) | f <- [minBound..maxBound]] в комментарии к forget пример, как она должна работать. Но я не могу заматчить first. Если type Man выбран неудачно, то какой тут нужен на самом деле?

Обязательно :(

И как мне его собрать стеком под мой проект?

Я до сих пор не понимаю до конца где что и зачем хранит стек

Хоть на никс переходи

Кстати, никс может собирать мне только хаскель, а всякие зависимости брать из системы?

в .stack-work локальное в ,~/.stack глобальное

как проапдейтить поле структуры по "вынимающей функции"? допустим, есть такой тип data Crowd a = Crowd {first :: a, second :: a, third :: a} deriving Functor type Man = forall a. Crowd a -> a хочу написать такую функцию, но не знаю как forget :: Bounded a => Man -> Crowd a -> [Crowd a] forget = undefined -- forget first (Crowd _ s t) = [(Crowd f s t) | f <- [minBound..maxBound]] в комментарии к forget пример, как она должна работать. Но я не могу заматчить first. Если type Man выбран неудачно, то какой тут нужен на самом деле?

упрощу пример! как написать функцию new? data Crowd a = Crowd {first :: a, second :: a, third :: a} deriving Show newFirst :: a -> Crowd a -> Crowd a newFirst a c = c {first = a} newSecond :: a -> Crowd a -> Crowd a newSecond a c = c {second = a} -- newFirst = new first, newSecond = new second new :: (Crowd a -> a) -> a -> Crowd a -> Crowd a new = ???

линзы же

в .stack-work локальное в ,~/.stack глобальное

Если в моем стек ямл и в стек ямл hie резолвер с одной и той же версией гхц, все автоматически будет так, как надо?

линзы же

вместо Crowd может быть более сложный тип, например список или ещё хз что. Всё равно линзы?

да

спасибо, пошёл читать

как проапдейтить поле структуры по "вынимающей функции"? допустим, есть такой тип data Crowd a = Crowd {first :: a, second :: a, third :: a} deriving Functor type Man = forall a. Crowd a -> a хочу написать такую функцию, но не знаю как forget :: Bounded a => Man -> Crowd a -> [Crowd a] forget = undefined -- forget first (Crowd _ s t) = [(Crowd f s t) | f <- [minBound..maxBound]] в комментарии к forget пример, как она должна работать. Но я не могу заматчить first. Если type Man выбран неудачно, то какой тут нужен на самом деле?

Хм... Попробовал раскомментировать. Получил * Could not deduce (Enum a)

Добавил Enum a, все прошло

Если в моем стек ямл и в стек ямл hie резолвер с одной и той же версией гхц, все автоматически будет так, как надо?

без понятия

Добавил Enum a, все прошло

а что "прошло"? там undefined вместо функции

Инфраструктура на высоте

undefined закомментировал. Следующую сточку раскомментировал

undefined закомментировал. Следующую сточку раскомментировал

так-с, сейчас проверю

такая функция не заработает, ну что вы

какой блин матчинг по функции

там first будет не тот геттер first, он любой геттер сматчит очевидно

это правда :-)

какой блин матчинг по функции

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

я просто думал, что проблема в компиляции

я просто думал, что проблема в компиляции

нет, проблема была апдейтить поле по заранее неизвестному аксессору

lens или даже generic-lens

@Masteroid

оно на темплейтах работает, да?

за код спасибо, пошёл курить доки

можно и без TH

а можно через generic-lens через generic

@Masteroid - есть и моя маленькая простая реализация (которой бесконечно далеко до generic-lens, но идея понятна)

Пример использования символов в хаскеле - недолинзы: https://gist.github.com/kana-sama/733e3596fe2d88a58e1dc3f73868eb8b (Есть и пакет с чем-то подобным - generic-lens, там все инстансы генерируются) вот с генерацией через generic: https://gist.github.com/kana-sama/b7f8a2a405061260a2ee7beafbd59e32

Пример использования символов в хаскеле - недолинзы: https://gist.github.com/kana-sama/733e3596fe2d88a58e1dc3f73868eb8b (Есть и пакет с чем-то подобным - generic-lens, там все инстансы генерируются) вот с генерацией через generic: https://gist.github.com/kana-sama/b7f8a2a405061260a2ee7beafbd59e32

постараюсь разобраться ? а чем package/lens отличается от package/generic-lens ? если в двух словах. Для человека, который ни с тем, ни с тем не знаком

lens - старые кметовские линзы для всего подряд + генерация через template haskell в generic-lens линзы уже модные профункторные, генерация через Generic трогать новичку generic-lens имхо не нужно, как показывает время компиляции, это еще игрушка могу ошибаться

а нет, в generic не все профункторные

но либы скорее всего совместимы между собой, generic-lens просто поставляет код для generic-генерации линз, которые можно использовать уже через функции пакета lens

но либы скорее всего совместимы между собой, generic-lens просто поставляет код для generic-генерации линз, которые можно использовать уже через функции пакета lens

да

постараюсь разобраться ? а чем package/lens отличается от package/generic-lens ? если в двух словах. Для человека, который ни с тем, ни с тем не знаком

в generic-lens линзы для использования с библиотекой lens которые работают, например, с полем с каким-то именем, с любым рекордом, в котором есть поле с таким именем. то же с именами конструкторов, номерами полей и параметров, полями определенного типа и т.д.

Инфраструктура на высоте

иде-релейтед инфраструктура для хаскеля, упрощенно говоря, отсутствует

Да я не только про иде, сборка тоже так себе. Стэк этот блин

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

Я наверное в один момент окончательно от этого устану и возьму никс

там тоже настрадаться придется

Что стоит знать прежде чем попробую?

я в нем не разбираюсь, я к тому что там все равно придется использовать какой-то хаскельный билд-тулинг (кабал инстол тот же) чтоб инкрементально компилять

Стоит знать, что в чатике есть люди, склонные драматизировать

У никса есть какая-то интеграция со стаком

Может вместе они будут лучше

ну она для того чтоб нехаскельные зависимости никсом ставить

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

Нет бы пересобрать только что сломано и от него зависящие

А 200 зависимостей, среди которых плюсня, у меня долго собираются

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

Как это вообще происходит? Почему что-то ломается?

можно удалять не весь stack-work, а по частям

200 зависимостей должны быть не в stack-work, а в глобальном ~/.stack (который тоже можно убивать по частям)

А зачем столько зависимостей?

Что они делают для проекта?

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

Что они делают для проекта?

Я вместе с транзитивными считаю

Все что собирает стек короче

А зачем столько зависимостей?

200 зависимостей — вполне нормально для среднего проекта. это же включая транзитивные

200 зависимостей должны быть не в stack-work, а в глобальном ~/.stack (который тоже можно убивать по частям)

Какая разница где они, если они ломаются...

А как грохать частями?

Наверное, нам на проекте очень везет.

Допустим у меня стеком собран lens и он сломался. Что удалять?

lens просто для примера

А зачем столько зависимостей?

это шутка что-ли? какой-нибудь сервис на хаскеле будет от сотен пакетов зависть просто чтоб привет мир отвечать

Там же ещё какой-то package db, нельзя наверное просто удалить

А как грохать частями?

что именно сломалось? вываливается сообщение про какой-то конкретный файл?

это шутка что-ли? какой-нибудь сервис на хаскеле будет от сотен пакетов зависть просто чтоб привет мир отвечать

Нпм!

что именно сломалось? вываливается сообщение про какой-то конкретный файл?

У меня сейчас нет под рукой сообщений) обычно при линковке финального бинарника не находится какого-то символа где-то

Хех, hie, как никто другой помогает хасклю избежать успеха

Хех, hie, как никто другой помогает хасклю избежать успеха

?