We weren't aware that there was an "untyped" when we chose the name,
although a couple of people have since asked if yours was our
inspiration.
Great minds, and all that :-)
> Some unsolicited advice:
All advice gratefully received, thanks!
> Good luck!
Thanks, and the same to you!
Ian
> We weren't aware that there was an "untyped" when we chose the name,
> although a couple of people have since asked if yours was our
> inspiration.
If I start a consultancy for the Silicon Valley area, I'll have to
choose a name more in tune with the locally prevailing fashions (Ruby on
Rails, Django, etc) and go for gradually-typed.com.
Will that make "...typed.com" the "...r.com" (as in flickr, dopplr, etc)
of the FP community?
<b