Size: a a a

2021 June 08

JS

Jerzy Syrowiecki in Haskell
для f<n>() есть неопределённость, f<0>() и f<1>() отличаются
источник

к

кана in Haskell
так я не говорю про number
источник

к

кана in Haskell
я говорю про ТИП 0
источник

JS

Jerzy Syrowiecki in Haskell
и я про него
источник

к

кана in Haskell
хорошо, у тебя есть значение типа 0, какую информацию ты получаешь?
источник

JS

Jerzy Syrowiecki in Haskell
а f<null>() и f<void>() — одинаковая фигня
источник

JS

Jerzy Syrowiecki in Haskell
нет, у меня есть тип 0
источник

[

[BRM]White Rabbit in Haskell
Ну, например, что надо создать массив на 0 элементов
источник

к

кана in Haskell
нет, с чего бы
источник

G

GNU/Vsevolod in Haskell
еще есть never/any/unknown
источник

к

кана in Haskell
что
источник

[

[BRM]White Rabbit in Haskell
Мы передаём число в функцию не параметром, а типом в шаблоне
источник

к

кана in Haskell
f :: 0 -> 0
вот функция из нуля в нуль
источник

JS

Jerzy Syrowiecki in Haskell
если у меня типовый параметр принял значение 0 или 1, я получаю знание об этом параметре
источник

к

кана in Haskell
она может принять только значение 0 как аргумент, и вернуть только 0
источник

к

кана in Haskell
как и о null
источник

к

кана in Haskell
если у тебя функция принимает null, а не undefined, она значет об этом
источник

JS

Jerzy Syrowiecki in Haskell
потому что я не могу придумать ситуацию, где у них обоих была бы семантика, и она была бы разная
источник

[

[BRM]White Rabbit in Haskell
Разницу между 1 и 0 можно очевидно обработать, а между null и void - нет
источник

к

кана in Haskell
источник