Type checking is only needed if your language needs ot have types, one
of the most amazing discoveries for me while using rc (
http://rc.cat-v.org ) to build werc ( http://werc.cat-v.org ) is how
well things can work with just one datatype (in the case of rc, the
list of strings).
Type cheking is great for some kinds of programs and some kinds of
languages, but it is important to remember that type systems are a
feature that has big complexity costs on the language and is not
always worth it.
uriel
On Fri, Sep 18, 2009 at 8:54 AM, carmen <__AT_whats-your.name> wrote:
>> Also, I would like to know, what do people on this list feel about type checking in general?
>
> a fan, definitely. if i gave a damn about customizing my WM i'd use xmonad. but stock dwm is fine..
>
>
Received on Fri Sep 18 2009 - 12:52:12 UTC
This archive was generated by hypermail 2.2.0 : Fri Sep 18 2009 - 13:00:01 UTC