генераторы в Питоне вообще в язык встроены, а в Хаскеле несколько библиотек

гринтреды в Хаскеле вообще в язык встроены, а в Питоне несколько библиотек

генераторы это list comprehension+ленивые списки?

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

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

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

генераторы-потоки-сопроцедуры — всё едино

(те потоки, которые не нити)

Господа, копаюсь вот в Data.Constraint и увидел там занимательнный тип

newtype a :- b 

где  :k a :: Constraint и :k b :: Constraint
Судя по описанию, он представляет собой следование, то есть "имеем в скоупе констрейнт a, значит имеем констрейнт b"
и наличие объекта типа :- означает что мы имеем в скоупе констрейнт b

я не могу придумать другого случая следования кроме как

class (Eq a) => Ord a

И по идее по дефолту должно выполняться, что Ord a :- Eq a , зачем для пруфа этого факта нужен отдельный тип? Разве если у нас в скоупе есть Ord a, не значит ли это что есть Eq a?

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

class A a where
class (A a) => B a where

instance A Int
instance B Int

proof :: B Int :- A Int
proof = ???

но понял что не совсем понимаю как его создать, ибо вид конструктора :-`меня смущает -- `Sub (a => Dict b) , а именно смущает наличие толстой стрелки внутри скобок

proof = Sub Dict не работает?

Тут про это рассказывают: https://www.youtube.com/watch?v=hIZxTQP1ifo

Примерно с середины пойдет то, что ты хочешь услышать

да, работает -__-
казалось бы до этого так писал, но линтер ругался (зря доверял видать)

{-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE ExistentialQuantification #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE UndecidableInstances #-}

data Dict a = a => Dict

newtype a :- b = Sub (a => Dict b)

class A a

class B b

instance A a => B a

a_imlpl_b :: A a :- B a
a_imlpl_b = Sub Dict

еще пример

спасибо
как раз хотел заодно спросить какую-то информацию на эту тему попросить, но даже не знал как в принципе эту тему назвать — формальные док-ва на констрейнтах??

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

_ :: A :- B = Sub Dict

constraint witnesses

спасибо

в целом a :- b и не нужен, можно просто опустить инстансы до первоклассных значений и использовать обычную стрелку

a_impl_b' :: Dict (A a) -> Dict (B a)
a_impl_b' Dict = Dict

справедливо