3 ms·
Shouldn't that be as simple as func bar() [10]foo with var a [8]foo = bar giving an error like cannot use bar() (type [10]foo) as type [8]foo in assignment
by timclark 15y ago
Shouldn't that be as simple as
func bar() [10]foo
with
var a [8]foo = bar
giving an error like
cannot use bar() (type [10]foo) as type [8]foo in assignment
Is it necessary to use Peano arithmetic to specify a simple type in a general purpose programming language?
- fhars 15y agoThat is not a simple type. And people who still remember the original Pascal will know that you do not want to encourage people to make the size part of the collection type. And it doesn't buy you much if you cannot prove at compile time that the type you use to index into the collecton cannot overflow the collection bounds. Use Ada if you need that. But if you want you can also encode the sizes in binary or decimal numbers: http://apocalisp.wordpress.com/2010/06/24/type-level-programming-in-scala-part-5a-binary-numbers/ http://apocalisp.wordpress.com/2010/06/24/type-level-program... http://www.ict.kth.se/forsyde/files/tutorial/apas03.html http://www.ict.kth.se/forsyde/files/tutorial/apas03.html