Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.lang.forth > #60704
| From | anton@mips.complang.tuwien.ac.at (Anton Ertl) |
|---|---|
| Newsgroups | comp.lang.forth |
| Subject | Re: Factor (was: Starting Forth) |
| Date | 2017-06-13 16:31 +0000 |
| Organization | Institut fuer Computersprachen, Technische Universitaet Wien |
| Message-ID | <2017Jun13.183105@mips.complang.tuwien.ac.at> (permalink) |
| References | (2 earlier) <2d86868a-15e0-46fd-9754-40de5654300b@googlegroups.com> <c807d9be-91e0-4c29-b998-1584f8196dd1@googlegroups.com> <91691e59-e568-4d60-bc4b-0350a0e4ba84@googlegroups.com> <2017Jun12.181647@mips.complang.tuwien.ac.at> <fa45ff7a-f70c-4ea6-b155-4ee1e753a65c@googlegroups.com> |
mhx@iae.nl writes:
>Do you think all this type checking would have been useful to you,
>had it worked?
For the example in the workshop, no. There are some cases where I
have a pointer to one structure in a place where I expect a different
one, and debugging that is not so easy. Some kind of type checking
would help in that case. But I think we can do that within Forth.
>My own experience is that when a compiler checks more, I tend to
>be sloppy, writing careless code to prevent having to look up
>things.
Yes.
>In other languages I constantly struggle with types (especially
>when hidden under layers of macro's), to pass e.g. an unsigned
>64bit integer through an interface designed for floating-point.
>I know what I want and am prepared to suffer the consequences,
>but the compiler doesn't let me. I've not yet experienced
>this kind of compile-time fighting pay off.
Yes, pretty much. Also, in the case of C a consequence of C's type
system is that C programmers introduced many different integer types.
As a result, I have experienced many more 32->64-bit portability
errors in C than in Forth.
- anton
--
M. Anton Ertl http://www.complang.tuwien.ac.at/anton/home.html
comp.lang.forth FAQs: http://www.complang.tuwien.ac.at/forth/faq/toc.html
New standard: http://www.forth200x.org/forth200x.html
EuroForth 2017: http://www.euroforth.org/ef17/
Back to comp.lang.forth | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Starting Forth christopherdumas@gmail.com - 2017-06-10 07:15 -0700
Re: Starting Forth christopherdumas@gmail.com - 2017-06-10 07:19 -0700
Re: Starting Forth Melzzzzz <Melzzzzz@zzzzz.com> - 2017-06-10 14:35 +0000
Re: Starting Forth christopherdumas@gmail.com - 2017-06-10 07:43 -0700
Re: Starting Forth rickman <gnuarm@gmail.com> - 2017-06-11 12:44 -0400
Re: Starting Forth christopherdumas@gmail.com - 2017-06-11 20:44 -0700
Re: Starting Forth gavino himself <jackvanc3@gmail.com> - 2017-06-12 12:52 -0700
Re: Starting Forth new@to.forth - 2017-06-10 15:19 +0000
Re: Starting Forth christopherdumas@gmail.com - 2017-06-10 08:27 -0700
Re: Starting Forth christopherdumas@gmail.com - 2017-06-10 08:29 -0700
Re: Starting Forth hughaguilar96@gmail.com - 2017-06-10 15:34 -0700
Re: Starting Forth christopherdumas@gmail.com - 2017-06-10 15:56 -0700
Re: Starting Forth christopherdumas@gmail.com - 2017-06-10 15:57 -0700
Re: Starting Forth rickman <gnuarm@gmail.com> - 2017-06-15 11:52 -0400
Re: Starting Forth new@to.forth - 2017-06-10 21:38 +0000
Re: Starting Forth christopherdumas@gmail.com - 2017-06-10 15:53 -0700
Re: Starting Forth NN <november.nihal@gmail.com> - 2017-06-12 05:36 -0700
Re: Starting Forth christopherdumas@gmail.com - 2017-06-12 07:02 -0700
Re: Starting Forth Julian Fondren <julian.fondren@gmail.com> - 2017-06-12 08:29 -0700
Factor (was: Starting Forth) anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2017-06-12 16:16 +0000
Re: Factor (was: Starting Forth) hughaguilar96@gmail.com - 2017-06-12 10:26 -0700
Re: Factor (was: Starting Forth) NN <november.nihal@gmail.com> - 2017-06-12 11:25 -0700
Re: Factor (was: Starting Forth) hughaguilar96@gmail.com - 2017-06-12 17:16 -0700
Re: Factor (was: Starting Forth) gavino himself <jackvanc3@gmail.com> - 2017-06-12 13:05 -0700
Re: Factor (was: Starting Forth) mhx@iae.nl - 2017-06-12 11:08 -0700
Re: Factor (was: Starting Forth) anton@mips.complang.tuwien.ac.at (Anton Ertl) - 2017-06-13 16:31 +0000
Re: Starting Forth christopherdumas@gmail.com - 2017-06-14 07:49 -0700
Re: Starting Forth Andrew Haley <andrew29@littlepinkcloud.invalid> - 2017-06-14 11:50 -0500
Re: Starting Forth hughaguilar96@gmail.com - 2017-06-14 21:18 -0700
Re: Starting Forth Cecil Bayona <cbayona@cbayona.com> - 2017-06-14 10:02 -0500
Re: Starting Forth Julian Fondren <julian.fondren@gmail.com> - 2017-06-14 08:49 -0700
Re: Starting Forth stephen@mpeforth.com (Stephen Pelc) - 2017-06-14 16:45 +0000
Re: Starting Forth Mark Wills <markwills1970@gmail.com> - 2017-06-14 09:05 -0700
Re: Starting Forth Gerry Jackson <gerry@jackson9000.fsnet.co.uk> - 2017-06-14 19:05 +0100
Re: Starting Forth hughaguilar96@gmail.com - 2017-06-14 21:43 -0700
Re: Starting Forth Julian Fondren <julian.fondren@gmail.com> - 2017-06-14 22:03 -0700
Re: Starting Forth Gerry Jackson <gerry@jackson9000.fsnet.co.uk> - 2017-06-15 21:50 +0100
Re: Starting Forth foxaudioresearch@gmail.com - 2017-06-10 09:22 -0700
Re: Starting Forth foxaudioresearch@gmail.com - 2017-06-10 09:40 -0700
Re: Starting Forth Cecil Bayona <cbayona@cbayona.com> - 2017-06-10 12:21 -0500
Re: Starting Forth Julian Fondren <julian.fondren@gmail.com> - 2017-06-10 14:30 -0700
Re: Starting Forth christopherdumas@gmail.com - 2017-06-10 15:50 -0700
csiph-web