Generics - Revision history

Adamcolton: /* Values */

2019-09-23T13:05:08Z

Values

← Older revision		Revision as of 13:05, 23 September 2019
Line 18:		Line 18:

	But this collides the concept of interface substitution.		But this collides the concept of interface substitution.

			=== Value Interface ===
			It maybe possible to do this without extending the base interface substitution concept. We end up with types int of unlimited size and i<n> of a specific size.

			If int has a method of int that returns int then we get
			type int interface{
			int() int
			}

			And our type of i<6> is
			i<bytes int>{
			byteArray<bytes>
			}

			The only catch here is that if the return value of int()int is static, the compiler can figure that out and everything works. If it's not, things may break badly.

	== Not Turing Complete ==		== Not Turing Complete ==

Adamcolton at 12:48, 23 September 2019

2019-09-23T12:48:40Z

← Older revision		Revision as of 12:48, 23 September 2019
Line 19:		Line 19:
	But this collides the concept of interface substitution.		But this collides the concept of interface substitution.

	== Not Turing ==		== Not Turing Complete ==
	The type system should be static and not Turing complete.		The type system should be static and not Turing complete.
	* https://arxiv.org/pdf/1605.05274.pdf		* https://arxiv.org/pdf/1605.05274.pdf

Adamcolton: /* Not Turing */

2019-09-23T12:47:20Z

Not Turing

← Older revision		Revision as of 12:47, 23 September 2019
Line 23:		Line 23:
	* https://arxiv.org/pdf/1605.05274.pdf		* https://arxiv.org/pdf/1605.05274.pdf
	* https://github.com/Microsoft/TypeScript/issues/14833		* https://github.com/Microsoft/TypeScript/issues/14833

			It should also fail quickly in any case that would create an infinite loop (not cause an overflow).

	[[Category: Gryphon]]		[[Category: Gryphon]]

Adamcolton at 12:45, 23 September 2019

2019-09-23T12:45:57Z

← Older revision		Revision as of 12:45, 23 September 2019
Line 18:		Line 18:

	But this collides the concept of interface substitution.		But this collides the concept of interface substitution.

			== Not Turing ==
			The type system should be static and not Turing complete.
			* https://arxiv.org/pdf/1605.05274.pdf
			* https://github.com/Microsoft/TypeScript/issues/14833

	[[Category: Gryphon]]		[[Category: Gryphon]]

Adamcolton at 12:39, 23 September 2019

2019-09-23T12:39:20Z

← Older revision		Revision as of 12:39, 23 September 2019
Line 8:		Line 8:
	int<6>		int<6>

			The reason why it's not necessary is that if the call is:
			int.new(6)
			then at compile time we'll see that it's static and substitute the response.

			The reason why we do need it is that
			var x int<6> = 123456
			is a type and it can't be substituted with a different size
			x = int<4>(555) // error

			But this collides the concept of interface substitution.

	[[Category: Gryphon]]		[[Category: Gryphon]]

Adamcolton: Created page with "I dislike the term generics - it's over broad. But I'll put this here until I can resolve some of the conceptual collisions. == Interface Substitution == See Interfaces. ..."

2019-09-23T12:31:11Z

Created page with "I dislike the term generics - it's over broad. But I'll put this here until I can resolve some of the conceptual collisions. == Interface Substitution == See Interfaces. ..."

New page

I dislike the term generics - it's over broad. But I'll put this here until I can resolve some of the conceptual collisions.

== Interface Substitution ==
See [[Interfaces]]. This is the primary form of generics.

== Values ==
I want to be able to do something like:
int<6>

[[Category: Gryphon]]