Czy istnieje szybki język obsługujący przenośne kontynuacje?

Question

Szukam szybkiego języka (tj. Języka, który można kompilować natywnie, aby osiągnąć wydajność nie więcej niż 3 lub 4 razy wolniej niż C), który obsługuje przenośne kontynuacje. Rozumiem przez to kontynuację, która może być serializowana na jednym komputerze i przekształcana do postaci szeregowej na innym.

Wiem, że SISC może to zrobić (wdrożenie Scheme w Javie), ale jest powolne. Ditto for Rhino (implementacja JavaScript w Javie).

Answer 1

Scala 2.8.0 pozwoli na kontynuację i będą przenośne.

Answer 2

Czy sprawdziłeś numer OCaml? To może być skompilowany i powinna być nieznacznie wolniej niż C.

Continuations and delimited control

Answer 3

Jest to możliwe do zrobienia SERIALIZABLE kontynuacje w Javie przy użyciu Apache JavaFlow - jeśli nie iść tą drogą następnie bibliotekę Swing kontynuacje w:

http://www.exploringexcellence.com/swingcontinuations/download.html

sprawia, że ​​kodowanie jest o wiele przyjemniejsze.

Answer 4

Chociaż zgadzam się, że dialekty z Caml mogą być doskonałym wyborem, czuję, że muszę wspomnieć o schemacie Gambit. Wraz z termitem, podobnym do erlangu, obsługuje on szeregowanie kontynuacji, wysyłanie ich przez sieć i wiele więcej.

http://dynamo.iro.umontreal.ca/~gambit/wiki/index.php/Main_Page

zestawia się w C-kodu.