Vitaly
Да, всё так
A64m
если сделать из гофера хаскель практически получилось, но он через несколько лет после того и закончился, то у следующей пары попыток особо ничего не вышло
Кабачок
melvin
Кабачок
Потому что есть знак
melvin
:/
Leonid 🦇
https://www.reddit.com/r/haskell/comments/7is4m5/what_popular_databases_are_written_in_haskell/
https://www.reddit.com/r/haskell/comments/7iumzb/haskell_mutable_collections_low_performance_vs/
ну что за день
Leonid 🦇
Ну и всем радоваться, у hie есть логотип....
A64m
радости немного мешает льющаяся из глаз кровь
A64m
очень смешно, конечно, но с другой стороны как писать такой код на хаскеле никто особо не учит
https://i.imgur.com/xmbQH51.png
Зигохистоморфный
Влод
три буквы для названий. как-то щедро
Зигохистоморфный
https://www.dcc.fc.up.pt/~pbv/aulas/tapf/slides/stmonad.html
A64m
задепрекейтили бы array уже
Влод
зачем` _ <- `?
Зигохистоморфный
A64m
да
Влод
ну да и зачем
Зигохистоморфный
да
покажи тот же пример на ST и Vector
A64m
да не зачем, человек хаскеля не знает просто
Зигохистоморфный
да
или ты про Mutable Vector?
A64m
да
Влод
аа ок.
Зигохистоморфный
да
ага) http://vaibhavsagar.com/blog/2017/05/29/imperative-haskell/
Egor
Влод
ну а в целом же код с векторами так уродливо и выглядит
ну и с конкаренси
кана
зачем` _ <- `?
ну вообще hlint типа выдает, что есть не m (), то желательно добавить _ <-
Влод
ну да примерно такого ответа ожидал
A64m
кана
типа чтобы явно показать, что есть какой-то результат, просто мы его игнорим
Влод
чёто хакадж 504 выдаёт весь вечер
Leonid 🦇
Хвр забанил тебя на Хакадже ?
кана
нужен срочно твит
Влод
ох, давно не писал в этом твитере, но кажется другого выхода нет
кана
у меня хакадж работает
Влод
https://hackage.haskell.org/package/vector/docs/Data-Vector-Storable-Mutable.html
(ладно, сейчас открылась)
Влод
кана
наверное чувак просто со скалы пришел
кана
там без _ <- нельзя вроде
A64m
это растовик пишет
Зигохистоморфный
!!! http://hackage.mobilehaskell.org/
Влод
> mobile hasekll cross compilers
То есть они известные, проверенные и ими никого не удивишь?
A64m
удивишь еще как
Vladislav
Надо б им с Keera Studios усилия объединить
кана
может кто рассказать, для чего в gcast в Data.Typeable нужен c? (https://hackage.haskell.org/package/base-4.10.1.0/docs/Data-Typeable.html#v:gcast)
кана
сейчас в Identity заворачиваю, но вообще как-то странно выглядит это
кана
ну возможно сам gcast создавался для конверсий в конструкторе, но тогда не ясно, почему есть gcastN (который и нужен мне), но нет castN ( (Typeable t, Typeable t’) => t a -> Maybe (t’ a) )
igo
Andrey
сразу бан?
Dmitry
Ага
kosc
kosc
У нас был только Lisp из ФП, а Haskell я уже сам начал учить, по своей инициативе.
kosc
Хотя на скрине конечно код стрёмный ппц.
kosc
А оператор $ имеет какое-то отношение к монадам? Я знаю, что
<$>
- это вроде как инфиксная форма fmap, а вот про $ что-то пока не понял.
kosc
Часто вижу его вместе с do-нотацией.
Andrei
не имеет, это композиция
кана
f $ x = f x
это просто чтобы скобки лишние не ставить
было
f (do …)
стало
f $ do …
.
кана
к монадам отношения не имеет, к композции тоже
kosc
Ок, понял, спасибо.
Leonid 🦇
В треде про раст быстрее хаскеля самое жуткое это советы типа "попробуй с llvm"
Anonymous
Leonid 🦇
https://www.reddit.com/r/haskell/comments/7iumzb/haskell_mutable_collections_low_performance_vs/
Anonymous
Что вообще значит фраза “попробуй с llvm”
Anonymous
Как бэкэнд шоль?
Leonid 🦇
Ну а что ещё?
kosc
А разве в 2к17 скорость разработки не важнее скорости работы кода?
kosc
Во всяком случае, в этом моём питоне принято так считать.
Dmitry
@hotkosc как и в 1995-ом, тут не имеет смысла обобщать
Dmitry
например, в некоторых продуктах основное - это скорость. ниже скорость - меньше денег
kosc
Ну а в среднем по больнице-то?
kosc
Разве выигрывает не тот, кто написал хуже, но первый вышел на рынок?
Dmitry
нет смысла обобщать
Dmitry
когда-то так, когда-то не так
Aragaer
я, к счастью, занимаюсь тем, что продукт уже на рынок вышел
Dmitry
в вебчике это так, но вебчик умирает
Aragaer
и надо сделать чтобы он работал быстрее
kosc
И что же заменяет вебчик?
Anonymous