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

он говорил, что использовал из для векторов AST и AST векторов и т.п.

вроде с linear-accelerate

я хочу что-то такое провернуть

Да помню. Тут вопрос что именно с екторами делать и что кодогенерировать

ну я хочу код для своих ODE бы генерировать

А как именно генерировать? accelerate использовать?

я думаю да

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

Я accelerate не использовал, только глядел поверхностно. Но как я понимаю она сильно отличается от Кметтовского подхота. Кметт использует всякую машинерию Traversable и родственных типов для манипуляыции AST. Это требует полиморфных типов, и бокшенья всего. Потом он из этого что-то генерит, что используется уже вне программы. Т.е. мне не очень понятно как вообще можно превратить AST во что-то быстрое _внутри_ программы. С акселерате главная проблема, к.м.к. — определение представления типов. Там используют structure of arrays. Определять это руками немного хлоподно

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

ну вот я и хочу так как кметт

грубо говоря мне не обязательна программа на haskell, если я получу быстрые си или фортран то меня это устроит

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

А есть ли что-то более мнее готовоя для такого?

угу

вот я и спрашиваю

я могу сделать какую-то свою тупую AST-шку

но неявно насколько это глубокая нора

По моему, очень. По сути это же будет компилятор

@catamorphism FYI y'all should probably update your stack versions to avoid issues with "shadowed dependencies. Most recent development stack has a workaround for the Cabal bug. There will be a new stable release of stack imminently. For now you can either do stack upgrade —git, or build from your own checkout of stack. Another option is to test out the prerelease binaries: https://github.com/commercialhaskell/stack/releases/tag/v1.6.0.20171022

но маловероятно что это cabal bug, максимум ghc

Thx, дома попробую

но главное что у них workaround уже есть

а да cabal

А что именно хлопотно?

Я accelerate не использовал, только глядел поверхностно. Но как я понимаю она сильно отличается от Кметтовского подхота. Кметт использует всякую машинерию Traversable и родственных типов для манипуляыции AST. Это требует полиморфных типов, и бокшенья всего. Потом он из этого что-то генерит, что используется уже вне программы. Т.е. мне не очень понятно как вообще можно превратить AST во что-то быстрое _внутри_ программы. С акселерате главная проблема, к.м.к. — определение представления типов. Там используют structure of arrays. Определять это руками немного хлоподно

при этом сам то accelerate мне и не нужен, все равно он для задач не подходит таких

чё обсуждаете?

кодогеренацию для линейной алгебры

точнее для того как имея linear пакет можно сделать вектора AST и сделать из них код

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

чего-то лор тухлый там доклад Хикки вбросили и ничего

мм а файловая система образует моноид?

Она образует фрактал боли и ужаса

мм а файловая система образует моноид?

Относительно какой операции?

Относительно операции cat file1 file2 > file3 :D

Это не операция над фс

объединения inode

списков inode

Относительно какой операции?

какой-либо

Относительно операции cat file1 file2 > file3 :D

Ну, если абстрагироваться, и сказать что это конкатенация, то образует. Список же.

😂

хом-функтор это функтор из произвольной категории в Set?

нет, это самый главный профунктор.

стрелочка как функтор от двух аргументов

C(-,=)

типа ты даешь ему два элемента из C и он возвращает тебе C(a,b)

стрелочку короч

хом-функтор это функтор из произвольной категории в Set?

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

"предпучок" это который presheaf?

господи, найс перевод

классика

Салют! Может кто-нибудь посоветовать какую-нибудь либу, на которую можно ориентироваться в плане организации и тп?

шо?

Имею ввиду хороший пример того, как должен быть организован код в либе

тесты/конфиги и тп

мы, как организация, полагаемся на base, bytestring, aeson, warp, text, servant ...

я подозреваю про code structure layout

src в src, тесты в tests, executable в app, например

или сырцы в src/lib, а приложения в src/exe-name

и все такое

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

stack new lolsies simple-hpack

Спасибо! Разибарюсь с кабалом, хотел вот глянуть конфиги и организацию других проектов

hpack нинужен

stack new lolsies simple-hpack

+1

hpack - норм!

Но не необходим, конечно

пока только common-deps как бонус

вроде в cabal так и не запилили, к сожалению

автоматическое добавление модулей, вот это всё

у меня нету strong opinion по поводу автодобавления модулей

хотя если бы cabal умел делать cabal update-cabal-file было бы норм

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

ghc-options: -Wall -Werror в топлвл. ибо нефиг.

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

и легко можно сделать common куски

но почему-то не сделали, или я попой читаю мануалы

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