Мужик, может сырцы Racket тогда почитать? На сегодня это самая пиздатая реализация Схемы. Вот сейчас сижу на ней хуярь. Хотя это уже не Схема, Racket отпочковался обхуярившись своими расширениями.
Недавно новость проскакивала, что авторы Ракета собираются переносить ядро своего творения на движок от Chez Scheme, хотят ускорить. Лишь бы бля не затормозили. Жду не дождусь семёрки.

(Reply to this) (Thread)

схему я и без них могу сделать (и делал кучу раз). беда в том, что они все рассчитывают на то, что мусор за ними убирает GC; а у меня реализация немного другая, и никто мусор убирать не придёт, пока мы внутри цикла исполнения VM. они тупо аллокатят новый environment на каждый всякий случай, вне зависимости от того, пригодится оно позже или нет. потому что это дёшево и всем насрать.

более продвинутые компиляторы, конечно, умнее, но там только data flow analyzer размерами больше, чем весь мой движок.

(Reply to this) (Parent)

тогда уже сразу chez scheme читать, лол. или вообще пейпер don't stop the bibop

(Reply to this) (Parent)

gde anon, kotoryj ATS?
ty TLA+ proboval?

(Reply to this) (Thread)

что-то читал, нихуя не помню, судя по вики это bounded model checking(плохо), натянутый на темпоральную логику. что им можно делать такого крутого? вроде для распределенных систем и протоколов штука, я ничего не знаю про это.

unbounded model checking кажется интереснее, но в теории завтипы лучше, потому что в рамках одного языка сразу всё, безо всяких хоаровских троек.

(Reply to this) (Parent)