> нет ни одного > выбрал одну правильно

На какую версию мне стоит посмотреть?

драйвера к postgres?

драйвера к postgres?

Да. Чтобы получить представление о хорошем и эффективном коде

есть 3 либы которые можно назвать драйвером: - postgres-wire (ссылку вы видели выше) - postgresql-libpq - odbc посмотрите например postgresql-libpq например как самую популярную

хотя я не уверен, что там хороший и эффективный код

liftA* там нету

даже не знаю в какой либе дров к pg они могли быть

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

15 процентов дошли до «конца» в первый раз. из них дошло 9 процентов на втором курсе. итого, в хаскеле до финала доходит 1,6 процентов.

Это со степика

вторая часть скучновата и сбивчива

там возникает очущение, что ты что-то делаешь, но не ясно зачем

там возникает очущение, что ты что-то делаешь, но не ясно зачем

А третью часть есть по чему делать?

в формате степика даже не знаю

там возникает очущение, что ты что-то делаешь, но не ясно зачем

ну часть с парсером весёлая, но это самое начало

ну там начинаются копипасты инстансов 100500 раз

конечно, о хаскелистах как о небожителях думают, раз они прошли такой отбор.

т.е. оно *нужно* для понимания

но не все выдержат

демидовича тоже не все прорешивают

даже не знаю в какой либе дров к pg они могли быть

Вот еще вариант https://github.com/nikita-volkov/hasql Тот код, найти не могу, но мне точно не привидилось

текущая версия либы никиты это все же не драйвер

он хочет драйвер сделать, насколько я знаю

так то есть postgresql-simple поверх postgresql-libpq

может оно?

@willbasky третья часть на мой взгляд разумна только специализированная

т.е. изучение какой-то области с примерами на Haskell

@willbasky третья часть на мой взгляд разумна только специализированная

тоже вариант. По базам данным, например.

демидовича тоже не все прорешивают

это где?

системы типов, компиляторы те же

ML

это в универах

@willbasky третья часть на мой взгляд разумна только специализированная

realworld haskell?

Кто-нибудь встречал туториал по squeal кроме того, что есть в доках и на ютюбе от автора?

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

Кажется, я не планировал сюда что-то писать, сорян

все ок

GHC 8.6.1 вроде релизнулся? Что там интересного?:)

вроде нет еще

я в гите видел

http://git.haskell.org/ghc.git

а, тег поставили.

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

а что нового тут написано https://downloads.haskell.org/~ghc/8.6.1-beta1/docs/html/users_guide/8.6.1-notes.html

языковые фичи новые - DerivingVia и QuantifiedConstraints

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

ну и всякие синтаксические мелочи вроде for_ [0, 10_000 .. 100_000] \i -> print i

:doc в этом?

а, да, доки еще

можно в гхци смотреть

еще хип-вью из коробки

больше можно плагинами делать

ну и конечно новая фича оптимизатора, оптимизирующая 1 в 3, которая попала в гхц только благодаря единственному человеку, который про нее не забыл - мне https://ghc.haskell.org/trac/ghc/ticket/9136#comment:26

GHC now supports British spelling of GeneralizedNewtypeDeriving. Nice

языковые фичи новые - DerivingVia и QuantifiedConstraints

Квантифаент констрейнт выглядит круто

как сделать всегда верный констрейнт вида Type -> Constraint

class Any a instance Any a очевидно

ERROR: S client not available

там возникает очущение, что ты что-то делаешь, но не ясно зачем

?

Такое же ощущение изучения сферических коней возникло

как сделать всегда верный констрейнт вида Type -> Constraint

type Any a = ()

type Any a = ()

тут нет типа Type -> Constraint

Any x тут неделим, Any сам по себе нельзя использовать

тут нет типа Type -> Constraint

{-# LANGUAGE ConstraintKinds #-} {-# LANGUAGE KindSignatures #-} type Any a = (() :: Constraint) λ> :k Any Any :: * -> Constraint

ну не получится тут отдать Any сам по себе

Any x тут неделим, Any сам по себе нельзя использовать

а как его хочется использовать?

да, твой вариант class + instance лучше

class X a where type C a :: Type -> Constraint instance F Int where type C Int = Any

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

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

в которые нет ни одного движения, хоть вроде ghc даже форкали и писали рабочий вариант

class X a where type C a :: Type -> Constraint instance F Int where type C Int = Any

class X a where type C a b :: Constraint instance X Int where type C Int b = ()

(const ()) ограничение кажется лишней сущностью, когда можно взять ()

class Any a instance Any a class X a (c :: Type -> Constraint) | a -> c instance X Int Any

можно вот так

в которые нет ни одного движения, хоть вроде ghc даже форкали и писали рабочий вариант

нужны полноценные зависимые типы

class X a where type C a b :: Constraint instance X Int where type C Int b = ()

ух, спасибо

это стало решающим

{-# LANGUAGE RankNTypes , TypeOperators , MultiParamTypeClasses , TypeInType , TypeFamilies , UndecidableInstances , StandaloneDeriving #-} import Prelude hiding (Functor, map) import Data.Kind import Data.Function (fix) class Category cat where cat_id :: a `cat` a cat_compose :: b `cat` c -> a `cat` b -> a `cat` c instance Category (->) where cat_id = id cat_compose = (.) instance Category (~>) where cat_id = Nat id cat_compose f g = Nat (runNat f . runNat g) class (Category cat1, Category cat2) => Functor cat1 cat2 (f :: obj1 -> obj2) where type C f (a :: obj1) :: Constraint map :: C f a => (a `cat1` b) -> (f a `cat2` f b) instance Functor (->) (->) Maybe where type C Maybe a = () map = fmap instance Functor (~>) (->) Fix where type C Fix f = (Functor (->) (->) f, C f (Fix f)) map eta = fix (\f -> Fix . runNat eta . map f . unFix) newtype f ~> g = Nat { runNat :: forall x. f x -> g x } newtype Fix f = Fix { unFix :: f (Fix f) } deriving instance Show (f (Fix f)) => Show (Fix f) toList :: Maybe a -> [a] toList (Just x) = [x] toList Nothing = [] x :: Fix Maybe x = Fix (Just (Fix (Just (Fix Nothing)))) y :: Fix [] y = map (Nat toList) x

наконец описал инстанс функтора для Fix

повторяешь https://hackage.haskell.org/package/categories?

повторяешь https://hackage.haskell.org/package/categories?

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

классы и у Кметта, и у @kana_sama свои

повторяешь https://hackage.haskell.org/package/categories?

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

классы и у Кметта, и у @kana_sama свои

не надо мне про Кметтовские пакеты рассказывать) я знаю про них, и про внутреннее устройство

не надо мне про Кметтовские пакеты рассказывать) я знаю про них, и про внутреннее устройство

потому что ты сам Кметт?