3
很久以前，Rob Pike和Luca Cardelli寫了一個paper，叫做「Squeak：與老鼠溝通的語言」。它基於Hoare的通信順序過程，但它被編譯成單線程C代碼 - 在運行時沒有線程或調度程序。但是，我找不到Squeak的編譯器，Rob Pike繼續編寫newsqueak，它在運行時確實具有非確定性調度器，所以不是我想要的。什麼是Squeak和Esterel的其他現代免費類比？
Esterel也是一種對併發性有很大支持的語言，它可以被編譯成單線程的C代碼 - 但是Esterel Technologies的SCADE Studio出售這麼多錢，他們甚至不會說它花了多少錢他們的web page。
哥倫比亞Esterel編譯器是available。是否還有其他現代語言將「多線程」算法編譯爲單線程，確定性輸出？
謝謝。
謝謝 - 這非常有幫助。 – Johnicholas