15/10/2010 最后一周

F# :P 主流语言问题多多，快晒干在台上了，不过发现我现在进阶到脸不红心不跳了，一个词形容—脸皮厚

 

 

Javascript: 比我的还烂，咔咔

RegExp

 

untyped varibles

 

scope global & local  

//interpreter first collects all variables in f without initialize, then goes through all lines one by one again

var x = "hello"   //global

function f ()

{

   alter (x);  // unassigned x

   x = ":(";

   alter (x);

}

 

 

 

The Z notation , not programming language, a specify language, by Alexander Marchenko

descrip porperties of program, based on fist-order predicate logic, strictly typed, syntax has non-ascii symbols, mathematical toolkit is part of the lanuage, has an ISO standard

 

real project：

Web Services Descriptiong Language W3C

CICS by IBM

The clinical..

 

听起来很像KeY哦，呵呵，不过貌似有名的多。。。