стек это попытка уйти от cabal hell

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

чтобы все зависимости были совместимы между собой, они лежат в stackage

парни (или девушки) кто на джиесике писал должны понять чего я хочу)

типа я такой пишу stack install myawesomepackage —save и он мне сохраняет в build-depends его, например

ладно, я похоже просто не знаю как работает stack, поэтому пойду-ка я сначала почитаю)

В build-depends чего? В *.cabal может быть несколько вещей

Library, executable(s), test-suite(s), benchmark(s)

указывать это через ключ

я так понял они просто .cabal не могут распарсить или не видят в этом удобства

Англоязычный чат по хаскеллю завезли?

их же полно, англоязычных, в irc, например, на freenode есть #haskell

не хочется ставить пожитки старого

мне кажется имелся ввиду телеграма чат)

ну бывает

но успел устареть

и самое главное в том

что она переживет телеграм

что она переживет телеграм

бота ирки для телеги еще никто не запилил?

https://github.com/FruitieX/teleirc

ребят, а для тегов вы этим пользуетесь https://hackage.haskell.org/package/hasktags + https://github.com/grwlf/haskdogs ?

о, вроде норм работает, оставлю так пока

если ничего получше нет

мне сейчас задачка прилетела забавная

может я просто ничего не понимаю, но показалась странной задача написать подможество API на js’e, когда у них там уже Servant

какой в этом может быть смысл? серьезно, это не риторический вопрос (:

Servant смотрел красота?но дскрипт нафиг нужен?

Только auth не разобрался пока?Я думаю пока

Может кто подскажет: имеется `type DIM0 = Z type DIM1 = DIM0 :. Int' компилятор соглашается принять Exp DIM1, но не хочет брать `Exp (Z :. Int)` как тип. В чем тут дело?

Научитесь уже вместо "компилятор не соглашается" просто копировать сообщение об ошибке

[1 of 1] Compiling Main ( examples.hs, interpreted ) examples.hs:19:26: Illegal operator ‘:.’ in type ‘Z :. Int’ Use TypeOperators to allow operators in types

Тебе в ошибке написано, что делать.

Попробуй его прочитать.

Нужно включить расширение TypeOperators.

Если в файле, то {-# LANGUAGE TypeOperators #-}

Если в ghci, то :set -XTypeOperators

:. это вообще что?

Если в файле, то {-# LANGUAGE TypeOperators #-}

это до импортов пишется?

в самом верху

Работает !!!

?

:. это вообще что?

это оператор конструктора типа

это оператор конструктора типа

Чем же отличается от ::

Какие четыре точки?

{-# LANGUAGE DataKinds #-} {-# LANGUAGE DeriveGeneric #-} {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE GeneralizedNewtypeDeriving #-} {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE OverloadedStrings #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE TypeOperators #-}

{-# LANGUAGE DataKinds #-} {-# LANGUAGE DeriveGeneric #-} {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE GeneralizedNewtypeDeriving #-} {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE OverloadedStrings #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE TypeOperators #-}

funny

как бы мне это понять все не за 5 лет

не, пара простых расширений там есть

с которыми можно за час-два познакомиться)

это из тутора по Servant

http://haskell-servant.readthedocs.io/en/stable/tutorial/Server.html

что вы пишете обычно в default-extensions?

точнее вопрос: default-extesions in stack.yml vs in-place определения (как выше), когда что использовать?

когда надоест что-то вписывать в каждый файл - переноси в default-extenstions

что вы пишете обычно в default-extensions?

default-extensions: LambdaCase ScopedTypeVariables OverloadedStrings RecordWildCards RankNTypes GADTs TypeFamilies ConstraintKinds TypeOperators DataKinds PolyKinds UndecidableInstances InstanceSigs EmptyCase FunctionalDependencies MultiWayIf ViewPatterns StandaloneDeriving DefaultSignatures TemplateHaskell FlexibleInstances FlexibleContexts GeneralizedNewtypeDeriving

в рот мне ноги

Это из одного проекта

В других проектах, соответственно, плюс-минус то же самое

Всякие DeriveGeneric, DeriveFunctor, DeriveTraversable, etc — часто

ERROR: S client not available

В принципе в GHC можно спокойно почти любое расширение добавлять

Кроме IncoherentInstances (потому что ужас же, лучше бы его не было) и ImplicitParameters (они просто так себе)

OverlappingInstances использовать не нужно, потому что есть per-instance прагмы.

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

Если он заставит какой-то код работать, то это хрупкий код, на это нельзя полагаться

а вот как в этом хаскелле происходит управление памятью?

Автоматически

Автоматически

GC?

Да.

а STW есть?

Да

Поэтому для low latency приложений не катит

Только если извращаться по-страшному.

Да

а там разве не stop-the-thread? :)

В 2013 был STW, http://stackoverflow.com/a/15243682/1486400

Сейчас может уже доделали, не в курсе.

а как свое расширение написать?

Форкать компилятор и писать

то есть они все вшиты?

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

(Они есть у GHC)

Эти расширения как ?дзен

я хочу символы с долларами на символы с рублями заменить

но парсер не любит такой юникод

Сейчас подберу ненужный стикер

Лучше иди нахуй

я думал хаскелисты не ругаются матом

^ это не Хаскелисты выше