[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: A couple of questions about goops method parameters
From: |
Taylan Ulrich Bayirli/Kammer |
Subject: |
Re: A couple of questions about goops method parameters |
Date: |
Sat, 06 Sep 2014 13:54:03 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.3 (gnu/linux) |
Marko Rauhamaa <address@hidden> writes:
> The primary upside of static types is much faster code.
Optimization of dynamic typing can go pretty far AFAIK. In an ideal
case, type-checks are hoisted to outside critical sections of code and
don't affect the speed of e.g. a tight loop. And then there's JIT and
all that jazz...
> The downside is boilerplate and clutter that make it a huge chore to
> write and maintain the code.
Users of languages with good static type systems like ML and Miranda
descendants would rather argue that types make the program more
maintainable, and aren't too much of a bother since they're inferred in
many common cases. Not my own experience, but I have no reason for a
wholesale disbelief against them (only skepticism on *how* great static
typing is).
> In my experience, high-level programming languages allow you to
> accomplish more challenging feats with better quality and productivity
> than statically typed languages.
>
> I'm saying use low-level programming languages when you have to and
> high-level programming languages when you can.
Using high-level/dynamically-typed, and low-level/statically-typed as
synonyms seems pretty wrong. There are very low-level dynamically typed
languages (Forth), and very high-level statically typed ones (Haskell).
Taylan
- Re: A couple of questions about goops method parameters, (continued)
- Re: A couple of questions about goops method parameters, Marko Rauhamaa, 2014/09/05
- Re: A couple of questions about goops method parameters, Panicz Maciej Godek, 2014/09/05
- Re: A couple of questions about goops method parameters, Marko Rauhamaa, 2014/09/05
- Re: A couple of questions about goops method parameters, Panicz Maciej Godek, 2014/09/06
- Re: A couple of questions about goops method parameters, Taylan Ulrich Bayirli/Kammer, 2014/09/06
- Re: A couple of questions about goops method parameters, Marko Rauhamaa, 2014/09/06
- Re: A couple of questions about goops method parameters,
Taylan Ulrich Bayirli/Kammer <=
- Re: A couple of questions about goops method parameters, Panicz Maciej Godek, 2014/09/06
- Re: A couple of questions about goops method parameters, Marko Rauhamaa, 2014/09/06
- Re: A couple of questions about goops method parameters, Taylan Ulrich Bayirli/Kammer, 2014/09/07
- Re: A couple of questions about goops method parameters, Marko Rauhamaa, 2014/09/07
- Re: A couple of questions about goops method parameters, Taylan Ulrich Bayirli/Kammer, 2014/09/07
- Re: A couple of questions about goops method parameters, Marko Rauhamaa, 2014/09/07
- Re: A couple of questions about goops method parameters, Taylan Ulrich Bayirli/Kammer, 2014/09/07
- Message not available
- Re: A couple of questions about goops method parameters, Nala Ginrut, 2014/09/06