хаскель платформа перегружена)

слишком много всего

только из-за этого?

да не только, конечно

🤔

это и делаеться go get по дефолту

если не ошибаюсь, при этом всплывают те же проблемы, что и у кабала без песочниц, поэтому теперь либы копируют в папку vendor в репе

🤔

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

никогда не слышал, есть по-подробнее описание?

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

но не то чтобы эту борьбу кто-то описывает

достаточно просто не читать реддит

да они везде

в кафе

и #haskell

даже в этом чятике

никогда не замечал)

иногда бывают обсуждения

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

там которая сторона консервативная-то?

Кабал, думаю

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

так что может в 15-ом году комитетчики были консерваторы, но в 16-ом они уже прогрессисты

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

А комитечики любят правильно

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

да

революционеры?

Подскажите, пожалуйста, что значит запись [a -> a] ?

список стрелок

список функций из а в а

точно, теперь понятно)

/thread

Я всегда был за комитет, ибо они в ghc коммитят а снойманиты нет

кто-нибудь использовал System.LXC ?

Тут, помню, кто-то спрашивал зачем нужен fixed-vector-hetero. Я понял зачем он нужен: с его помощью можно единообразно работать с полями типов произведений. Делать например structure of arrays для произольных типов.

как?

Я написал такую штуку, пока только для boxed векторов. Но пока не выложил — зависит от незарелизенного fixed-vector-hetero

давно не видел fixed-vector-hetero, там поддержка имен полей теперь есть?

Нет, поддержку имён полей я приделал поверх

вообще некая гипотетическая комбинация generic-lens, rawr и fixed-vector-hetero могла бы быть чем-то вроде "нормальных рекордов" в смысле языка Ur (не пробовал его, у него вроде репла нету, но читал обзор Янга по рекордам)

вообще некая гипотетическая комбинация generic-lens, rawr и fixed-vector-hetero могла бы быть чем-то вроде "нормальных рекордов" в смысле языка Ur (не пробовал его, у него вроде репла нету, но читал обзор Янга по рекордам)

что за обзор?

http://blog.ezyang.com/2012/04/how-urweb-records-work-and-what-it-might-mean-for-haskell/

вроде этот, может еще что-то. давно это было уже

там рекорды по типу как в пурсе?

у меня были имена поверх vector-fixed-hetero с линзами

но я дальше proof-of-concept не пошёл оно страшное было и только для boxed

и lazy

http://www.impredicative.com/ur/tutorial/tlc.html

там они помощнее вроде, да и появились они раньше намного

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

и я решил для прикола запилить, но мне показалось неюзабельно

я как-то тоже делал рекорды, только на имплицитах, вообще после 8.0 их можно, наверное, нормальными сделать без ансейфкоэрсов везде

мне кажется Ur веб это нормальная модель как должен выглядеть веб

а не эта чехня что сейчас

я как-то тоже делал рекорды, только на имплицитах, вообще после 8.0 их можно, наверное, нормальными сделать без ансейфкоэрсов везде

а есть пример? может гист какой-то?

на гистах был

@A64m_qb0 а с перестановкой элементов там нормально?

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

а библиотечки для protobuf3 у нас нет?

у колмодина какая-то была

что-то я вчера плохо искал

https://github.com/awakesecurity/proto3-suite

хм.. не вижу.. инетересно

а есть пример? может гист какой-то?

{-# LANGUAGE ImplicitParams, ConstraintKinds, GADTs, RankNTypes #-} module Main where — начинается имплементация рекордов data Rec fields where Rec :: fields => Rec fields infixr 1 ? (?) :: Rec fields -> (fields => r) -> r Rec ? e = e — готово type RXY = Rec (?x::Int, ?y::Int) xy, xy' :: RXY xy = let ?x = 1; ?y = 2 in Rec xy' = Rec where ?x = 3; ?y = 4 foo :: RXY -> Int foo r = r ? ?x + ?y type RZ = Rec (?z::Int) z :: RZ z = Rec where ?z = 42 — type RXYZ = (RXY, RZ) type RXYZ = Rec (?x::Int, ?y::Int, ?z::Int) xyz :: RXYZ xyz = xy ? z ? Rec — concatenation t1 = foo xy t2 = foo (xyz ? Rec) — subtyping t3 = foo (xy ? Rec) main = print $ foo xy

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

я для нее пытался написать Show, Eq, сортировку по полям и т.д.

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

ну ок, а как твоя версия на ghc8 выглядит?

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

@A64m_qb0 а паттерн матчить можно?

кроме как view patterns-ами какими?

есть class IP (x :: Symbol) a | x -> a where ip :: a и ?x :: Int рассахаривается в IP "x" Int чтоб писать Show надо либо писать ip @"x" что до недавнего времени было нельзя, либо хаки с ансейфкоэрсами

кроме как view patterns-ами какими?

сходу не знаю и как вью-паттернами, разве что зарание обычный рекорд объявить кастить к нему и матчить - как в generic-lens

тут только именованными

ладно, вроде прокатывает и без

а так foo Rec = ?x + ?y вот и весь паттерн матчинг

А если foo Rec Rec ?

А разве до -XTypeApplications не надо было использовать прокси? То есть писать ip :: Proxy x -> a, а затем ip (Proxy :: Proxy "x") вместо ip @"x". Понимаю, что страшно, но раньше это не выглядело как грязные хаки...

эта идея вообще не тянет на полноценные рекорды конечно, но на ней можно сделать более щадящий синтаксис для объявления безымянных рекордов xy = let ?x = 1; ?y = 2 in Rec xy' = Rec where ?x = 3; ?y = 4 без каких-то там .= =: и прочего что обычно делают

А если foo Rec Rec ?

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

ну вот r | ?x = не хочет работать