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

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

источник

22:30пожаловаться #7

Alexander Vershilov in Haskell

В общем в том виде 0 не представим

источник

22:30пожаловаться #8

кана in Haskell

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

x <- getInt
if x == 0 then <вот тут уже статически известно что x = 0 и можно отправлять в код, который требует 0> else ..

источник

22:31пожаловаться #9

кана in Haskell

и поэтому это и работает

источник

22:31пожаловаться #10

Danil Berestov in Haskell

A64m AL256m qn I0

pn это прокси его надо пихать в функцию KnownNat n => Proxy n ->

Тогда нужно бует все числа литералами писать?

источник

22:31пожаловаться #11

A64m AL256m qn<co... in Haskell

Maxim Koltsov

Так в хаскеле то их нет

шоб это работало завтипы не нужны, нужны экзистенциальные типы.
завтипы нужны шоб писать все функции не трижды: для значений, для синглетонов и для типов а один раз

источник

22:31пожаловаться #12

A64m AL256m qn<co... in Haskell

Danil Berestov

Тогда нужно бует все числа литералами писать?

нет, число можно откуда угодно брать

источник

22:32пожаловаться #13

Danil Berestov in Haskell

A64m AL256m qn I0

нет, число можно откуда угодно брать

А как тогда оно будет Known?