[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Gnu-arch-users] new language, arch, furth, etc.
From: |
Jan Hudec |
Subject: |
Re: [Gnu-arch-users] new language, arch, furth, etc. |
Date: |
Wed, 21 Jul 2004 11:27:32 +0200 |
User-agent: |
Mutt/1.5.6+20040523i |
On Tue, Jul 20, 2004 at 23:28:57 -0400, Phil Frost wrote:
> Flamewar aside, I don't think restricting execution to a finite number
> of steps means much of anything. All computers today are not truly
> turing complete because they have limited storage. Bounding execution to
> a finite number of steps doesn't make the language any simpler either.
> All it does is make deep recursion or long loops impossible, and place
> an upper bound on the computational power of the program, but not the
> complexity of the language.
As I read Tom, I don't think he is going to guarantee the finiteness by
simply cutting the program after some time, but rather by not providing
the minimalization primitive. Though it's hard to not provide it --
recursive functions do minimalization.
-------------------------------------------------------------------------------
Jan 'Bulb' Hudec
<address@hidden>
signature.asc
Description: Digital signature
- Re: [Gnu-arch-users] new language, arch, furth, etc., (continued)
- Re: [Gnu-arch-users] new language, arch, furth, etc., Tom Lord, 2004/07/20
- Re: [Gnu-arch-users] new language, arch, furth, etc., Tom Lord, 2004/07/20
- Re: [Gnu-arch-users] new language, arch, furth, etc., Jeremy Shaw, 2004/07/20
Re: [Gnu-arch-users] new language, arch, furth, etc., Tom Lord, 2004/07/20
- Re: [Gnu-arch-users] new language, arch, furth, etc., Colin Walters, 2004/07/20
- Re: [Gnu-arch-users] new language, arch, furth, etc., Tom Lord, 2004/07/20
- Re: [Gnu-arch-users] new language, arch, furth, etc., Colin Walters, 2004/07/20
- Re: [Gnu-arch-users] new language, arch, furth, etc., Tom Lord, 2004/07/20
- Re: [Gnu-arch-users] new language, arch, furth, etc., Phil Frost, 2004/07/20
- Re: [Gnu-arch-users] new language, arch, furth, etc., Tom Lord, 2004/07/20
- Re: [Gnu-arch-users] new language, arch, furth, etc.,
Jan Hudec <=
- Re: [Gnu-arch-users] new language, arch, furth, etc., Tom Lord, 2004/07/21
Re: [Gnu-arch-users] new language, arch, furth, etc., Matthieu MOY, 2004/07/21
[Gnu-arch-users] Re: new language, arch, furth, etc., Tom Lord, 2004/07/20
- Re: [Gnu-arch-users] Re: new language, arch, furth, etc., Zenaan Harkness, 2004/07/21
- [Gnu-arch-users] Re: new language, arch, furth, etc., Miles Bader, 2004/07/21
- Re: [Gnu-arch-users] Re: new language, arch, furth, etc., Mikhael Goikhman, 2004/07/21
- Re: [Gnu-arch-users] Re: new language, arch, furth, etc., Andrew Suffield, 2004/07/21
- Re: [Gnu-arch-users] Re: new language, arch, furth, etc., Miles Bader, 2004/07/21
- Re: [Gnu-arch-users] Re: new language, arch, furth, etc., Andrew Suffield, 2004/07/21
- [Gnu-arch-users] Re: new language, arch, furth, etc., Miles Bader, 2004/07/21