во всяком случае не докер

как не докер, если там внутри докер

сам софт вокруг поприятнее

кто-нибудь tapl прорешивал?

дошел до первого упражнения и понял, что нужно прорешать SF, чтобы доказать что-нибудь

SF ?

software foundations

Ни у кого кстати PDF по этому нет?

по кому?

logical foundations?

software foundations?

tappl?

первые 2 с их сайта качаешь или с гита,. последний наверное есть, но оно не свободное

software foundations?

Шитхаб ругается на слишком большой файл

https://softwarefoundations.cis.upenn.edu/lf-current/lf.tgz

@acrawley ^

Спасибо

оно больше упражнения чем книга

внезапно https://github.com/python/mypy

С чего это внезапно то?

Сто лет в обед уже и самой туле mypy и PEP-доке про это дело

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

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

Ну-к?

mypy еще деды писали, лол

Товарищи, Elm годно?

http://reasonablypolymorphic.com/blog/elm-is-wrong

ведь можно грубо сказать что они эквиваленты? — type Cont r a = forall b. (a -> Const r b) -> Const r b ~ type Cont r a = (a -> r) -> r

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

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

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

А зачем тут 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, то привыкнем ;)

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

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

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

как это?

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

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

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

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

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