(сорри я немного не серьёзен, устал, а завтра опять вставать рано и на капельницы ехать)

но вообще пример выше валидный

ещё валидный - embedded / или какой realtime

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

надо написать high-performance лапши

поэкспериментировать и выкинуть

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

если сильно high-performance, ещё нужно кучу SIMD и прочей веселухи, не факт, что haskell - best fit

(кодогенерация не в счет)

это те где для остальных нужно написать 16 строк чтобы скомбинировать готовые либы?

Я тоже не серьёзен. Например делаешь разбор грамматики. Казалось кто как не хаскель. Делаешь всю побочную фигню, потом поступаешь к алгоритму CYK И там грид с ссылками на парентов

и?

кстати, а вы знали что Tsuru Capitals оказывается живы и здоровы?

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

если сильно high-performance, ещё нужно кучу SIMD и прочей веселухи, не факт, что haskell - best fit

а нет либ, подобных numpy/tensorflow для питона, чтобы high-performance штуки на C/C++ высокоуровнево собирать на haskell?

hmatrix, всякие байндинги к лапакам есть

но их качество странное

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

Ну ссылки во все стороны

https://github.com/fpco/inline-c-nag вот типа такого, например

(тут я не эксперт) но _простой_ data analysis, на питонах с пандасами или R plyr и т.п. писать кажется проще

простой в смысле прошёлся и выкинул

а нет либ, подобных numpy/tensorflow для питона, чтобы high-performance штуки на C/C++ высокоуровнево собирать на haskell?

я не думаю, что есть хорошая реализация многомерного массива

в интерактивном режиме

а чем многомерный массив отличается от одномерного, кроме наличия функции индексации?

я как-то смотрел, как high-performance hash tables реализованы (https://hackage.haskell.org/package/hashtables) — и там все было очень низкоуровнево и неприятно

и?

Ну двусвязные списки неприятно делать. Ещё неприятнее когда структура 2мерная

господа, такой вопрос: я хочу в некотором кэше держать exception в течении какого-то короткого времени, чтобы не бомбить IO, если там ошибка какая-то временная. не будет ли у меня каких-то проблем связанных с хранением именно exception? Типа там какой-нибудь большой и толстый stack trace, загадочные утечки памяти и т.п.

нет обычный тип

в общем что обычно случается, то и тут

круто

@qnikst

правильно?

👍

Как наш уютный хаскеля чатик наполонили he?

*hr

Да тут и помимо hr, много разных людей. Я вот с чатика clojure сюда перекочевал

а можно ссылку на чатик про clojure,

?

https://t.me/clojure_ru

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

гуглится с трудом, всякие sum и union выдают маны по соответствующим функциям из sql

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

вот в project-m36, который, вроде как, представляет из себя настоящую реализацию реляционной модели, есть поддержка ADT https://github.com/agentm/project-m36/blob/master/docs/new_datatypes.markdown#implementation-for-haskell-types

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

Не знаю насчёт формального метода, но в project-m36 используют не особо что-то умное на первый взгляд. В ячейках хранятся объекты типа Atom. Поиск по сорцам показывает, что произвольные ADT хранятся этим конструктором типа Atom: data Atom = ... | ConstructedAtom DataConstructorName AtomType [Atom] То есть по сути просто название конструктора и список полей. Как видно, не очень типобезопасно, ибо без зависимых типов грустно в этом случае (они могли бы помочь). Но у них есть инстансы для Generic, они используют женериковое представление структуры ADT, чтобы конвертировать в такой тип. Если их реализация протестирована норм, то проблем не должно быть.

спасибо, я в сырцы не смотрел

костылик, значит... я бы с радостью заюзал project-m36, но его даже на хакадже нет, так что вряд ли оно готово для продакшона

так что пока у меня постгрес :)

o/

\o

зига слева зига справа

Это sopvop?

похоже)

✌️

o/ это стандартное приветствие в еве

у меня ева ассоциируется только с евангелионом

не, другая ева 8)

я наверное догадался какая

как правильно ссорудить API для базы данных, если это может быть RDBS или Key-Value в зависимости от настроек?

у кого-нить есть best practices?

мне кажется у тебя API к RDBMS будет как к KV

вот наверное

но с другой стороны у меня в KV есть функции типа :: .. -> (A -> A) -> ..

причем этот A иерархический, который может в частных случаях маппиться на пару таблиц

а переизобретать ORM не хочется

возможно можно разбить на методы, это в принципе норм

Sup хасканы

Yo

\o

(\o o*2)

а кто знает Test.QuickCheck.Monadic есть в tasty?

У меня задача допилить воркера который исполняет задачи из amqp: задачи принимаются через одну очередь, ack/nack в зависимости от успеха выполнения задачи, и результаты складываются в отдельный очереди в зависимости от типов данных. Все не могу разобраться с amqp либой и что тут thread-safe а что нет. Вот пример из доков: https://github.com/rabbitmq/rabbitmq-tutorials/blob/master/haskell/worker.hs Можно ли делать ackEnv metadata внутри другого треда? Я envelope передаю через TBQueue, но при больших объемах месседжей в tcp пишется ересь и сервер rabbitmq закрывает коннект.

вот код который все спавнит. Уже сделал чтоб каждый воркер открывал новый коннект к rabbitmq

@blkmrkt не знаю особенностей в хаскелле, но обычно внутри одного коннекшена создают несколько каналов. Вот как раз каждый канал должны быть per thread и их нельзя шарить

@blkmrkt не знаю особенностей в хаскелле, но обычно внутри одного коннекшена создают несколько каналов. Вот как раз каждый канал должны быть per thread и их нельзя шарить

хмм окей, а я уже создавал по коннекшону на тред и `ack`ал из нового коннекшона-канала конверт из другого контекста

ack-ать из того же треда надо насколько я помню

Нам ( hxr.team ) нужно еще людей на Haskell, Web, PostgreSQL. Удалёнка, лучше фуллтайм. dmz@hxr.team

Опять hr-ы пролезли ;)

wait oh shi...

что-то ураганный спрос на х-л в этом сезоне