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

Size: a a a

Haskell

1659 membersпожаловаться на группу

2020 December 12

Ilya Kos in Haskell

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

источник

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

Ilya Kos in Haskell

По сути я хочу обозвать type hole

источник

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

Ilya Kos in Haskell

Конкретный юзкейс у меня есть


run :: Eff _ x -> Eff '[] x

источник

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

Ilya Kos in Haskell

Офк реализация это поочередная интерпретация каждого эффекта

источник

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

Ilya Kos in Haskell

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

источник

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

Ilya Kos in Haskell

Я хочу дать название этому _

источник

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

Ilya Kos in Haskell

Я могу что-то подобное сделать вообще?

источник

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

Ilya Kos in Haskell

Потому что я не вижу почему такое технически не возможно с сегодняшним тайпчекером

источник

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

Ilya Kos in Haskell

По сути я хочу type variable на уровне библиотеки

источник

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

Ilya Kos in Haskell

А не на уровне выражения

источник

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

Jerzy Syrowiecki in Haskell

может быть, через ScopedTypeVarialbe захватить

источник

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

кана in Haskell

Ilya Kos

Конкретный юзкейс у меня есть


run :: Eff _ x -> Eff '[] x

а можно пример где будет использоваться этот же _ в другом месте?

источник

15:53пожаловаться #12

кана in Haskell

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

источник

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

Ilya Kos in Haskell

источник

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

Ilya Kos in Haskell

Я хочу чтобы Effs выводилось из run

источник

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

Ilya Kos in Haskell

Тобы например эту конкретную монады переиспользовать в других типах

источник

15:59пожаловаться #16

Ilya Kos in Haskell

Это freer-simple

источник

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

Ilya Kos in Haskell

Аргумент к genericClientHoist сейчас не важен

источник

16:00пожаловаться #18

Ilya Kos in Haskell

Просто какое-то natural transformation

источник

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

Kirill Valyavin in Haskell

А именованные дырки только на термлевеле?

источник

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