Category talk:Tcl: Difference between revisions
Content added Content deleted
(Discuss unimplemented tasks) |
|||
| Line 1: | Line 1: | ||
==Tasks Unlikely to get Implemented== |
==Tasks Unlikely to get Implemented== |
||
This is a short discussion of the tasks that are marked with the omit template. —[[User:Dkf|Dkf]] 09:14, 21 May 2009 (UTC) |
|||
[[Constrained Genericity]] |
[[Constrained Genericity]] |
||
: This is a specialization of the Parametric Polymorphism task. |
: This is a specialization of the Parametric Polymorphism task. |
||
Revision as of 09:14, 21 May 2009
Tasks Unlikely to get Implemented
This is a short discussion of the tasks that are marked with the omit template. —Dkf 09:14, 21 May 2009 (UTC) Constrained Genericity
- This is a specialization of the Parametric Polymorphism task.
Data Representation - Specifying Minimum Size
- This requires setting extremely low-level details.
- This task should probably go away in favour of smaller tasks (which Tcl has implemented...)
- Need the concept of proof in the language for this, and this is really an area that Tcl doesn't address.
- Tcl doesn't have static typing, making this task ridiculously trivial/non-applicable.
- Tcl's types are not algebraic, so implementation would need interesting much work.