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哦，呵呵，不过貌似有名的多。。。