Size: a a a

Теория категорий

2019 December 17

KV

Kirill Valyavin in Теория категорий
Constantine Drozdov
x g f = result let
Это вообще что?
источник

CD

Constantine Drozdov in Теория категорий
Kirill Valyavin
Это вообще что?
x x_to_y y_to_z = z
источник

CD

Constantine Drozdov in Теория категорий
вы вот так теперь должны писать объявления
источник

KV

Kirill Valyavin in Теория категорий
Constantine Drozdov
вы вот так теперь должны писать объявления
Не должен, это ж опять справа налево получается, а я наоборот хочу
источник

CD

Constantine Drozdov in Теория категорий
Kirill Valyavin
Не должен, это ж опять справа налево получается, а я наоборот хочу
z = x x_to_y y_to_z
нечитаемо
источник

CD

Constantine Drozdov in Теория категорий
у вас разрыв стыка, указывающий на внутреннее изменение порядка чтения
источник

KV

Kirill Valyavin in Теория категорий
Constantine Drozdov
у вас разрыв стыка, указывающий на внутреннее изменение порядка чтения
Не ощущаю разрыва, мне нормально
источник

CD

Constantine Drozdov in Теория категорий
Kirill Valyavin
Не ощущаю разрыва, мне нормально
Буква z встречается в начале и конце предложения. Ровно такой же разрыв происходит, когда вы наши цифры запишите в RTL контекст
источник

CD

Constantine Drozdov in Теория категорий
вы должны теперь писать
name x x_to_y y_to_z as z
источник

KV

Kirill Valyavin in Теория категорий
Constantine Drozdov
Буква z встречается в начале и конце предложения. Ровно такой же разрыв происходит, когда вы наши цифры запишите в RTL контекст
Ну я ещё раз говорю, мне это не мешает
источник

МБ

Михаил Бахтерев in Теория категорий
Так в Haskell, наверное можно точку переопределить и пописать в друго стиле. Но мне кажется, что not .  even понятнее, чем even . not.
источник

CD

Constantine Drozdov in Теория категорий
Kirill Valyavin
Ну я ещё раз говорю, мне это не мешает
Вам это может сколько угодно не мешать, вот только это все еще разрыв контекста и впихивание конструкции с другим порядком чтения
источник

KV

Kirill Valyavin in Теория категорий
Михаил Бахтерев
Так в Haskell, наверное можно точку переопределить и пописать в друго стиле. Но мне кажется, что not .  even понятнее, чем even . not.
Есть уже <<<, я это себе настроил, чтобы показывалась как кружочек
источник

A

Andrey in Теория категорий
Вы обсуждаете, в каком порядке писать композицию?)
источник

KV

Kirill Valyavin in Теория категорий
Andrey
Вы обсуждаете, в каком порядке писать композицию?)
Да, пора бы сворачивать обсуждение
источник

CD

Constantine Drozdov in Теория категорий
Kirill Valyavin
Есть уже <<<, я это себе настроил, чтобы показывалась как кружочек
>>>= не забудьте доопределить)
источник
2019 December 18

O

Orbarax in Теория категорий
.> чем-то занято?
источник

KV

Kirill Valyavin in Теория категорий
Orbarax
.> чем-то занято?
Как минимум
источник

AZ

Alex Zhukovsky in Теория категорий
Читаю про лимиты и колимиты
источник

AZ

Alex Zhukovsky in Теория категорий
я правильно понимаю, что например если мы возьмем категорию целых чисел, то мы можем отобразить на конус Maybe Int, где лимитом будет Nothing?
источник