К
Ты что реально не понимаешь что это ты нацик щизоид и неудачник который как раз и пострадает от этой все хуйни с беспределом что от бунтующих что от полиции?
Лично мне все равно, что творится в чужой стране, лол. Лети в Америку и протестуй
Size: a a a
2020 June 06
p
Доге, чё ты перестал писать, залетай к нам на огонек. Казнь неверных намечается через полчаса😁
VS
@DogeShibu Ты это, милота и хороший. Сори если случайно тебя чём-то задел. Ты вообще не был моей целью 😁
p
Так для справки - как раз таких как ты и те и другие первыми пиздят 🤦♂️
Вот ты тролишь, а может человек серьезно говорит. Не надо так.
DS
@enomad
Почему ты сразу акторы не взял?
У тебя можно кода очень много лишнего убрать, если с ними работать. Убрать все явные лупы-залупы, каналы и весь этот треш. Будут няшные акторы, в которых всё это из коробки и вся грязь засунута под капот.
Почему ты сразу акторы не взял?
У тебя можно кода очень много лишнего убрать, если с ними работать. Убрать все явные лупы-залупы, каналы и весь этот треш. Будут няшные акторы, в которых всё это из коробки и вся грязь засунута под капот.
DS
Нет, надо никого не послушать и пойти страдать на ровном месте.
AZ
Блин, завтипы это топчик
AZ
даже варарги можно выразить элементарно
AZ
AdderType : (numargs : Nat) -> Type
AdderType Z = Int
AdderType (S k) = (next : Int) -> AdderType kAZ
Тогда вместо
можно написать:
adder0 : Int -> Int...
adder1 : Int -> Int -> Int
adder2 : Int -> Int -> Int -> Int
можно написать:
adder : (numargs : Nat) -> AdderType (S numargs)VS
Вот ты тролишь, а может человек серьезно говорит. Не надо так.
Да у человека рабское мышление. Германия при Гитлере была под диктатурой и люди там были в реальном рабстве. Если человек от этого всего фанатеет то он просто жалок. Настоящий раб на генетическом уровне. Тратить на таких время смысла нет. Надо и правда валить в США или Германию ту же или ещё в какие нормальные страны из Рашки.
VS
Вспомнил тут офигенный фильм. Кролик Джо Джо. (Таки да Джо Джо референс!) 😁
p
Да у человека рабское мышление. Германия при Гитлере была под диктатурой и люди там были в реальном рабстве. Если человек от этого всего фанатеет то он просто жалок. Настоящий раб на генетическом уровне. Тратить на таких время смысла нет. Надо и правда валить в США или Германию ту же или ещё в какие нормальные страны из Рашки.
Давай к нам в Одессу😁
VS
БТВ, очень хорошее видео в том числе тут он таки задевает вопрос о том что сейчас даже элиты в стране не довольны положением дел и тем чего всем нам стоило присоединение Крыма https://youtu.be/9Qxszg7yqSI
AZ
лал, сижу в идрисе копаюсь
AZ
решил код улучшить, а оно не работает
AZ
так эдак крутил
AZ
потом тупо посмотрел на ошибки компиляции, тупо сделал так чтобы типчики сошлись, и оно заработало правильно с первого раза
AZ
сижу разбираюсь, почему оно работает))
AZ
типчики - тащат