Size: a a a

2020 December 04

AG

Alex Gryzlov in haskell_blah
обычно стягивают не все конструкторы, а какие то полезные их комбинации
источник

AG

Alex Gryzlov in haskell_blah
как вон в OddList из второй ссылки
источник

к

кана in haskell_blah
или как -0 = +0 в моем не самом удобном для работы int
источник

к

кана in haskell_blah
это как бы склеит два множества интов в одной из точек
источник

к

кана in haskell_blah
как например склеиваются 1/2 и 4/8
источник

к

кана in haskell_blah
это тоже разные термы
источник

AG

Alex Gryzlov in haskell_blah
точнее склеит два множества натов в инты
источник

к

кана in haskell_blah
но аксиоматически они равны
источник

ХГ

Хаскелль Моисеевич Г... in haskell_blah
Aliester Crowley
на самом деле достаточно тупой сюжет у Хранителей, для меня они вытягивают только на Роршахе и художественном стиле
Имел в виду Толки(е)на. А про Роршаха Рондарев недавно задвигал...
источник

DB

Danil Berestov in haskell_blah
ща пажадите, я отвклёкся...
источник

AC

Aliester Crowley in haskell_blah
Хаскелль Моисеевич Гопник
Имел в виду Толки(е)на. А про Роршаха Рондарев недавно задвигал...
а, Хранители Кольца
источник

к

кана in haskell_blah
data Rational where
 rat : Int -> Nat -> Rational
 reduce : forall n m c, rat (c * n) (c * m) = rat n m
источник

DB

Danil Berestov in haskell_blah
вообще говоря вот эти аксиомы понял, но точки пока всё равно не понял)
источник

DB

Danil Berestov in haskell_blah
надо про точки почтитать что ле
источник

к

кана in haskell_blah
точки это просто значения от 0 до 1 в R например
источник

к

кана in haskell_blah
в кубиках там не так
источник

DB

Danil Berestov in haskell_blah
а как
источник

к

кана in haskell_blah
там свободная деморгана алгебра, а в arend просто юнит, где две точки, которые равны друг другу
источник

AG

Alex Gryzlov in haskell_blah
не, вообще интервалы как раз в кубах появляются
источник

AG

Alex Gryzlov in haskell_blah
просто они там по разному устроены в разных диалектах
источник