Re: In a Pascal-like language, would being able to declare a subroutine as "purely functional" be of any value?

Srinivas Nayak <sinu.nayak2001@gmail.com>
Wed, 16 Mar 2011 22:24:26 -0700 (PDT)

          From comp.compilers
Related articles
[4 earlier articles]
Re: In a Pascal-like language, would being able to declare a subroutin gah@ugcs.caltech.edu (glen herrmannsfeldt) (2011-03-12)
Re: In a Pascal-like language, would being able to declare a subroutin comp.lang.misc@inglorion.net (Robbert Haarman) (2011-03-12)
Re: In a Pascal-like language, would being able to declare a subroutin mcr@wildcard.demon.co.uk (Martin Rodgers) (2011-03-12)
Re: In a Pascal-like language, would being able to declare a subroutin noitalmost@cox.net (noitalmost) (2011-03-15)
Re: In a Pascal-like language, would being able to declare a subroutin wclodius@los-alamos.net (2011-03-15)
Re: In a Pascal-like language, would being able to declare a subroutin mcr@wildcard.demon.co.uk (Martin Rodgers) (2011-03-16)
Re: In a Pascal-like language, would being able to declare a subroutin sinu.nayak2001@gmail.com (Srinivas Nayak) (2011-03-16)
Re: In a Pascal-like language, would being able to declare a subroutin massimo_dentico@hotmail.com (Massimo A. Dentico) (2011-03-18)
Re: In a Pascal-like language, would being able to declare a subroutin gah@ugcs.caltech.edu (glen herrmannsfeldt) (2011-03-19)
Re: In a Pascal-like language, would being able to declare a subroutin sinu.nayak2001@gmail.com (Srinivas Nayak) (2011-03-21)
Re: Fortran PURE routines, was In a Pascal-like language, gah@ugcs.caltech.edu (glen herrmannsfeldt) (2011-03-24)
| List of all articles for this month |
From: Srinivas Nayak <sinu.nayak2001@gmail.com>
Newsgroups: comp.compilers
Date: Wed, 16 Mar 2011 22:24:26 -0700 (PDT)
Organization: Compilers Central
References: 11-03-032 11-03-040 11-03-043
Keywords: code, optimize
Posted-Date: 18 Mar 2011 23:39:12 EDT

True,


Programmer promises...


Compilers will not be able to restrict a out-of-scope variable.
Because, programmer may have many levels of indirection to a out-of-
scope variable.
How far compiler shall check them?
For C++ also const things can be unconst...
So, seems, compilers will be hopeless about it.


Srinivas


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.