Про языки программирования.

Oct 11, 2007 18:53

Рефал-суперкомпиляция.

Это язык программирования Рефал и некоторая идея под названием суперкомпиляция. Последняя была выше моего понимания и таковой и остается.

Вот здесь пытались ее коммерчески проэксплуатировать.

От работающего у нас Аркадия Климова сегодня узнал, что этот суперкомпилятор был написан на Moscow ML ( Read more... )

суперкомпилятор, динамическая типизация, Рефал, статическая типизация, ml

Leave a comment

sizeof October 11 2007, 19:40:00 UTC
Климов - Аркадий Андреевич?

Reply

thesz October 11 2007, 19:49:34 UTC
Аркадий. Отчества не знаю.

Reply

sizeof October 11 2007, 19:56:23 UTC
Просто, кажется, знаком с его отцом, как раз на почве суперкомпиляции.)
У меня был (ну и сейчас есть, конечно) народ, достаточно серьезно, для своего возраста, занимавшийся компиляторами.

Reply

thesz October 11 2007, 20:02:44 UTC
Let my people go!

Народ - это сильно. ;)

Что за компиляторы?

Reply

sizeof October 11 2007, 20:49:57 UTC
;)))
прекрасная, грустная музыка))
У меня один чел написал недетерминированный LRk транслятор и генератор, и еще один
занимался скриптами и функциональными языками, в С++ извратился до символьного дифференцирования на шаблонах. Я искал к кому бы их пристроить после этого), нашел Андрея Климова, они остались взаимно довольны. До практики дело не дошло, к сожалению. Если интересно, summary их работ можно глянуть на ded32.net.ru (2006 год Переславцев, 2005 год Гречаник).

Reply

thesz October 11 2007, 21:14:18 UTC
Интересно!

Спасибо.

PS
А Аркадию я про это расскажу. Ему будет приятно, я думаю. ;)

Reply

sizeof October 11 2007, 21:24:56 UTC
Думаю, тоже)
Чел с шаблонами и функциональными языками, кстати, пока не пристроен.. знает/умеет многое, правда, одолевают его постоянно глобальные идеи о захвате Вселенной...

Reply

thesz October 11 2007, 21:30:18 UTC
У нас, пока, не место для таких товарищей. Точнее, трудно будет отыскать ему подходящее место.

Но я спрошу все равно.

Reply

thesz October 11 2007, 21:31:16 UTC
Из-за реорганизации человеку трудно попасть туда, куда он хочет.

Может попасть туда, куда попадет. :(

Reply

sizeof October 11 2007, 21:42:45 UTC
Для таких всегда трудно.. LRk я пристроил вроде в ИСПРАН.. посмотрим..
Куда попадет - согласен, да.. ну, я пытаюсь все равно, иногда везет, мозги и желания совпадают с местом и потребностями)

>Но я спрошу все равно.
Спасибо, буду рад если получится. Я, конечно, за этого концептуального глобалиста)) не решаю, но вдруг будет взаимно полезно.. он на 2 курсе ВМиК сейчас.

Reply


Leave a comment

Up