NV
Size: a a a
2021 March 12
ᛒ
Про меня?
там грустное кино на самом деле
ᛒ
как челы замачили чела
ᛒ
хотя начинали с лулзов
λ
хотя начинали с лулзов
Все всегда так начинается
λ
Перерисуй на зелёный
ᛒ
эх щас бы снова в качалку
S
Сцена, где они убили милфу, уронив ей на голову блин на 20кг это истинный премиум
NV
когда приходит димсол
Oℕ
т.е. сначала
а потом
trait Polsa[Pomyta[_], Value[_, _], $$[_, _], Prost]:def id[A: Pomyta]: Value[A, A]
def planerka[A: Pomyta, B: Pomyta, C: Pomyta](f: Value[A, B], g: Value[B, C]): Value[A, C]
def razmen[A: Pomyta, B: Pomyta]: Value[A $$ B, B $$ A]
def parallelno[A: Pomyta, B: Pomyta, C: Pomyta, D: Pomyta](f: Value[A, B], g: Value[C, D]): Value[A $$ C, B $$ D]
def perehod[A: Pomyta, B: Pomyta, C: Pomyta]: Value[A $$( B$$ C), A $$ B $$ C]
def dat: Value[A, A $$ Prost]
def vzyat: Value[A $$ Prost, A]
а потом
trait DAG[Pomyta, Value[_, _], $$[_, _], Prost, Business[_, _], And, Zero](
using Polsa[Pomyta, Value, $$, Prost]):
type Just[X, Y] = Prost Value Business[A, B]
def id[A: Pomyta]: Just[A, A]
def andThen[A: Pomyta, B: Pomyta]: (Business[A, B] $$ y: Business[B, C]) Value Business[A, C]
def switch[A: Pomyta, B: Pomyta]: Just[A And B, B And A]
def product[A: Pomyta, B: Pomyta, C: Pomyta, D: Pomyta]: (Business[A, B] $$ Value[C, D] Value Business[A And C, B And D]
def assoc[A: Pomyta, B: Pomyta, C: Pomyta]: Just[A And( B And C), A And B And C]
def make: Just[A, A And Zero]
def remove: Just[A And Zero, A]
...w
т.е. сначала
а потом
trait Polsa[Pomyta[_], Value[_, _], $$[_, _], Prost]:def id[A: Pomyta]: Value[A, A]
def planerka[A: Pomyta, B: Pomyta, C: Pomyta](f: Value[A, B], g: Value[B, C]): Value[A, C]
def razmen[A: Pomyta, B: Pomyta]: Value[A $$ B, B $$ A]
def parallelno[A: Pomyta, B: Pomyta, C: Pomyta, D: Pomyta](f: Value[A, B], g: Value[C, D]): Value[A $$ C, B $$ D]
def perehod[A: Pomyta, B: Pomyta, C: Pomyta]: Value[A $$( B$$ C), A $$ B $$ C]
def dat: Value[A, A $$ Prost]
def vzyat: Value[A $$ Prost, A]
а потом
trait DAG[Pomyta, Value[_, _], $$[_, _], Prost, Business[_, _], And, Zero](
using Polsa[Pomyta, Value, $$, Prost]):
type Just[X, Y] = Prost Value Business[A, B]
def id[A: Pomyta]: Just[A, A]
def andThen[A: Pomyta, B: Pomyta]: (Business[A, B] $$ y: Business[B, C]) Value Business[A, C]
def switch[A: Pomyta, B: Pomyta]: Just[A And B, B And A]
def product[A: Pomyta, B: Pomyta, C: Pomyta, D: Pomyta]: (Business[A, B] $$ Value[C, D] Value Business[A And C, B And D]
def assoc[A: Pomyta, B: Pomyta, C: Pomyta]: Just[A And( B And C), A And B And C]
def make: Just[A, A And Zero]
def remove: Just[A And Zero, A]
...Лучше xml, можно теги на кириллице написать и сразу будет читаемо
w
т.е. сначала
а потом
trait Polsa[Pomyta[_], Value[_, _], $$[_, _], Prost]:def id[A: Pomyta]: Value[A, A]
def planerka[A: Pomyta, B: Pomyta, C: Pomyta](f: Value[A, B], g: Value[B, C]): Value[A, C]
def razmen[A: Pomyta, B: Pomyta]: Value[A $$ B, B $$ A]
def parallelno[A: Pomyta, B: Pomyta, C: Pomyta, D: Pomyta](f: Value[A, B], g: Value[C, D]): Value[A $$ C, B $$ D]
def perehod[A: Pomyta, B: Pomyta, C: Pomyta]: Value[A $$( B$$ C), A $$ B $$ C]
def dat: Value[A, A $$ Prost]
def vzyat: Value[A $$ Prost, A]
а потом
trait DAG[Pomyta, Value[_, _], $$[_, _], Prost, Business[_, _], And, Zero](
using Polsa[Pomyta, Value, $$, Prost]):
type Just[X, Y] = Prost Value Business[A, B]
def id[A: Pomyta]: Just[A, A]
def andThen[A: Pomyta, B: Pomyta]: (Business[A, B] $$ y: Business[B, C]) Value Business[A, C]
def switch[A: Pomyta, B: Pomyta]: Just[A And B, B And A]
def product[A: Pomyta, B: Pomyta, C: Pomyta, D: Pomyta]: (Business[A, B] $$ Value[C, D] Value Business[A And C, B And D]
def assoc[A: Pomyta, B: Pomyta, C: Pomyta]: Just[A And( B And C), A And B And C]
def make: Just[A, A And Zero]
def remove: Just[A And Zero, A]
...Кто понял тот понял, но тот кто не понял - не понял.
ᛒ
Кто понял тот понял, но тот кто не понял - не понял.
ето я кста
ᛒ
ваще не задумываюсь
Α
/pidor@SublimeBot
S
Согласно моей информации, по результатам сегодняшнего розыгрыша пидор дня - Борщевик Сосновского!
C
На споке норм. Надо просто не джаву юзать для этого.
Меня наверное не поймут, если груви даже для тестов втяну :(
C
Помню чел грил, что проперти тестинг - это интеграционные тесты.
Oℕ
т.е. сначала
а потом
trait Polsa[Pomyta[_], Value[_, _], $$[_, _], Prost]:def id[A: Pomyta]: Value[A, A]
def planerka[A: Pomyta, B: Pomyta, C: Pomyta](f: Value[A, B], g: Value[B, C]): Value[A, C]
def razmen[A: Pomyta, B: Pomyta]: Value[A $$ B, B $$ A]
def parallelno[A: Pomyta, B: Pomyta, C: Pomyta, D: Pomyta](f: Value[A, B], g: Value[C, D]): Value[A $$ C, B $$ D]
def perehod[A: Pomyta, B: Pomyta, C: Pomyta]: Value[A $$( B$$ C), A $$ B $$ C]
def dat: Value[A, A $$ Prost]
def vzyat: Value[A $$ Prost, A]
а потом
trait DAG[Pomyta, Value[_, _], $$[_, _], Prost, Business[_, _], And, Zero](
using Polsa[Pomyta, Value, $$, Prost]):
type Just[X, Y] = Prost Value Business[A, B]
def id[A: Pomyta]: Just[A, A]
def andThen[A: Pomyta, B: Pomyta]: (Business[A, B] $$ y: Business[B, C]) Value Business[A, C]
def switch[A: Pomyta, B: Pomyta]: Just[A And B, B And A]
def product[A: Pomyta, B: Pomyta, C: Pomyta, D: Pomyta]: (Business[A, B] $$ Value[C, D] Value Business[A And C, B And D]
def assoc[A: Pomyta, B: Pomyta, C: Pomyta]: Just[A And( B And C), A And B And C]
def make: Just[A, A And Zero]
def remove: Just[A And Zero, A]
...суть в том, что в такой форме можно строить обогащённые функторы , что означает брать схемы и проецировать из нескольких DAG- пространств в одно