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

В принципе, то что я хочу, можно не делать

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

На самом деле у run будет немного другой тип, но не суть

16:02пожаловаться #2

в некоторых языках такие вещи решаются оператором typeof : Expr -> Type

f :: _ -> a
f = ...

type family Arg t where
t (a -> _) = a

g = h @(Arg (typeof f))

16:03пожаловаться #3

Kirill Valyavin in Haskell

Похоже, что для тайплевела нет такого синтаксиса

16:03пожаловаться #4

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

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

th не хочу

16:05пожаловаться #6

Это cheating

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

Вопрос про сам язык

16:05пожаловаться #8

почему это думаю сложно сделать как фичу языка

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

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

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

как вот описать, что в run Effs должен именно выводиться, а примении он дожен подставляться, а не тоже выводиться?

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

type A = _
f :: A -> B
g :: A -> C

вот где он должен выводиться, а где подставляться и проверяться?

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

Maxim Koltsov in Haskell

Какое это имеет отношение к haskell?

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

кана

type A = _
f :: A -> B
g :: A -> C

вот где он должен выводиться, а где подставляться и проверяться?

Unification не имеет направления. Поведение такое же как если я у функции тип не указываю – выводится в рамках одного модуля, а за пределами модуля только проверяется

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

То есть выводится и там, и там

17:08пожаловаться #15

А если не получается, то ошибка компиляции

17:09пожаловаться #16

Форматтеры для кабал файлов еще не придумали?

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

Хочу чтобы список модулей сортировался

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

Maxim Koltsov in Haskell

Я когда надо вимом сортирую

17:16пожаловаться #19

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

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