KB
А потом отменить как непрочитанные
не понятно, сработало ли это вообще
Size: a a a
2020 March 24
KB
я хз
KB
AD
объект это индуктивная херовина + предикативная херовина
AD
вот индуктивную херовину языки научились, а предикативная - лежит о погромизда в мозгах и в рантайме.
AD
но без предикативной - ООП уныло
ws
вот индуктивную херовину языки научились, а предикативная - лежит о погромизда в мозгах и в рантайме.
так нехрен наследованием злоупотреблять
AD
из чего заключаю что тру ооп есть в коке, агде, идрисе
G
объект это индуктивная херовина + предикативная херовина
напиши рпг на функционале
ws
Graf
напиши рпг на функционале
emu-land.net - весь раздел zx-spectrum ждёт тебя
AD
Есть эквивалентность мжеду лямбда исчислением и машиной тьюринга который садит на бутылку всех кто вопрошает напиши X на Y
AD
считать можно одно и то же, любая машина тьюринга переписывается термом и любой терм машиной тьюринга
AD
при чём тупо механически
AD
так что принципиальная возможность написать вопросов никаких не может составлять
AD
и есть соответствие карри говарда которое говорит что прошаренное лямбда исчисление на уровнетипов может доказывать прошаренные утверждения
G
продукты где ска????
G
теоретик
ws
Graf
напиши рпг на функционале
http://www.emu-land.net/computers/zx_spectrum/games/u
вот тебе порт
Играй-наслаждайся. ООП там и не пахнет из-за объёма памяти платформы.
вот тебе порт
Х-com enemy unknown на ZX-SpectrumИграй-наслаждайся. ООП там и не пахнет из-за объёма памяти платформы.
AD
Иди нахуй со своими продуктами
AD
Они есть, если ты их не видел, это не означает что их нет