Size: a a a

2020 December 04

KV

Kirill Valyavin in haskell_blah
А смысл изобретать кубы, если не надо вычислять?
источник

к

кана in haskell_blah
ну упрощает доказательства же
источник

VD

Velvet Darkness in haskell_blah
Вообще реторический вопрос получается у меня, так-то да.
источник

к

кана in haskell_blah
а ну хотя и без кубов все упрощается
источник

VD

Velvet Darkness in haskell_blah
Потому что так исторически сложилось (с)
источник

KV

Kirill Valyavin in haskell_blah
кана
ну упрощает доказательства же
По сравнению с ванильным хоттом?
источник

к

кана in haskell_blah
а у ванильного хотта есть имплементация?
источник

AG

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

DB

Danil Berestov in haskell_blah
я не понел, вы тут все с хоттом на ты? как так случилось?
источник

KV

Kirill Valyavin in haskell_blah
кана
а у ванильного хотта есть имплементация?
Аксиомы фигакнуть и готово
источник

AG

Alex Gryzlov in haskell_blah
кубы это хотт который можно в компайлтайме вычислять
источник

AG

Alex Gryzlov in haskell_blah
а еще можно в рантайме вычислять
источник

KV

Kirill Valyavin in haskell_blah
Danil Berestov
я не понел, вы тут все с хоттом на ты? как так случилось?
Хайповая штука же
источник

DB

Danil Berestov in haskell_blah
Kirill Valyavin
Хайповая штука же
так она шизоидая же
источник

KV

Kirill Valyavin in haskell_blah
Danil Berestov
так она шизоидая же
Ну может мы шизоиды тогда
источник

VD

Velvet Darkness in haskell_blah
Hypetrain -»
...
Я
источник

DB

Danil Berestov in haskell_blah
Kirill Valyavin
Ну может мы шизоиды тогда
получается, так
источник

VD

Velvet Darkness in haskell_blah
Хайптрейн уехал, шизоиды остались :D
источник

KV

Kirill Valyavin in haskell_blah
Velvet Darkness
Хайптрейн уехал, шизоиды остались :D
Не уехал ещё, но так-то да
источник

DB

Danil Berestov in haskell_blah
Velvet Darkness
Хайптрейн уехал, шизоиды остались :D
источник