Does there exist any way to add type annotations?

Question

Is there any way to add my own annotations to values or functions in Mathematica? Imagine, for example, that I wanted to annotate a List specifically as a List of Strings.

I don't think Mathematica will really do anything to enforce such a thing, but what I'd like to use this for is for connecting Mathematica to .NET generic functions. If I know that a List is expected to only contain a single type, I could more easily decide what type to call into a generic function with.

An example syntax might be something like:

mylist = {"Alice", "Bob", "Carol"}
SetAttribute[myList, NETType[String]]

(* The NETType[] attribute is used to call "GenericListMethod<String>(myList);" *)
NETGenericCall[GenericListMethod,Sequence[myList]]

Update: It's also significant that myList should retain (nearly?) native behavior in Mathematica. For example, I should be able to iterate over the list with Map[] without having to explicitly unwrap the list first. I figure it's asking almost entirely too much for normal Mathematica functions to preserve type information.

Answer 1

You could use UpValues:

mylist = {"Alice", "Bob", "Carol"};
numlist = {1, 2, 5, 3};

SetAttributes[NETType, HoldAll]

NETType[mylist] ^:= String
NETType[numlist] ^:= Integer

{NETType[mylist], NETType[numlist]}

(* Returns:
{String, Integer}
*)

Of course, this does not perform any checks that the elements in the list actually are of the type claimed.

Answer 2

I do not know if there is a trick to do that using Attributes and such. But just wanted to suggest a simple method, may be it work for you, may be not.

Mathematica lists are very flexible, they can be ragged in shape.

Hence you could always have the first entry in your lists be the 'type' of the list content, by having the head of the types of the item in the list be the first entry in the list. Like this:

lst = {String, {"Alice", "Bob", "Carol"}}
lst = {Real, {0.4, .9}}

Then you can just do

First[lst]

to get the 'type', and do

Rest[lst]

to obtain the actual list.

In the above, I used Heads I know about. You can replace that with your NETType[String] if you want, since I do not know what that is now.

Answer 3

Many functions in Mathematica don't care about the head actually being List so you can do something like this:

In[516]:= s = StringList["1", "foo", "bar"]

Out[516]= StringList["1", "foo", "bar"]

In[518]:= Length[s]

Out[518]= 3

In[519]:= Prepend[s, "z"]

Out[519]= StringList["z", "1", "foo", "bar"]

In[523]:= Map[StringLength, s]

Out[523]= StringList[1, 3, 3]

That Map worked fine but violated the sematics of StringList. When you know this will happen it is easy to fix.

In[524]:= Map[StringLength, List @@ s]

Out[524]= {1, 3, 3}