рекурсивные алиасы не работают же

ты не придерайся, это даже не код, а просто задумки

и где тут рекурсия?

А зачем тут type-level const?

Интересные бывают у людей ожидания от -XStrict https://ghc.haskell.org/trac/ghc/ticket/14686

а, там Const (если ты не исправил конечно)

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

-XStrict было ошибкой

почему?

Бесполезно и смущает неофитов

-XStrictData норм

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

Ну это да

но в замысел репортящего мне удалось проникнуть, действительно, если в where не ленивый ПМ то он бесполезен, строгим по умолчанию должен быть let, а where или вообще запрещен XStrict или оставлен ленивым, что довольно мозговзрывно, но для строгих языко вэто нормально, в них масса всяких ленивый специальных случаев

Так ведь where это просто сахар для let

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

платиновый тред! сенсация! обнаружена типизация в питоне! пруфлинк: https://github.com/python/mypy

Шок! Для Python возможна статическая компиляция! http://cython.org/

Шок! Для Python возможна статическая компиляция! http://cython.org/

это отдельный язык, частично совместимый с Питоном

это отдельный язык, частично совместимый с Питоном

Зачем ты публикуешь об эталонном ненужно информацию?

я не понимаю твой язык

:картинка_с_леопольдом:

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

есть какой-нибудь jython для этого

один раз пытался джайтоном что-то запустить, он сказал "у вас слишком большая функция"

один раз пытался джайтоном что-то запустить, он сказал "у вас слишком большая функция"

Разработчиков вдохновил Clean Code

тогда он еще не должен запускать код, не покрытый тестами

и не работать, пока не покажешь зеленый браслет в камеру

возможно так и есть

/me рассказал ту самую байку про ghc удалявший не тайпчекающиеся файлы.

https://github.com/ocharles/dhall-to-cabal/blob/master/dhall-to-cabal.dhall

Нет, спасибо

Да норм же! Можно делать инклюды и генерацию

morte-to-dhall-to-hpack-to-cabal не за горами

Можно ещё квайн сделать dhall2dhall

одного меня напрягает форсированное убегание от .cabal в stack?

rio и прочейм

Меня тож

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

блин как же ещё бесит ссылка на stackage вместо документации

у меня день бешения

блин как же ещё бесит ссылка на stackage вместо документации

в то время когда в нормальных либах ссылка на хакедж?

меня бесит что кабалисты пять лет кабал 2 делают и все никак не доделают. Я, сначала, надеялся что они из-за войны со снойманитами побыстрее зашевелятся.

не надейся

https://github.com/ocharles/dhall-to-cabal/blob/master/dhall-to-cabal.dhall

выглядит ужасно

в то время когда в нормальных либах ссылка на хакедж?

в нормальных на хакедже документация ане ссылка на стакадж

выглядит ужасно

Если везде будет Dhall, то привыкнем ;)

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

в нормальных на хакедже документация ане ссылка на стакадж

ну это зачатую роскошь

как это?

повезёт если на хакедже будет модуль туториал

у большинства пакетов все же есть документация

мне модуль туториал не нужен никогда был

но не буду говорить что он не нужен

меня документация в среднем устраивает

https://github.com/bos/aeson

слышал это популярный пакет

пакет лол

какие-то проблемы с документацией там?

популярный пакет в хаскеле: нету другого пакета который делает то же самое

ну или у меня с поиском

чего нужно найти?

чего не удалось найти т.е.

ERROR: S client not available

ну блин. мне лень писать. короче не знал как бы подступиться к нему и так познакомился с сайтом артёма

который с попугаем на аватарке. вы знаете

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

у аесона хорошая документация с примерами же

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

ну твики выведения инстансов еще

ну если с внешним миром общаешься, то нужно

причем это-то как раз документировано

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

ну можно пописать про Encoding/Aeson и как связаны

там есть вопросы

ну если с внешним миром общаешься, то нужно

ну, если жизнь заставляет - понятно, я про то что если можно не связываться - лучше не связываться

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

ну.. часто надо

с самим Value я средствами аесона никогда не работал, только призмами из соотвествующей библиотеки

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

суммы тоже замечательные

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

"продумана каждая деталь" – ирония?

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

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

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

Во что чат превратили

вроде же весь спам удален?

или я не все кнопки на бане прожал?

Стиль форматирования жутковат https://github.com/ocharles/dhall-to-cabal/blob/master/lib/Distribution/Package/Dhall.hs

bugReports <- return ""

нужно читать с 1.5 межстрочным интервалом

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

bugReports <- return ""

что не так?

Я так рефераты писал

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