http://ideone.com/8xWzNC , хотя нахуя эти сложности с классами -- непонятно. Вся мощь лямбд и модулей доступна, классы/объекты тут на первый взгляд не нужны. (хотя, может, пригодятся далее, если это только игрушечный пример.)

@gds норм

Чет нипонял, зачем в крестоверсии темлпейт в Adder, nextF же всегда int -> int?

@kuzy000 нет, оно должно быть T -> T, просто я неосилятор

>объектов >JS кукарек

@anonymous [пу]к

@4da http://ideone.com/jMycNJ Знатно говна поел, пасяб.

@kuzy000 :*

> пачку классов (не объектов Откуда такое требование?

@fix из головы

tfw класс не объект

@4da И чем обосновывается?

@fix понятиями

@4da Я не понимаю, что ты хочешь увидеть. Ответы /YMI и /W1T, вроде как, ты принял, но они не соответствуют /0, т.к. классы параметризуются не лямбдочкой, а типом счётчика.

@fix ruby: http://ideone.com/SiYPxj > > c.is_a? Object > => true ruby тоже идёт лесом?

@fix нет как видишь, в руби все збс с геренацией классов и модулей

@4da Такое и в js можно сделать, за тем лишь исключением, что s/класс/прототип/

@fix https://gist.github.com/netoneko/0d886c548a7a0a155282

@fix у меня класс параметризуется и типом, и лямбдой. Невозможно, видеш ли, параметризовать класс лямбдой, имеющей неизвестный тип. Да и бессмысленно -- что ей давать на вход, что брать с выхода? Можно было бы канеш параметризовать чисто лямбдой int -> int. Делается очень просто. Ты об этом?

@gds > имеющей неизвестный тип а если тип (Restriction a): a -> a ?

@4da если есть полиморфизм в плане типа параметра класса, то класс будет полиморфным по типам

@fix js: http://ideone.com/OufOm7

@4da ... этого параметра.

@gds ладно, тут уже действительно ничего больше не сделаешь. в metaocaml ворочать классами как значениями?

@4da вообще ограничения могут быть, но зависит от их вида, будет ли типовый параметр у класса. Вроде как. Прежде чем metaocaml расчехлять, давай подумаем, что именно требуется. Какая конечная задача, например.

@gds угадал язык

задачу не понел но что-то нахуярил http://ideone.com/e5eMfh

@gds щас нет задачи. в #gentoo-talks кто-то ляпнул про вложеные классы в плюсцах и дальше меня понесло

@plhk > perl ну я даже не сомневался

@4da ппц ну ты даёш // почему они не о генте там песдят, куда смотрит вахтёр?

@gds там о генте уже несколько лет не пздят