youtube.com
"зависимые типы — это алкоголики"
Я вот думал раньше, что Java — она toolable, потому что у ей type-aware автокомплит можно легко сделать, ну типа
string.| // <- autocomplete here
показывает методы. А думал с хаскелями не прокатит, т.к. хрен ты методы найдешь.
А щас дотупил, что ведь у Хаскелей же то же можно делать, но хотя на женерик листах далеко не уедешь ибо тысячи их, так ведь и проблема-то не с ними, а с тем чтобы фильтровать все методы работыющие на определенных типах, а их-то сильно меньше..
data Point = Point Int Int deriving Show
let distance (Point x y ) (Point x1 y1) = sqrt $ fromIntegral $ abs(x-x1)+abs(y-y1)
let move (Point x y ) dx dy = Point (x+dx) (y + dy)
let somePoint = Point 10 20
Нажимаешь автокомплит, а оно тебе комплитит не после, а до:
move (Point 3 3) 4 5 | <-- this is cursor
autocomplete:
distance _ $ move (Point 3 3) 4 5 причем выражение твое покоцано, но ясно что оно.
show $ move (Point 3 3) 4 5
— ...... и посортировано значит с умом, по статистике, и позволяет стало быть
нажимаешь distance, и тебе тут же:
distance | $ move (Point 3 3) 4 5 и $ добавлен, и курсор поставлен.
нажимаешь потом еще раз автокомплит, а оно тебе:
somePoint
(Point )
Сложно форматировать псто, но чото легче стало, ибо будущее отчотливо (мне). Вон некий известный хаскельный крендель устроился в jetbrains, не иначе как они задумали что-то.
GHC switches upon memory allocation (which admittedly is a very common occurrence in Haskell programs).
github.com
Кто там охуевал от папира про GRIN? Короче тут эта ...
СЯУ, что ghc-mod распространяется под лицензией AGPL и не поддерживается компилятором 8.6.
в пулл реквестах есть экспериментальный упоротый билд с поломкой обратной совместимости..
рано или поздно, но этот момент приходит, ты начнёшь писать компиляторы.. в моем случае, это патчи в компилятор в JS.
А есть в рантайме ghc костыль чтобы посмотреть на жизненный цикл всех запущенных тредов? Не... Я конечно могу написать свой async, но хотелось бы до этого не доводить.
Добавил роботу немного кококонкурентности. Процесс был очень волнительный поскольку reload был очень hot. Но оказалось что конкурентность воткнутая за пол часа работает как часы. А вот функции стандартной библиотеки я за время перекладывания бумажек с места на место забыл. Ну и логгер стал показывать не то что нужно от жизни такой. Заодно немного почистил в коде амфапарашу доставшуюся мне от меня из прошлого.
Песни все прямо как про второтег названы (см картинку).
И особенно меня, например, пугает Out of Nothing.
`IORef Settings` в прилoжении, где Settings — целикoм читаются из пачки dhall файлoв, — лютейший вин!
эдакий hot reloading версия лайт.
не счесть, скoлькo нервoв и времени сэкoнoмленo!
1. libzmq — устанoвить руками: zeromq.org
2. git clone github.com
3. cabal sandbox init
4. cabal update
5. cabal install
6. ...
7. PROFIT
$ .cabal-sandbox/bin/zmcat
cli <pub|sub|push|pull|rep|req> <uri> [key-for-pub-or-sub='']
поймал еще один баг в network. Заодно и узнал о существовании abstract unix sockets. А вот те, кто последний год правил network, еще не знают.
Вышел network-3.0.0.0
Мне пришли люли за то, что не поставил upper bound в спеке и сломалась сборка моего пакета на hackage.
Полез чинить.
Нашел ебаный пиздец как они год этого не заметили в network-3.0.0.0 : github.com Любые ошибки в connect тупо теряются, исключение прилетит только на следующем вызове. Впрочем, понятно как: никто не делает важных действий между connect и send, они один за другим идут обычно. Это мне с тестами повезло, от автора пакета остались.
А Nike ничего так, с черточкой github.com
А в вашем проекте деньги являются абелевой группой?
а для шифрования кук что есть? clientsession или что-то другое? хочу как-то идентифицировать сокет и персистить..
первую страницу налабал на новом фреймворке:
— 1 тип данных рендерится,
— 10 разных рекордов
— 4 вида элемента
— 5 событий
— рендеринг через blaze-html
— если проводить аналогию с Data.Aeson, то для "Value" ещё не покрыт "Object".
— куча бойлерплейта.
— связь событий с моделью прописывается отдельно, т.е. потенциально: "забыл", и привет баги в рантайме.. надо думать новый констрейнт, чтобы прямо в MarkupM (или обёртке) можно было события назначать, ну чтобы хотя бы как в пурскрипте.
слишком много размерностей и возможностей в каждой из них (многомерная хрень).. надо каждый случай покрывать примерами (сильно потом)..
складывается впечатление, что надо делать отдельный сайт, по типу вебшарпера..
описывать в туториале все размерности и то, как ими пользоваться..
под размерностями я понимаю:
1. модель коммуникации
— broadcast/multicast
— выделенная сессия
2. реализации MVC концепта, нужны примеры (список простых примеров уже есть, бери и делай)
3. формат данных:
— текстовый (+)
— бинарный (на следующей странице обкатаю)
4. клиентские (JavaScript) события (условно, тысячи их.. это целый мир джаваскрипта, на который я замахнулся). Пока покрыто лишь 5.
у вас кстати stack ls snapshots работает? У меня он почему-то выводит список файлов в директории стака, вместе с ридмишками и прочей херней
stackoverflow.com
Вот пример почему в языке должны быть исключения из коробки а не троллейбус из хлеба. Если б всё было как надо dsReify зафейлился бы с исключением что именно и где не нашлось, и его можно было бы прямо так и передать юзеру, или завернуть в своё если уж так приспичило. Но по-моему можно было бы и не заворачивать, тот явный фейл что там есть это отчаянная попытка сузить поиск проблемы хотя бы до пакета. А так вот: cannot find a type, и сиди дебажь что он там не смог найти.
И ведь если сейчас даже что-то там заимплементировать — всё равно код уже отравлен многочисленными ручными перебросами, и это не будет работать как должно.
совпадение? не думаю..
mail.haskell.org
одолел, короче, эту ботву с базой пакетов. есть замечательный пакет ghc-paths. в нём пути к тулам определяются через переменные окружения, например, GHC_PACKAGE_PATH.
cabal-install, ghc и ghc-pkg растут и развиваются. и тут приходит стэк и начинает переписывать переменные окружения, т.к. у него есть минимум 2 базы пакетов (от снапшота, компилятора) в ~/.stack. ещё есть ~/.../.stack-work. там тоже есть, да. по ходу дела во время билда stack делает своё страшное дело и затирает HASKELL_SANDBOX_CONFIG, устанавливая его в базу пакетов снэпшота (!). вот это вообще ни разу не тривиально. я думал, что "песочница" — это база локальная, из .stack-work. а оказалось, что нет. снэпшот — это песочница. таким образом, все extra-deps, которые кладутся в .stack-work, остаются не удел и не видны.
придумал вообще рабочий костыль.
если вижу в пути ".stack", то пускаю "stack exec — ", иначе — оставляю значение из ghc-paths (либо дефолтное).
Вот вы говорите что Haskell это приседания, что его долго изучать, что он сложный. Я на весь Haskell вместе с монадами потратил 2 недели в 2012 еще, а деривейшены на nix-language уже 3 неделю пытаюсь научиться писать, и до сих пор не понимаю как они работают вообще работают. Модный динамический, простой в использовании кудах кукарек.
А как написать instance PrimMonad для newtype Foo a = Foo (CatchT (ST s) a)? Что-то я все нужные написал, а на этом завис.
hackage.haskell.org
Так и вижу все 13 листов висящие на стене вместо обоев, лол.
попробовал перевести. с предметом знаком не особо тесно, сильно не ругайте
User: Привет, я бы хотел услышать шутку про Haskell.
Haskell: Ок. Почему курица переходит дорогу?
User: Не знаю. Почему?
Haskell: Это на самом деле очень просто. Лучший способ понять это исходит из идеи контравариантного функтора. Как вы возможно знаете, функтор это всего лишь отображение из одной категории в другую с сохранением структуры категории; гомоморфизм между категориями, если хотите. Теперь, некоторые конструкции, которые мы хотим выразить, выглядят как функторы но в некотором смысле "поворачивают морфизмы наоборот". Мы называем это контравариантыми функторами. Как вы возможно заметили, мы безусловно можем определить контравариантный функтор как просто ковариантный функтор из двойственной категории, если ссылаться на очевидное соответствие. Конечно, вы уже заметили очевидную связь, которую это имеет с обобщением топологических предпучков теории категорий — предпучок на категории это всего лишь контравариантный функтор из частично упорядоченного множества открытых множеств в категорию множеств. Теперь, становится очевидно, что...
зопилил тест который запускает explain на все sql запросы, пока не сохраняет в файлик, а только проверяет корректность того, что все отрабатывает. Когда-нибудь когда будет время нужно будет превратить это в source плагин, чтобы ручной работы не было совсем.
можно ли к типу в линзе в сеттерах частично применить traverse?
т.е. допустим, 80% рекордов — это обёртка над Text, хочу написать меньше кода.
а остальные можно и руками добить.
Решил, наконец, поиграться в метамодельки. Веселье заключается в том, что каждому рекорду соответствует ещё его метадата. В связи с чем, возникает хороший вопрос... Допустим, у меня есть тип данных A с именем объекта (aName) и ещё 8 рекордами (aParam1 .. aParam8). Поскольку я помимо данных из базы тяну ещё и метаданные, по которым их идентифицировать, и не люблю ддосить базу, то мне надо вытащить за раз одним селектом 19 полей (имя, идентификатор и тип объекта (3) + параметр и его айдишник x 8 (16)) из базы. Persistent со своим RawSql отваливается на подступах с 8 колонками.
postgresql-query потянет? или что-т другое?
TFW писал весь день пропозал для генерации линз, начал расписывать чем плохи generic-lens а они оказывается не плохи и ни чего делать не надо.
хм twitter.com
хочется странного.
1. host=osx.
2. stack docker собираю под линукс
3. в локальной pkg-db, соответствующей ghc-8.4.3-linux, есть пакет, лежит в .stack-work внутри соответственно.
4. в глобальной pkg-db, соответствующей ghc-8.4.3-linux, нету этого пакета.
5. в родительском пакете юзается ghc-paths, в котором явно триггерится ghc-pkg. опытным путём было установлено, что глобальный.
как поместить пакет из local db в global db?
сейчас проект собирается с хаком:
export GHC_PACKAGE_PATH=$(stack path --ghc-package-path)
А что смогут дать линеаризованные типы по сравнению с тем же MVar, который даже тривиальные дэдлоки ловит, правда уже в realtime при сборке мусора?
А вот в Хаскеле partial application убогий:
f x y z = x + y * z;
а хочешь частично применить только x и z — и болт: изгаляйся. f1 x z y = f x y z; q = f 10 3; q 2
В kdb+ веселуха,
f:{[x;y;z]x+y*z} — определение ф-ии
var1:f[10;;3] — частичное применение, параметры разделяются ";".
(Ну а если последние параметры надо оставить висяком, то и точки с запятыми тоже не нужны).
var1[1] — дает 13
var1[2] — дает 16
короче, пока я не узнал, все ломал голову, где же функция flip.
А вот на тебе, на лопате, не подавись!
кто-нибудь юзал componentM? оно как?
Моноид — офигенная тема!