Category talk:Tcl: Difference between revisions
Content added Content deleted
(→Tasks Unlikely to get Implemented: implemented for character units of size) |
(→Tasks Unlikely to get Implemented: More notes) |
||
Line 3: | Line 3: | ||
[[Constrained Genericity]] |
[[Constrained Genericity]] |
||
: This is a specialization of the Parametric Polymorphism task. |
: This is a specialization of the Parametric Polymorphism task, so all comments there apply here too. |
||
[[Evens Sum To Even]] |
[[Evens Sum To Even]] |
||
: Need the concept of proof in the language for this, and this is really an area that Tcl doesn't address. |
: Need the concept of proof in the language for this, and this is really an area that Tcl doesn't address. The formal way to fix it is to write a theorem prover in Tcl, but that'd be a ridiculous amount of work. |
||
[[Parametric Polymorphism]] |
[[Parametric Polymorphism]] |
||
: Tcl doesn't have static typing, making this task ridiculously trivial/non-applicable. |
: Tcl doesn't have static typing, making this task ridiculously trivial/non-applicable. Note also that the task itself states that it only applies to languages with static typing. |
Revision as of 19:56, 26 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)
- This is a specialization of the Parametric Polymorphism task, so all comments there apply here too.
- Need the concept of proof in the language for this, and this is really an area that Tcl doesn't address. The formal way to fix it is to write a theorem prover in Tcl, but that'd be a ridiculous amount of work.
- Tcl doesn't have static typing, making this task ridiculously trivial/non-applicable. Note also that the task itself states that it only applies to languages with static typing.