Mercurial > repo
view paste/paste.14440 @ 1018:b3b03b763b45
<oerjan> addquote <GreyKnight> headache + train with screeching brakes = headache^2 <hagb4rd> hm..headache + train with no screeching brakes = no head <GreyKnight> On the plus side, no headache anymore
author | HackBot |
---|---|
date | Mon, 10 Dec 2012 23:13:29 +0000 |
parents | e037173e0012 |
children |
line wrap: on
line source
2010-03-12.txt:22:28:45: <lament> c++ kinda makes me sad for humanity 2011-10-30.txt:02:12:04: <CakeProphet> do C++ templates make C++ kind of sort of dependently typed? 2012-01-30.txt:01:46:38: <zzo38> Another kind I have proposed is the + kind; types of that kind are natural numbers and can be used anywhere that a * kind type is expected, but not the other way around. If a type of kind * is expected and a type of kind + is used, it is the type with that many values.