Телеграмм чат группы haskellru страница 14804

По крайней мере мне она бросается в глаза раньше чем стрим

01:04пожаловаться #1

В доке

01:04пожаловаться #2

Короче во вреке стримов нет

01:04пожаловаться #3

Поэтому мне и пришлось кусок на чистом хттп клиенте сделать

01:04пожаловаться #4

я начинаю понимать почему я не использовал wreq

01:04пожаловаться #5

в этот раз меня хватило на пару вечеров

01:04пожаловаться #6

ладно потерплю пока

01:05пожаловаться #7

Так ли тебе нужен стриминг?

01:06пожаловаться #8

кана

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

и вот так тоже можно:

data WAT = WAT GHC.Type

01:06пожаловаться #9

простые сигмы вышли да

01:11пожаловаться #10

кана

простые сигмы вышли да

таким образом чтобы получить Dependent Haskell, нужно просто задепрекейтить уровень значений и добавить ИО на уровень типов

01:11пожаловаться #11

Maxim Koltsov

Так ли тебе нужен стриминг?

ваще не нужен

01:13пожаловаться #12

кана

простые сигмы вышли да

можно же написать

type family GetEven (x :: SomeEven) :: N where
  GetEven (MkSomeEven @m _) = m

01:13пожаловаться #13

для экстра-сигмовости синтаксиса

01:13пожаловаться #14

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

01:14пожаловаться #15

и может сразу и с тайп-левелеом

01:14пожаловаться #16

ой нет

01:14пожаловаться #17

ващет на тайплевеле так можно писать уже

01:14пожаловаться #18

ну вот я так и пишу

01:15пожаловаться #19

а че на термлевеле-то до сих пор не сделали