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

иначе если б знали мы бы вычислили IsEmpty

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

Он в рантайме инстанс генерирует

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

Ты такое сам сделать не сможешь

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

как с Typeable ситуация?

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

Какая ситуация?

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

ну то что инстанс Typeable реализован для любого типа a самим компилятором

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

I O in Haskell

ИМХО KnownSymbol не надо понимать как "известный тип", это значит только что мы можем получить соответствующую ему строку

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

Тут плохо что мы используем слово “знаем”. Сам тип мы не знаем. Это просто класс так называется

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

да

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

Поэтому тут и кавычки

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

с такой семантикой понятнее, спс

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

Да, реализован

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

В чем вопрос?

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

ну мне показалось что это ровно такой же случай

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

"компилятор генерирует инстанс"

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

да

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

все, это был уточняющий вопрос)

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

чтобы понять правильно ли я понял

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

Такой же кейс

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

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