ну в скале нету когеретных классов типов

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

Да это так, развлечения дла мозга. А что есть в хаскелл, для построения кластерных систем? Например раскидать поведения по нескольким нодам которые друг про друга знают и умеют роутит сообщения к нужной, где есть некий стейт для выполнения операций?

cloud haskell ?

да

http://haskell-distributed.github.io/documentation.html#concurrency-and-distribution

а почему мы его не используем, что бы ноды снюхивать? вместо серванта?

звучит как то что надо

не знаю

@notxcain если что его меинтейнеры в этом чятике в том числе

@voidlizard он большой зверь очень в некоторых случаях проще архитектуру можно построить

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

но суть та же класс для поиска 1 и класс для постиска списка

попробовал, брат жив, но пока Всё Плохо: getIdx :: IdxLookup ixs i v => GenStore ixs k v -> Key i -> GenIdx i v и мне понятно, сообщают, что ixs :: [*], из-за определения GenStore. И я как-то туплю и не могу найти куда мне в эту сигнутуру вписать ixs :: [*]

так, пора гист завести видимо

не понимаю вопроса :(

да, очень путано

https://gist.github.com/lolepezy/272ee5d708319f040673e150a7ccea60

вот

getIdx не тайпчекается, потому что нужен констрейнт, что ixs :: [*]

и я чотопэ

то есть там возможно много остального неправильного тоже, но там я потом разберусь

я через час где-то посмотрю, ок?

без проблем, конечно

https://gist.github.com/lolepezy/272ee5d708319f040673e150a7ccea60

эта штука не компилируется из-за неизвестных имён Store, Idx и подобных. Это баг или фича?

это фича, там скорее всего еще куча зависимстей

будет длинно

попробовал, брат жив, но пока Всё Плохо: getIdx :: IdxLookup ixs i v => GenStore ixs k v -> Key i -> GenIdx i v и мне понятно, сообщают, что ixs :: [*], из-за определения GenStore. И я как-то туплю и не могу найти куда мне в эту сигнутуру вписать ixs :: [*]

конфликтуют использования ixs в GenStore и в IdxLookup: в первом ixs имеет кайнд [*], а во втором ixs используется как тип параметра функции, потому он должен быть каинда *. Последнее ограничение явно сообщит комилятор если явно попросить его в IdxLookup сделать каинд [*] для ixs (class IdxLookup (ixs :: [*])).

угу там proxy ivs, написатт

конфликтуют использования ixs в GenStore и в IdxLookup: в первом ixs имеет кайнд [*], а во втором ixs используется как тип параметра функции, потому он должен быть каинда *. Последнее ограничение явно сообщит комилятор если явно попросить его в IdxLookup сделать каинд [*] для ixs (class IdxLookup (ixs :: [*])).

Ага, спасибо, вечером поиграюсь ещё

поменяй ivs там на Proxy ivs

Всем доброго времени суток. Есть ли тут emacs-соводы? Не подскажите ли какой набор плагинов на сегодня лучше всего юзать для разработки haskell?

Spacemacs+haskell-layer удобен. Все сразу из коробки работает.

У меня просто emacs - я так понял layer - это сборка пакетов? слой такой?

ща гляну из чего оно состоит

http://spacemacs.org/layers/+lang/haskell/README.html

У меня просто emacs - я так понял layer - это сборка пакетов? слой такой?

spacemacs это фреймворк для емакса

Да. И в этом его плюс. Что ничего не нужно самому конфигурировать.

я пробовал spaceemacs - както монстровато.. обратно на emacs со своими настройками переполз. Ну дело вкуса. Настроить самому наоборот в кайф

тут сам слой описан, можно глянуть что за пакеты https://github.com/syl20bnr/spacemacs/tree/master/layers/%2Blang/haskell

ну во общем я так понял в этом слое самое актуальное и рабочее на сегоднешний день. Благодарю! Попробую разобраться

а менеджер проектов какой используется. Ну чтобы создать проект. Произвести его тестирвоание и сборку?

Это cabal - я правильно понял?

щас многие любят стеком пользоваться

небезосновательно

поменяй ivs там на Proxy ivs

Хм. Где там? Мне же нужен не только тип, но и сам Indexes, чтобы значение достать их него

indexes у тебя не *

он не может существовать на value level

ага!

https://gist.github.com/lolepezy/272ee5d708319f040673e150a7ccea60#file-kv-hs-L47 эта строка

как proxy - ты передать можешь

окей, это ясно. Но как тогда доставать что-то из конкретного value?

примерно понял куда копать

смотря тчо за value

обновил до чего-то компилирующегося

теперь правда он жалуется на overlapping instances при попытке вызвать getIdx

сделал ему -XOverlappingInstances и оно даже нормально работает теперь

спасибо! @qnikst

А elm сильно на haskell похож? насколько зрелый проект?

http://elm-lang.org/

просто интересует какой бы я зык на фронте юзать, чтобы на haskell похож был.

ghcjs

purescript

если "что бы похож"

elm менее похож, чем перечисленное.

А elm сильно на haskell похож? насколько зрелый проект?

Elm ужасно не похож. Но если хочешь разобраться с синтаксисом, то это самое лучшее. Ключевые отличия (как по мне) 1. Strict evaluation 2. Система типов. У elm-а все намного проще и примитивнее. После Хаскеля будет не хватать многих фич типа тайпклассов, экзистенциальных типов и тп. 3. Ну и если говорить про синтаксис, то самое знаменитое (привет всем!) это сигнатуры типов (:: vs :). Так же elm взял некоторые плюшки из f# вроде (|>) и (<|). 4. Elm позиционирует себя как язык, который не выбрасывает исключения в рантайме. В эту сторону идёт ещё работа. В частности, неправильно сформированные регулярки на данный момент могут кинуть страшный джсный эксепшн. Это плохо. Касательно х-ля. Ну есть у нас partial functions. В целом, если хочешь просто что-либо выучить, то elm не будет потерей времени и поможет тебе в последующем изучении х-ля, как по мне. Ну и да, он продакшн ready.

ghcjs

Да вот привык уже на клиенте clojurescript а на сервере clojure юзать. Тут тоже так хочу. В общем нравится то что всетаки попытки есть и их много. Пока что больше приглянулся ghcjs

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

Elm ужасно не похож. Но если хочешь разобраться с синтаксисом, то это самое лучшее. Ключевые отличия (как по мне) 1. Strict evaluation 2. Система типов. У elm-а все намного проще и примитивнее. После Хаскеля будет не хватать многих фич типа тайпклассов, экзистенциальных типов и тп. 3. Ну и если говорить про синтаксис, то самое знаменитое (привет всем!) это сигнатуры типов (:: vs :). Так же elm взял некоторые плюшки из f# вроде (|>) и (<|). 4. Elm позиционирует себя как язык, который не выбрасывает исключения в рантайме. В эту сторону идёт ещё работа. В частности, неправильно сформированные регулярки на данный момент могут кинуть страшный джсный эксепшн. Это плохо. Касательно х-ля. Ну есть у нас partial functions. В целом, если хочешь просто что-либо выучить, то elm не будет потерей времени и поможет тебе в последующем изучении х-ля, как по мне. Ну и да, он продакшн ready.

благодарю за хороший обзор. Всетаки тут вопрос стоит не просто выучить а применять еще активно. С таким прицелом.

"Elm is basically PureScript with the adult content removed"

ELM = entry level mathematics :)

https://ruhaskell.org/posts/events/2017/04/06/meetup-2017-spring-videos.html

ненавижу гейзенбаги

ненавижу гейзенбаги

в х-ле же их типа не должно быть

но они везде есть

ну блин

привет! нет ли инструмента, который чекает цепочку редукций простых лямбда термов?

редуцирую на листке, но постоянно ошибаюсь где-то

на два поста выше - расцениваем как спам?

пожалуй, да.

@voidlizard это было в несколько групп распихано сразу

про лямбда-термы? Это какой-то некст-левел спам)

чем хорош телеграмм — спамеры тут пропадают бесследно

я ведь не про ооп спросил

строгие хаскелисты

ленивые

А пример можно?)

привет! нет ли инструмента, который чекает цепочку редукций простых лямбда термов?

редуцирую на листке, но постоянно ошибаюсь где-то

решил. let T = (\fx. f(f x)); in T T T f x

это из Введение в функциональное программирование. John Harrison глава 2, задача 2