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

class Foo a where
    type FooType a q
    foo :: a -> FooType a q

instance Num n => Foo [x] where
    type FooType [x] g = g
    foo xs = fromIntegral $ length xs :: FooType [x] n

Почему жалуется, что "expected q, got n" в строке
foo xs = fromIntegral $ length xs :: FooType [x] n
?
Разве FooType не тайп-левел функция? Как ею пользоваться тогда (кроме простых случаев из вики)?
type FooType [x] n = n тоже не робит.

источник

21:02пожаловаться #5

Yuuri in Haskell

Когда я её читала (примерно в 2015-16), она была ну очень вводной

источник

21:07пожаловаться #6

[

[BRM]White Rabbit in Haskell

я треть примерно прочёл, повосхищался растом и закрыл

источник

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

Grigory Petrov in Haskell

image_2021-04-09_21-25-00.png

(4.56 Кб)

>force a thunk - интерпретировать задумку [Браг16]; вычислить переходник [Виль15]

источник

21:25пожаловаться #8

кана in Haskell

а q это вообще что? Откуда он берется, не понятно

источник

21:29пожаловаться #9

I O in Haskell

У вас foo должна возвращать FooType a q для любого q, а вы возвращаете из нее FooType a n для вполне конкретного n. Вы видимо хотели с помощью Num n => повесить констрейнт на q, но это просто создало новую типопеременную n, никак не связанную с q, вот типы и не совпадают. В instance head вообще невозможно повесить констрент на типопеременную которая не упоминается в самом классе, а только в его методах (ну кроме всяких ConstraintKinds).

источник

21:30пожаловаться #10

I O in Haskell

Этот Num n вообще только из-за AllowAmbiguousTypes скомпилировался IIUC

источник

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

XÆA-XII in Haskell

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

источник

21:34пожаловаться #12

XÆA-XII in Haskell

Из-за ленивости