побольше примеров

каких, мне вроде хватало того что есть

Да вроде норм. Пример чего не нашли?

у нас правда свой хендлер, чтобы формат стекдрайверу нравился

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

у меня там вопросы какие-то возникали, но мне кажется что они low level были

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

haskell тут за 10 минут, javascript - полгода

Не смешно ?

А кому не лень будет пояснить для нубаса, что есть Lens в хаскеле? Можно с использованием терминологии, я кое-что уже немножко понимаю в монадах, комбинаторной логике (знаю про комбинатор неподвижной точки), лямбда-исчислении (знаю про альфа, бета и вроде бы этта-редукции).

Композабельные геттеры и сеттеры, если в первом приближении.

Т.е. параметрические, или как?

Не смешно ?

и.к. правда?

и.к. правда?

Хаскеллистов не искал, но типичный js-ер лучше разбирается в сортах кофе и вискаря, чем в программировании. Увы. И еще они все хотят работать на маках. Почему? До сих пор загадка.

А кому не лень будет пояснить для нубаса, что есть Lens в хаскеле? Можно с использованием терминологии, я кое-что уже немножко понимаю в монадах, комбинаторной логике (знаю про комбинатор неподвижной точки), лямбда-исчислении (знаю про альфа, бета и вроде бы этта-редукции).

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

Так-то да, я просто сейчас был в стадии "лень гуглить, не лень спросить".

А так уже дока открыта на hackage.

Там Tutorial есть.

Или есть более годные источники?

есть хорошая серия постов https://artyom.me/lens-over-tea-1

Она несколько странной мне в свое время показалась

есть хорошая серия постов https://artyom.me/lens-over-tea-1

Спасибо.

https://hackage.haskell.org/package/lens-tutorial-1.0.3/docs/Control-Lens-Tutorial.html попрощ вроде

Вот я там сейчас.

Но за первую ссыль тоже спс.

А для понимания устройства есть курс от никта

Но его как-то переименовывали...

https://github.com/data61/fp-course

Т.е. https://github.com/data61/lets-lens

Turning patterns into irrefutable ones requires `~(~p)` or `(~ ~p)` when `Strict` is enabled.

хорошеет хаскель

пока ещё не перл

с линзами уже вполне

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

ну т.е. он уже давно не новый, просто свежедокументированный

объясните мне вот это instance (a ~ Text, b ~ a) => Label (a, b).

чем это эквалити констрейнт лучше?

опасный какой инстанс

тем, что он работает для всех пар, а только потом проверяется что это (Text, Text)?

не уверен правда про то, что это лучше чего-тог

type LabelPairs = [(String, String)] class Ord l => Label l where labelPairs :: l -> l -> LabelPairs

наверно запрещает оверлапы

типа не написать инстанс Label (Text, Int)

да

именно это и делает

учитесь у Олли как троллировать авторов пакета. https://github.com/fimad/prometheus-haskell/pull/25

"у вас всё говно, я переписал"

(там и вправду говно было)

нуууу это же переписывать надо

чота я не понимаю sqlite..

соберись!

А в чём там проблема?

я не понимаю как типы там работают

и работают ли вообще

у колонок

У колонок нет типов

Пихать туда можно всё что угодно

И писать в типе тоже можно всякую чухню

Никогда не пользовался sqlite и наверное не буду уже

Она очень даже хороша если надо просто пихать данные в один файл

The declared type of each column is determined by the expression affinity of the corresponding expression in the result set of the SELECT statement, as follows:

Кложуристам наверное нравится

т.е. там что-то похожее на тип есть, но как это проявляется я не понимаю

подло блин

У SQLite у всех колонок тип "текст", да

ERROR: S client not available

Всегда так было - особенности реализации

Игрушечная дб

Так она и не претендует. Это маленькая встраиваемая штука

типы хачу!

Для маленькой встраиваемой штуки - довольно крутая

да, вообще state of the art

псст https://github.com/mozilla/mentat

это ты нас предупреждаешь что mentat не надо пользоваться?

я не смогу понять как ты пришел к такому выводу

псст ПСС, ПСТ, СТ, ПССТ pss! psit! разг. Звукоподражательное междометие, употребляемое для выражения неудовольствия, неодобрения, предостережения и т. п. БАС-1. -

я по себе замечал что ТАПЛ плохо читается до того как научишься программировать на СТЯП и хорошо после

Что такое СТЯП? UPD Нашел, спасибо.

Used mostly in quiet circumstances to obtain the attention of another person. Occasionally used in a loud, sarcastic tone in a situation that obviously doesn't require silence.

впрочем не важно, я специально выбирал наиболее неподходящий вариант для того, чтобы сказать о том, что mentat тут не нужен

я заметил

но причину не пойму

наверное потому, что я не говорил ограничения и что решаю?

мне нужна встраиваемая реляционная база, которая не прячет свою структуру, и нужна именно из-за реляционных фич

ну ок

вообще mentat выглядит интересно

а в Takt тоже на хаскеле пишут?

народ, как функции сравнивать в спеках? )

типа есть функция, которая на выходе может выдать несколько других функций в зависимости от параметра, как в спеках это проверять

а в Takt тоже на хаскеле пишут?

точно пишут, но это не та контора что я думал

спрашиваю, потому что нет Eq у функций

проверять что делают функции которые возвращает функция?

спрашиваю, потому что нет Eq у функций

а как ты хочешь сравнивать? их надо сначала вычислить а потом результат сравнивать по другому никак

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

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

ну reallyUnsafePointerEquality, но сработает ли в случае ГЦ я не скажу

теоретически должно