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

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 у всех колонок тип "текст", да

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

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

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

типы хачу!

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

да, вообще 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, но сработает ли в случае ГЦ я не скажу

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

хм

если функции топ левел

вот это мне нужно, если плохо обьяснил

вместо == нужна любая функция

а LiquidHaskell умеет в экстенсиональное равенство?

хмм

а как вообще без этого жить то

ну как ты функции обычно тестируешь?

надо применять, т. е. спека проверяет что ф-ия возвращает ф-ию, которая подходит к другой спеке

гыгыгы

irb(main):001:0> a = ->(*) { 1 + 1 } => #<Proc:0x007fbe27006b98@(irb):1 (lambda)> irb(main):002:0> b = ->(*) { 1 + 2 } => #<Proc:0x007fbe288f6298@(irb):2 (lambda)> irb(main):003:0> a == a => true irb(main):004:0> a == b => false в случае рубей сработает, в sbt не полезу, но скорее всего в скалке тоже

надо применять, т. е. спека проверяет что ф-ия возвращает ф-ию, которая подходит к другой спеке

не понял

вернее понял, но не понял как это всё организовывать в коде

дурдом же получится

а) Не сравнивать функции б) Выдавать не функции, а ADT, который можно сравнивать, а уже из него делать функцию

хм, подстраиваться под тест

а) Не сравнивать функции б) Выдавать не функции, а ADT, который можно сравнивать, а уже из него делать функцию

в случае варианта б), что мне это даст?

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

но это же разые функции

если хочешь сраванить одинаковость результата, есть quickcheck

В общем равентва функций нет потому что чтобы сравнить две функции надо сравнить что они равны для все возвожных параметров. А это множество поненциально бесконечно

если сранивать a == b => False, a == a => True

И зачем надо сравнивать функции на равенство?

liftA2(==)

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

сравнивать результат вычислений можно и без лифта)

liftA2(==)

зачем, что это дает вообще

И зачем надо сравнивать функции на равенство?

есть функция диспатчер, которая возвращает до этого переданные ей функции в виде списка

пытаюсь проверять на разных данных корректно выбранную функцию

зачем возвращать функцию, возвращай некую команду (конструктор суммы типов)

ааа?

нихера не понял

зачем, что это дает вообще

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

а что сейчас для kv хранилища лучше использовать (либу)?

осталось ещё добить чтобы те два параметра дублировались

осталось ещё добить чтобы те два параметра дублировались

там один параметр

а что сейчас для kv хранилища лучше использовать (либу)?

свойства какие нужны?

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

Я знаю, что этот код делает, принимает один параметр так а чем это отличается от f x == g x? Повторюсь, что это дает?

свойства какие нужны?

простота пожалуй)

там один параметр

да точно. f одинаковая

простота пожалуй)

redis?