Ну, если там сугубо Haskell, то сложнее, конечно. Нас спасало то, что PureScript - это, на самом деле, JavaScript, только в обертке. Чтобы персистить сам текст программы и потом запускать его на node.js использовался простой, но все же трюк из мира JS

Да, мне вот интересно насколько это применимо к другим рантаймам (более конкретно, JVM)

Я для этого namepsace в катипе импользую

там context же для этого?

класть структурированные данные в namespace странно

вообще namespace и environment по функциональности пересекаются там

Да, мне вот интересно насколько это применимо к другим рантаймам (более конкретно, JVM)

к любому применимо

Там очень просты данные. Типа какая подсистема

в общем-то это tagged dsl

в namespace - да подсистемы

ещё мне нужно теги, типа user, workbook, session, transactionid

Да, мне вот интересно насколько это применимо к другим рантаймам (более конкретно, JVM)

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

чтобы можно было искать по логам в разных программах и разные срезы

Для llvm бекендов нет проблем с байткодом

Хаскелль через ghc api тоже можно в байткод прогнать

> lua /me triggered

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

Меня всегда останавливало, что непонятно какие вообще там оптимизации остаются

для записи не очень больших скриптов

есть что получше?

есть ещё angel script, он поприятнее

для людей которые знают питон и си

есть наноси

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

всегда можно сделать closure map как в distributed-process

с песочницей, чтобы сегфолты не делали

всегда можно сделать closure map как в distributed-process

Не знаю, что это значит

мапа static pointer на функции, как я понял

да просто мапа функций

идеально чтобы язык поддерживал call with CC

это накладывает ограничение, что на всём кластере должен быть один бинарь?

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

это накладывает ограничение, что на всём кластере должен быть один бинарь?

да

на самом деле нет

старое решение без static pointer - не накладывает

там строки были?

но безопаснее с одним

да

сейчас там кстати выбор можно строка, можно поинтер

Мне это сильно напоминает soap или просто сервант уже

ну когда это делали выбора не было

но смысл в том, что так можно хранить и сериализовать вещи

в любом языке

free monad тоже можно заделать, но в других языках как-то tagless подход выглядит проще

а для сериализации переводить tagless в tagged

@VividDesires с другой стороны я не думаю, что я когда-нибудь вернусь к тому проекту

:/

А ведь хаскелл идеально подходит для скриптования, так как есть проверка на чистоту

Но адекватных средств интеграции так и нет

меня искренне бесит какй интерфейс там заделали

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

А как по-другому? Компилить скрипт в стейтмашинки?

да

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

как обычная программа на Haskell

Я делал доклад на fprog spb. Там был язык для стейт-машин в виде скриптов

(По факту)

там было так же плохо как у нас

(или хуже)

Есть ссылочка?

(или лучше)

но не принципиально

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

Сделай

Есть ссылочка?

Есть: https://www.youtube.com/watch?v=DhG00dyAN9g Код здесь: https://github.com/graninas/transition-graph/blob/d29535f72eda7f1e54c6083fe809ce2ab814b72c/test/TransitionGraphSpec.hs#L28 Но конкретно у этой штуки очень узкая специализация.

Если бы я хотел составлять eDSL для стейт-машины, я бы по-другому сделал.

наш DSL сейчас IP другой фирмы, к сожалению

Минусы аутсорса :c

слайд из презентации СПЖ по состоянию гхц ————————————— GHC 8.8 линейные типы изменения в ллвм бекенде мутабельные объекты ————————————— ну да, нуда

ERROR: S client not available

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

> A PhD candidate asked me yesterday, innocently "so when we have conferences, it is to present & talk about the work we are researching. I don't understand...what is it that they talk about at developer conferences?" про то, как типы не натягиваются на кровь адама и ноосферу

> A PhD candidate asked me yesterday, innocently "so when we have conferences, it is to present & talk about the work we are researching. I don't understand...what is it that they talk about at developer conferences?" про то, как типы не натягиваются на кровь адама и ноосферу

Очень понятный вопрос, для phd дей понятно как делать == сделано

Вещи о которых девы разговаривают, в прочем то понятны и концептуально нового вклада в науку теоретическую не несут. При всём, это не отменяет их полезности

Есть: https://www.youtube.com/watch?v=DhG00dyAN9g Код здесь: https://github.com/graninas/transition-graph/blob/d29535f72eda7f1e54c6083fe809ce2ab814b72c/test/TransitionGraphSpec.hs#L28 Но конкретно у этой штуки очень узкая специализация.

Вот был бы ты раньшн

Я был раньше :(

Я был раньше :(

33 минуты, Exists какой-то очень стрёмный. data Exists f where Exists :: f a -> Exists f mkExists :: forall f a. f a -> Exists f mkExists = Exists runExists :: forall f r. (forall a. f a -> r) -> (Exists f -> r) runExists f (Exists x) = f x

foreign import data Exists :: (Type -> Type) -> Type mkExists :: forall f a. f a -> Exists f mkExists = unsafeCoerce runExists :: forall f r. (forall a. f a -> r) -> Exists f -> r runExists = unsafeCoerce вот такой еще можно

а зачем unsafeCoerce?

Тут нельзя unsafeCoerce

там по моему была пурса

а в пурсе зачем?

в пурсе не описать data Exist выше

только unsafe

там нет GADTs?

нет

TIL

data Exists f = Exists (forall z. (forall r. f r -> z) -> z) mkExists :: forall f a. f a -> Exists f mkExists x = Exists (\f -> f x) runExists :: forall f r. (forall a. f a -> r) -> (Exists f -> r) runExists f (Exists x) = x f так работает

33 минуты, Exists какой-то очень стрёмный. data Exists f where Exists :: f a -> Exists f mkExists :: forall f a. f a -> Exists f mkExists = Exists runExists :: forall f r. (forall a. f a -> r) -> (Exists f -> r) runExists f (Exists x) = f x

Я его уже давно на GADTs заменил

А так, это копи-паст из PureScript

@emilmirza будет жить. Поприветствуем!

@emilmirza будет жить. Поприветствуем!

Я даже почти испугался. Привет всем

Я даже почти испугался. Привет всем

Привет!

Хай!

А так, это копи-паст из PureScript

Не копипаста

Ты как-то смержил тип на хаскеле и функции с пурсы

Не копипаста

https://github.com/graninas/transition-graph/blob/d1d5126bfc475e8e2b795f12140258ff726e1f00/src/Data/Exists.hs https://github.com/purescript/purescript-exists/blob/master/src/Data/Exists.purs Найди десять отличий.

https://github.com/graninas/transition-graph/blob/d1d5126bfc475e8e2b795f12140258ff726e1f00/src/Data/Exists.hs https://github.com/purescript/purescript-exists/blob/master/src/Data/Exists.purs Найди десять отличий.

Ну говорю, тип

Тип с хаскеля

Но ведь unsafeCoerce там небезопасен

Обсуждайте, если хотите, но я на этом остановлюсь