Category talk:Tcl: Difference between revisions

(→‎Tasks Unlikely to get Implemented: implemented for character units of size)
Line 3:
 
[[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.
Anonymous user