在concatenative languages中是否存在併發原則問題,還是僅僅是缺少? 還是我只是想念一些東西? 據我所知,目前最先進的拼接語言是因子,它仍然只有a co-operative threading system that doesn't use multiple cores。 也許Slava Pestiv,Factor的發明者,已經被谷歌消費了很多,以至於他根本沒有時間去創造多核版
我受到最近Haskell博客活動的啓發,試圖在Haskell中編寫一個類似Forth的DSL。我採取的方法是同時直接和混亂: {-# LANGUAGE TypeOperators, RankNTypes, ImpredicativeTypes #-}
-- a :~> b represents a "stack transformation"
-- from stack type "a"