Category talk:Tcl: Difference between revisions

→‎Tasks Unlikely to get Implemented: Remove tasks that are done after all, and put in better order for reading
(→‎Tasks Unlikely to get Implemented: Remove tasks that are done after all, and put in better order for reading)
Line 2:
This is a short discussion of the tasks that are marked with the omit template. —[[User:Dkf|Dkf]] 09:14, 21 May 2009 (UTC)
 
; [[Parametric Polymorphism]]
[[BNF Grammar]]
: Tcl's got a grammar, but it only works at the level of the base language syntax, and that's just not a level that Tclers think about that much. (For example, it doesn't tell you anything about <code>while</code>, let alone that it has an embedded block of code.) It is also about as difficult to write down as reimplementing the Tcl parser in another language.
[[Constrained Genericity]]
: This is a specialization of the Parametric Polymorphism task, so all comments there apply here too.
[[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. 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]]
: 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.
; [[Constrained Genericity]]
: This is a specialization of the Parametric Polymorphism task, so all comments there apply here too.
 
== Language features ==
Anonymous user