Я знаю, что этот код делает, принимает один параметр
так а чем это отличается от f x == g x?
Повторюсь, что это дает?
хз. ничего
Влод
Влод
я просто для себя разобрался
Евгений
berkeleydb, простите
adam
Я знаю, что этот код делает, принимает один параметр
так а чем это отличается от f x == g x?
Повторюсь, что это дает?
Но в том примере они же даже не α-эквивалентны
Зигохистоморфный
осталось ещё добить чтобы те два параметра дублировались
join (*) 10 вот тут 10 * 10
Кабачок
уже можно вбрасывать? https://deni-ok.livejournal.com/49973.html
adam
уже можно вбрасывать? https://deni-ok.livejournal.com/49973.html
Это нужно было вбрасывать в тоталитарный learn чят
Кабачок
зачем? думаю там и так все это читали
Кабачок
а, ты про haskell learn, я подумал что про завтипы
Alexander
rocksdb
Alexander
ко всем байндинги есть
Alexander
vcache
Alexander
все достаточно простые
Donat
lmdb только raw?
Alexander
хм?
Alexander
там есть байндинги но они плохие, так скажем, надо не полениться и выпустить свои
Alexander
данные там просто сырые байты
Donat
спасибо, я попробую разные скорее всего :)
Alexander
а вообще персистентность транзакции данные какие хранить?
Donat
текст, простое api хочу попробовать написать
Donat
данные именно в виде пар будут, поэтому не хочется рбд.
Denis
В общем равентва функций нет потому что чтобы сравнить две функции надо сравнить что они равны для все возвожных параметров. А это множество поненциально бесконечно
В общем случае конечно да, но с конечным кодоменом можно показать forall x: X, f x == g x (functional extensionality)
Алексей
И достаточнр маленьким
Алексей
Он норовит расти слишком быстро
Denis
угу
Denis
для составления доказательства пойдет, если только один раз показать надо
Denis
для сравнения в рантайме бред конечно
Алексей
Ну если параметром Int или Double это 2^64
Алексей
Для небольших ADT это возможно, но число комбинаций растёт экспоненциально с размером типа
Alexander
ну вот по оценкам на фпконф у меня почти самый плохой доклад
Denis
а где оценки показывают?
Alexander
в письме докладчикам
Alexander
на первых местах скала и hasql
A64m
а hasql это тот же доклад был, что на haskellx?
Kirill
какие-то неадекватные оценки, хотя по hasql нормально было
Kirill
а кто-нибудь скальные доклады слушал? что там было?
Kirill
конкретно ща вроде как речь про fpconf прошлой субботы
murad
На всякий случай спросил.
Kirill
Если просто "вообще", то я и сам смотрел когда-то по скале доклады, каюсь :)
A64m
да кто их не смотрел-то?
murad
И как впечатления? :)
Kirill
стёрлись по проществии лет
Bohdan
Это очень круто, но вы лично пробовали найти разработчика на Reason? Тут нормального разработчика на JS фиг найдешь. Толпы хипстеров на гироскутерах, с вейпами, после недельных курсов. Которые, блин, даже fizzBuzz с трудом пишут.
Я вот думаю, имеет ли смысл глубоко осилить что-то экзотическое типа COBOL, Lisp, Rust, Scala и т. п., чтобы потом с руками отрывали. С одной стороны — рынок чист от вайтивайтишников, которые заполонили весь мейнстрим, с другой — из-за малого предолжения мало и спроса (вакансий), выбор по прочим параметрам будет никакущий, если вообще будет
ㅤ
Я вот думаю, имеет ли смысл глубоко осилить что-то экзотическое типа COBOL, Lisp, Rust, Scala и т. п., чтобы потом с руками отрывали. С одной стороны — рынок чист от вайтивайтишников, которые заполонили весь мейнстрим, с другой — из-за малого предолжения мало и спроса (вакансий), выбор по прочим параметрам будет никакущий, если вообще будет
не имеет, если цель не бездарно тратить время
лучше сфокусироваться на чемто конкретном с чем работать потом, не стоит затачиваться под рынок, нелюбимая работа быстро выжгет.
Bohdan
не имеет, если цель не бездарно тратить время
лучше сфокусироваться на чемто конкретном с чем работать потом, не стоит затачиваться под рынок, нелюбимая работа быстро выжгет.
Работа за деньги не может для меня быть любимой в принципе
ㅤ
Работа за деньги не может для меня быть любимой в принципе
в этом мало хорошего, деньги можно воспринимать как востребованность и оценку труда, пусть и не самоцель
Bohdan
в этом мало хорошего, деньги можно воспринимать как востребованность и оценку труда, пусть и не самоцель
Оценка труда — это донат, но на донат живут единицы
Bohdan
Если пилить что-то швабодное и нужное, то вариант, в принципе
ㅤ
оценка труда это рыночная стоимость
донат это скорее чаевые
Bohdan
оценка труда это рыночная стоимость
донат это скорее чаевые
Беда в том, что такой подход вынуждает кого-то отдавать деньги за последовательность единиц и нулей. Это мне претит, я считаю любые цифровые данные свободными
ㅤ
денег стоит потраченное время за единицы и нули
ㅤ
к деньгам стоит вцелом относится спокойнее, они точно такие же виртуальные единицы и нули
Bohdan
денег стоит потраченное время за единицы и нули
А тут уже возникает другая проблема. Потраченное время оплатят за реализацию чужих идей. Свои же идеи монетизировать я не хочу тоже, по причине выше
Bohdan
к деньгам стоит вцелом относится спокойнее, они точно такие же виртуальные единицы и нули
Такие виртуальные, что людям приходится за них вкалывать. Это айтишники сидят за конпуктерами и по кнопочкам тычут, далеко не всем хлеб достаётся столь виртуально
ㅤ
дык, как раз самое ценное что можно купить за деньги - свободу, и реализовывать уже только свои идеи, или чужие но только желанные
ㅤ
Такие виртуальные, что людям приходится за них вкалывать. Это айтишники сидят за конпуктерами и по кнопочкам тычут, далеко не всем хлеб достаётся столь виртуально
у большинства нет банальной финансовой грамотности, поэтому работают крайне не эффективно в плане затрат усилий/времени в пересчете на оплату (не рыночная)
Bohdan
дык, как раз самое ценное что можно купить за деньги - свободу, и реализовывать уже только свои идеи, или чужие но только желанные
Нету чужих желанных:) В любом продукте сложнее хеллоуворлда будет разброс мнений и необходимость каких-то решений со стороны команды или руководства, которые будут противоречить моим
ㅤ
среди них бытует заблуждение, что большая самоотдача (работать много, просить мало) как чтото хорошее, капиталисты хорошо на этом паразитируют :)
ㅤ
Нету чужих желанных:) В любом продукте сложнее хеллоуворлда будет разброс мнений и необходимость каких-то решений со стороны команды или руководства, которые будут противоречить моим
тогда FI и только свои. самый правильный путь
Bohdan
https://en.wikipedia.org/wiki/Financial_independence
Ну до этого ещё дорасти надо, наскрести стартовый капитал
ㅤ
раньше начать, раньше наступит результат, на это нужно время + адекватная рыночная оплата своего времени.
Bohdan
раньше начать, раньше наступит результат, на это нужно время + адекватная рыночная оплата своего времени.
В итоге всё равно приходим к тому, что нужно некоторое время пострадать ради светлого будущего
Bohdan
Что мало отличается от вкалывания ради досуга
ㅤ
если цель стоит того, имхо стоит
Danila Matveev
а кто-нибудь скальные доклады слушал? что там было?
имхо, доклады (из прослушанных мной) Олега Нижникова и Никиты Волкова по качеству подготовки были лучшие.
а, например, про crdt хоть и интересная мне тема, но слушать была достаточно тяжело
Kirill
@optician_owl про crdt согласен - как-то скомканно оно получилось
Aleksei (astynax)
Если бы я знал, что треть посетителей будут те, кто умеет в Хаскель, то я бы похардкорнее слайды сделал :(
Aleksei (astynax)
Хотел по-проще, чтобы сторонних людей не напугать, а вышло, похоже, слишком скучно
Aleksei (astynax)
В итоге к моему докладу нехаскелисты, похоже, устали от этого нашего хаскеля и на моём докладе было мало народу и большинство - хаскелисты как раз (видимо, про скалку не захотели слушать)
Danila Matveev
Про скрипты хотел послушать, но доклад был параллельно другому интересному.
Ну и у ряда скалистов также вышло.
Cheese
@optician_owl, Kirill, мы решили, что уровень владения темой у слушателей сильно разный будет, не хотели делать слишком просто для одной половины или слишком сложно для другой, а золотую середину, видимо, так и не нашли
Danila Matveev
не, дело не в сложности, а в том что он выглядел не отрепетированным что ли
Cheese
не, дело не в сложности, а в том что он выглядел не отрепетированным что ли
да, Коля немного напутал от волнения. или я тоже плохо рассказывал?
Danila Matveev
вместе, синхронность была не очень
имхо, ожидаемо было, что Николай не оч хороший оратор, но вы вдвоем примерно одинаково робко смотрелись.