<div dir="ltr">Hi Paul,<div><br></div><div>A good talk as always.</div><div><br></div><div>One point: You talk of adopting the common convention of [X] for a list of X. But experience shows that later on you may want to have some notation for a List of Types, even though a List of Types can't exist at run time. For example if you add tuples to the language then what is the type of the tuple (3,"xyz",5.4). It is natural for this to be Tuple[Int,String,Float] where Tuple is a compile time procedure that takes a list of Types and returns a type. </div><div><br></div><div>Robert Smart</div></div>