кана
а RealWorld - некий интерфейс к системе
кана
а IO - довольно чистая обертка над ST
Евгений
Мне кажется, что разговоры про теорию типов в чатике по идрису вытесняют разговоры про идрис сюда :)
Евгений
@kana_sama, в смысле ST это хак? ST это конструктор конечных автоматов, вот уж чище и тотальней не бывает.
Единственный костыль это prim_WorldType, насколько я понимаю:
https://github.com/idris-lang/Idris-dev/blob/master/libs/prelude/IO.idr
кана
насколько я знаю, фишка ST в том, что он единожды аллоцирует память
кана
то есть это что-то вроде мутабельных переменных
кана
речь про haskell, не idris
Viacheslav
а вы точно про один и тот же ST говрите?
Viacheslav
а господи
Viacheslav
нет, вы про разные ST
кана
я про Control.Monad.ST, ессно
Viacheslav
а @elemir90 видимо про https://github.com/idris-lang/Idris-dev/blob/master/libs/contrib/Control/ST.idr
Влод
в идрисе и хаскеле очень разные st?
Viacheslav
ну в идрисе это совсем другая штука
Alex
в идрисе ST - что то типа трансформера индексированных монад
Alex
вообще да, обсуждения идриса в тематическом чате приветствуются :)
Donat
Бананы и линзы обратно что ли умер :(
Anatolii
там отпуска наложились у ведущих
Donat
Окей, а то я беспокоюсь
Дима
кана
Что за RealWorld? Понятие вообще не гуглится
http://hackage.haskell.org/package/base-4.10.0.0/docs/Control-Monad-ST.html#t:RealWorld
Nikita
привет всем
Nikita
может кто посоветовать хорошие блоги про haskell
Nikita
я только этот знаю
Nikita
https://joyofhaskell.com/blog.html
D
https://www.fpcomplete.com
Artem
Гонзалес же
http://www.haskellforall.com/
Artem
Well-typed ещё
https://www.well-typed.com/blog/
Пипони
http://blog.sigfpe.com/
D
Если ты крутой, то есть
Artem
Очень широкий вопрос. Во-первых, где. Во-вторых, да, надо быть senior (не спрашивай, как им стать без вакансий для juniors)
Anatolii
Заходи на gitter и там проскакивают вакансии
Anatolii
Тут тоже
Anatolii
Не надо быть senior, но понимать конечно надо, напиши пару проектов и выложи на гитхаб
Anatolii
Какой-то Todo лист
Anatolii
Может игру какую
Anatolii
Это очень поможет
Aleksei (astynax)
Да даже для слегка миддлов есть работа уже
Anatolii
Ты ещё много заметишь 😀
Anatolii
Пиши, задавай вопросы в этом чате или в гиттере, всегда помогут
Danila Matveev
Есть дорога через скалку)
кана
folks, писал ли кто-нибудь бэкенд на хаскеле?)
Alex
т.н. haskallator
кана
нужно написать один микросервис, хочу на хаскеле попробовать, благо он очень небольшой (5 эндпоинтов). Какой стек использовать?
Dmitry
servant
Aleksei (astynax)
Скилл какой?
Aleksei (astynax)
Хаскеля :)
кана
знаю идрис
кана
но опыта нет вообще
Anatolii
Смело
Aleksei (astynax)
тогда servant не напугает :) (после идриса)
Dmitry
откуда все знают идрис?
Dmitry
что вы с ним делаете?
кана
То же, что и с хаскелем
кана
ничего
кана
чисто для изучения
Alex
никто не знает, только хвастаются :)
кана
Там еще есть данные, по возможности хотелось бы хранить их без базы. Дает ли этот сервант хранить данные между запросами?
Dmitry
даёт
кана
окей, спасибо
кана
а если хранить в файле/базе, то все окей?
Dmitry
зачем городить базу, если надо немного данных сохранить между запросами?
Dmitry
в чем проблема держать их в
IORef
или
TVar
?
Alexander
страннота какая-то в канале
Misha
Да, восемнадцать миллионов сообщений про монаду
Misha
и идрис
Anonymous
@voidlizard , это заканчивается тем, что у тебя в стеке монад появляется StateT SomeState, where SomeState = SS { foo :: TVar a, bar :: TVar b, ... } и ты повсюду в них читаешь/пишешь
NC
kir ты так говоришь, как будто это что-то плохоё https://www.fpcomplete.com/blog/2017/06/readert-design-pattern
Leonid 🦇
Почему StateT а не ReaderT?
Vasiliy
@voidlizard , это заканчивается тем, что у тебя в стеке монад появляется StateT SomeState, where SomeState = SS { foo :: TVar a, bar :: TVar b, ... } и ты повсюду в них читаешь/пишешь
не вижу принципиальной разницы между foo :: TVar a и foo :: DbConnection
Andrey
ну вот теперь в канале не страннота, а вполне обыденные вещи ))))
Vladislav
Модераторы?
Dmitry
Модераторы наверное спят :)
На самом деле модераторы не очень то и нужны. Просто если несколько человек зайдёт в канал этого спамера и нажмёт Report -> Spam то его автоматом забанит
Нет канала - нет спама, потом думать будут прежде чем рассылки устраивать
Andrew
Одного такого нажатия хватит чтобы заблокировать канал?
Vladislav
Alexander
Alexander
и это вполне нормально
Dmitry
сервер на пару эндпойнтов, и они не могут данные между вызовами в TVar подержать, куда этот мир катится блин.