а так вообще можно?

ну не непосредственно, а через другие. В нью-билде вообще можно емнип, он просто ворнинг выдаст

ну и потом в коде может оказаться два несовместимых байтстринга, например

никс вообще собирает для каждого пакета свой реестр ghc-pkg

если явно указать зависимость то можно наверно

надо смотреть как он передает зависимости дальше, если пропагейтит то х.з.

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

кстати new-build с nix:True вроде не работает

или с песочницами в общем с чем-то нужным он не работал

там всяких полезных install нету

с песочницами он не работает вроде, но там они и не должны быть нужны

так то я обычно им собирал

вроде все работало

но не для продукшона

и инсталл там вроде есть (но это надо из гита собирать, он вроде не зарелизен)

экзекутаблы ставит?

вроде да, но не тот что зарелизен

вот еще проблема, кстати, особо никого и не спросишь что там и как

#work #чятики > The attraction of the Haskell community for horrible syntactic ideas is amazing.

там почти всё в ишьюсах есть, не в чатиках

из локального флейма про синтаксис линейных типов

->. норм

я даже соглашусь, синтаксически хаскель становится в основном хуже только

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

->. нормальный, вот с полиморфными по линейности стрелками не так весело

:1-> и т.п. пугает

:-]

https://mail.haskell.org/pipermail/ghc-devs/2017-October/015036.html

PIE починили

каких флажков дописать к "stack test", чтобы было не "Exception: divide by zero", а поподробней?

--trace

кстати что он этим включает?

-xc -prof?

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

но в итоге трейс показало, спасибо

я какую-то фигню на типах написал https://github.com/cblp/crdt/blob/clock-as-parameter/lib/CRDT/Cm.hs оно работает, и даже правильно работает, но как-то странно выглядит пожалуйста, покритикуйте меня, расскажите, как это написать проще в частности, Clock/ClockF/ClockFC суть в том, что одни инстансы могут совсем не использовать часы и ничего про них знать не хотят, а другие используют и накладывают ещё какие-то ограничения на тип часов

невероятно, но в этих линейных обсуждениях чуть ли не единственный адекватный оппонент Картер Шонвальд. КАРТЕР ШОНВАЛЬД

он наш главный оппонент, ещё со статик поинтеров

я правда тут его дальше исключений не перечитывал

про анбоксед типы вроде нормальный вопрос

ага

просто обычно он пишет какую-то кашу и все съезжает с темы

а тут удивительно просто

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

просто потому что к него уже есть готовый вариант который чуть чуть допилили осталось?

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

А мне понравилось про операционный стол! Красивая метафора.

Ну тут Клайден, в принципе, в своем репертуаре, я его запомнил еще с большого рекордообсуждения, дискуссию он оживляет конечно (и я думаю здорово злит своих оппонентов), но тут что-то живость есть, а с содержательной частью не все хорошо, см. для сравнения что он пишет в Эйзенберговских пропозалах

а где почитать можно срачик?

https://github.com/ghc-proposals/ghc-proposals/pull/91

спасибо

http://githut.info/

ну вот очередное подтверждение что го не сильно-то по маргинальности от хаскелей-скал-растов отличается

ну вот очередное подтверждение что го не сильно-то по маргинальности от хаскелей-скал-растов отличается

плохой мем

ну вот очередное подтверждение что го не сильно-то по маргинальности от хаскелей-скал-растов отличается

Так это стата 2014 года же, го стал активно юзаться и появляется в компаниях по моим наблюдениям в течении последних года-два

а, точно, на дату то я внимания не обратил, тогда нет конечно, не подтверждение

Каждый раз, когда вижу эту вывеску, пытаюсь понять какие типы должны быть у этих функций.

Вечер пятницы - время для шутеек?)

Каждый раз, когда вижу эту вывеску, пытаюсь понять какие типы должны быть у этих функций.

Hominini a => a -> a

только про расширение вселенной и её конечность как на той неделе не надо

ну вот очередное подтверждение что го не сильно-то по маргинальности от хаскелей-скал-растов отличается

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

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

Общего только новостройки)

ну ок остановлюсь на этом

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

Это Санкт-Петербург, Ленинский проспект, 82

ничоси точность

2 сек в гугле

О, так это тупл, а не композиция. Много объясняет.

а тем временем пошла работа, скоро простому хаскелисту дадут возможность создавать ЗИЛЛИОНЫ ДИАЛЕКТОВ хаскеля: https://github.com/ghc-proposals/ghc-proposals/pull/92

о, ракетка!

нет, это поскучнее

/me пропозал не читал, но осуждаю

ПОДДЕРЖИВАЮ ПРОПОЗАЛ!

пора дать дорогу Идрису, у него на это вся надежда

пора дать дорогу Идрису, у него на это вся надежда

SML бы, да база библиотек маловата.

ну нет

ну нет

Чего? Минималистичный fp. Чистый и понятный

Синтаксис SML'я мне напоминает суровое паскальное детство

мне не напоминает