[p-dev] plasma talk

[Robert Smart]

Hi Paul,

A good talk as always.

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.

Robert Smart
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.plasmalang.org/list-archives/dev/attachments/20170504/93682e60/attachment.html>