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

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

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

а 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?

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

хз. ничего

я просто для себя разобрался

berkeleydb, простите

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

Но в том примере они же даже не α-эквивалентны

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

join (*) 10 вот тут 10 * 10

уже можно вбрасывать? https://deni-ok.livejournal.com/49973.html

уже можно вбрасывать? https://deni-ok.livejournal.com/49973.html

Это нужно было вбрасывать в тоталитарный learn чят

зачем? думаю там и так все это читали

а, ты про haskell learn, я подумал что про завтипы

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

lmdb, leveldb, sqlite (да она не kv), tcache,

rocksdb

ко всем байндинги есть

vcache

все достаточно простые

lmdb только raw?

хм?

там есть байндинги но они плохие, так скажем, надо не полениться и выпустить свои

данные там просто сырые байты

спасибо, я попробую разные скорее всего :)

а вообще персистентность транзакции данные какие хранить?

текст, простое api хочу попробовать написать

данные именно в виде пар будут, поэтому не хочется рбд.

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

В общем случае конечно да, но с конечным кодоменом можно показать forall x: X, f x == g x (functional extensionality)

ERROR: S client not available

И достаточнр маленьким

Он норовит расти слишком быстро

угу

для составления доказательства пойдет, если только один раз показать надо

для сравнения в рантайме бред конечно

Ну если параметром Int или Double это 2^64

Для небольших ADT это возможно, но число комбинаций растёт экспоненциально с размером типа

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

а где оценки показывают?

в письме докладчикам

на первых местах скала и hasql

а hasql это тот же доклад был, что на haskellx?

какие-то неадекватные оценки, хотя по hasql нормально было

а кто-нибудь скальные доклады слушал? что там было?

а hasql это тот же доклад был, что на haskellx?

+- да

а кто-нибудь скальные доклады слушал? что там было?

Вообще или на конкретном мероприятии?

конкретно ща вроде как речь про fpconf прошлой субботы

На всякий случай спросил.

Если просто "вообще", то я и сам смотрел когда-то по скале доклады, каюсь :)

да кто их не смотрел-то?

И как впечатления? :)

стёрлись по проществии лет

Это очень круто, но вы лично пробовали найти разработчика на Reason? Тут нормального разработчика на JS фиг найдешь. Толпы хипстеров на гироскутерах, с вейпами, после недельных курсов. Которые, блин, даже fizzBuzz с трудом пишут.

Я вот думаю, имеет ли смысл глубоко осилить что-то экзотическое типа COBOL, Lisp, Rust, Scala и т. п., чтобы потом с руками отрывали. С одной стороны — рынок чист от вайтивайтишников, которые заполонили весь мейнстрим, с другой — из-за малого предолжения мало и спроса (вакансий), выбор по прочим параметрам будет никакущий, если вообще будет

Я вот думаю, имеет ли смысл глубоко осилить что-то экзотическое типа COBOL, Lisp, Rust, Scala и т. п., чтобы потом с руками отрывали. С одной стороны — рынок чист от вайтивайтишников, которые заполонили весь мейнстрим, с другой — из-за малого предолжения мало и спроса (вакансий), выбор по прочим параметрам будет никакущий, если вообще будет

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

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

Работа за деньги не может для меня быть любимой в принципе

Работа за деньги не может для меня быть любимой в принципе

в этом мало хорошего, деньги можно воспринимать как востребованность и оценку труда, пусть и не самоцель

в этом мало хорошего, деньги можно воспринимать как востребованность и оценку труда, пусть и не самоцель

Оценка труда — это донат, но на донат живут единицы

Если пилить что-то швабодное и нужное, то вариант, в принципе

оценка труда это рыночная стоимость донат это скорее чаевые

оценка труда это рыночная стоимость донат это скорее чаевые

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

денег стоит потраченное время за единицы и нули