理想的编程语言

我把erlang.org上的一段Erlang示例代码用ProcessLog重写了一下, 大家可以对比一下.
Erlang示例代码 Echo process
go() ->
Pid2 = spawn(echo, loop, []),
Pid2 ! {self(), hello},
receive
{Pid2, Msg} ->
io:format("P1 ~w~n",[Msg])
end,
Pid2 ! stop.

loop() ->
receive
{From, Msg} ->
From ! {self(), Msg},
loop();
stop ->
true
end.

用ProcessLog重写:
Process Start = Go

Process Go
(
  OutPort toLoop, stdOut;
  InPort fromLoop
)
(
  Loop loop;
 
  toLoop >> loop.in,
  fromLoop << loop.out
)

    {
    toLoop!["hello"]
    -> fromLoop?[msg]
    -> stdOut![msg]
    -> toLoop!["stop"]   
    }
   
Process Loop
(
           DataInPort in(String);
  ResultPort out(String)
)
      
       {   
in?[msg]
-> ( | not(msg="stop"): out![msg]
->self
   )
       }

非常佩服楼主的创新精神，加油！
如果能解决程序的正确性证明问题，那是相当大的突破。
如果能同时解决程序的安全性证明和程序的性能最优化问题，那就更完美了。

觉得第(1)(2)个符号的选用不是很好，不直观，建议再斟酌一下，个人认为不必要局限在ASCII码范围。

极端民族主义情绪和极端爱国主义情绪其实是一种自卑心理的畸形反应，而且往往是被统治者蓄意诱导和激化出来的，是想转移民众对统治者的不满。
正常的民族感情和爱国情操是自发的自下而上的。

多谢你的鼓励!

这些是在正确性证明基础上的更高要求, 我想等语言基本实现了再考虑, 目前我还是在完善语言本身的基本机制, 这是一个长期的过程.


这是沿用了进程代数中的符号,Erlang也用!作输出, 习惯了就好了.

http://jocaml.inria.fr/
The best way to predict future is to invent it.

请教:你觉得我这里提的并发模型和join演算一样不一样?

实际上, 我这里提出的并发机制和join calculus差别很大.

http://en.wikipedia.org/wiki/Join-calculus


The join-calculus is a process calculus developed at INRIA. ....... Despite this limitation, the join-calculus is equally as expressive as the full π-calculus. Encodings of the π-calculus in the join-calculus, and vice-versa, have been demonstrated

乱入一下。join calculus的话Concurrent Basic也有实现