I have taken apart a black endura pro and
What I'm saying is
The author has worked on SML/NJ internals, has a strong background in type theory, and has written similarish software in the past. I'd say he was able to solve those problems. Those problems are not even particularly complicated to solve once you have an expressive type system.
It would have killed them, because (n) is a tuple of one element.
The current syntax has a few benefits. A big one is that you can write things like fun mul n m = n * m; fun double = mul 2; double 4 (* = 8 *);. Automagic currying is good.
Back at HOPE9, there was a really awesome presentation on semiconductor manufacturing. It's worth the entire 90 minutes and IMHO was the best part of the conference. I've ended up showing the video of it to a few folks now, and it never becomes less awesome.
Now look at how many people in the world have no access to reliable power, and think about what happens when they want it. It's unfair to tell them "sorry, but you and your children and their children unto the end of time get to live in a hut because you were born in an area without an established industrial base."
UNIX is hot. It's more than hot. It's steaming. It's quicksilver lightning with a laserbeam kicker. -- Michael Jay Tucker