RP
а что там сложного? Просто ZST сделать
ну сделай, лол
Size: a a a
2020 June 11
SP
это утверждение из разряда "нахера нужна id функция, у тебя ведь уже есть значение, зачем его в функцию засовывать лул"
для не хаскельного мира это действительно так. а в хаскеле без id никак да
p
Хм. Never type никогда не будет, следовательно значение Never можно интерпретировать как любой тип. Не ну а что, норм
SP
потому что у всего интерфейсы вида "я тебя вызову с чем то и результат заберу"
RP
это самая бессмысленная функция, которую защищает Алекс
SP
Хм. Never type никогда не будет, следовательно значение Never можно интерпретировать как любой тип. Не ну а что, норм
из разряда ио чистое потому что программа это партиал функция которая нуждается в ио
p
из разряда ио чистое потому что программа это партиал функция которая нуждается в ио
Ну у тебя на этом код построен в расте, на невер тайпе
SP
даже веселее, если так подумать
SP
ну мозг конечно сломало
SP
первые два решаются как то наверное тоже но не так весело
SP
я пока ниасиливаю определение импликации
SP
все же я ждал какой то реальный пример. например что мы доказываем что самолет не упадет лал
SP
ну или лифт не поедет, хз
SP
но как я понимаю просто не получится и нужно вывернуть мозг наизнанку чтобы минимально чтото мочь на этом сделать
AZ
ну сделай, лол
так я и сделал, прост зачем делать самому
RP
так я и сделал, прост зачем делать самому
кого ты сделал? он же не стабилизирован
AZ
для не хаскельного мира это действительно так. а в хаскеле без id никак да
даже вне хаскельного мира оно нужно
AZ
кого ты сделал? он же не стабилизирован
enum Void {}AZ
для не хаскельного мира это действительно так. а в хаскеле без id никак да
Вот это нихера не хаскель, например