к
конечно, всякие
42# :: Int#
Size: a a a
2020 December 15
MK
ну что ты издеваешься-то
MK
:set -XMagickHashDB
ржу
MK
или как там пишется
MK
λ> :t 42#
42# :: GHC.Prim.Int#KV
:k Int# надо писать
MK
а, так изначальный вопрос криво сформулирован же
MK
потому что значений в кайндах быть не может
MK
ну может я тоже неправильно прочитал
к
потому что значений в кайндах быть не может
может! 'True это что по твоему, тип???
MK
начинается занудство
DB
разве не всё, что на представлено на уровне типов можно назвать типом?
KV
В общем всё ясно, качаю книжку по сишарпу
DB
В общем всё ясно, качаю книжку по сишарпу
перекатываешься?