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

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

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

может я просто ничего не понимаю, но показалась странной задача написать подможество 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 — часто

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

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

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

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

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

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

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

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

GC?

Да.

а STW есть?

Да

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

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

Да

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

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

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

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

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

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

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

(Они есть у GHC)

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

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

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

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

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

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

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

Хаскелисты не ругаются.

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

Вот как это вообще связано?

Хаскеллисты не делают необоснованных выводов.

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

Нет

Пока TypeFamiliesDependencies не допилят - нужно

Зачем?

Или новые overlapping overlappable не требуют прагмы?

Они ничего не требуют

Можно просто ставить их при объявлении инстанса.

Т.к. сами являются прагмами.

А ну ок тогда