Hi,
Been there - try looking at:
http://groups.google.com/group/comp.lang.python/browse_frm/thread/f2cb83e948326ff5/d69feabbfc940b01?q=uri.nix&rnum=2#d69feabbfc940b01
Cheers,
Uri
--
http://mail.python.org/mailman/listinfo/python-list
On Sat, 24 Jun 2006 21:15:17 -0700, Erik Max Francis wrote:
> Steven D'Aprano wrote:
>
>> In mathematics, well, maybe... certainly in the Real number system, there
>> is no difference, and +0 and -0 are just two ways of writing the same
>> thing. In the hyperreals, +0 and -0 are the same, but the
On 22 Jun 2006 08:42:09 -0700, [EMAIL PROTECTED] wrote:
>Darren New schrieb:
>> I'm pretty sure in Pascal you could say
>>
>> Type Apple = Integer; Orange = Integer;
>> and then vars of type apple and orange were not interchangable.
>
>No, the following compiles perfectly fine (using GNU Pascal):
Steven D'Aprano wrote:
>> Steven D'Aprano wrote:
>>
>>> In matrix maths, there are an infinite number of
>>> different matrices where all the elements are zero -- they are all
>>> distinct, different, zeroes.
>
>> What do you even mean by that? By "matrix maths," do you just mean
>> matrices who
I'll be a college freshman this fall, attending Florida Institute of
Tech studying electrical engineering.
I was considering taking some classes in programming and computer
science, and I happened to notice that everything taught is using C++.
After further research, it seems to me that C++ seems
David Hopwood wrote:
> But since the relevant feature that the languages in question possess is
> dynamic tagging, it is more precise and accurate to use that term to
> describe them.
So you're proposing to call them dynamically-tagged languages?
> Also, dynamic tagging is only a minor help in th
Make Microsoft angry!
How?
Click here and find out:
http://xthost.info/browser/index.htm
--
http://mail.python.org/mailman/listinfo/python-list
Marshall wrote:
> Chris F Clark wrote:
>
>>I'm particularly interested if something unsound (and perhaps
>>ambiguous) could be called a type system. I definitely consider such
>>things type systems.
>
>
> I don't understand. You are saying you prefer to investigate the
> unsound over the sound?
I want to trace a function while it executes and keep its local
variables as states. In trace function all the things work well but
after all when I print states, they are all the same. I couldn't solve
the problem. I guess it's because of frame, please can you help me?
import sys
states = []
de
Hi,
I am using Skunk web application server. The problem is that when I try
to upload files from a form, the web.protocol.Connection object that I
use in my python script can only give me the name of the uploaded file.
I have no clue as to how to get the binary data itself or where the
temp file is
Marshall wrote:
> >
> > This means that there's a sense in which the language that the
> > programmer programs in is not the same language that has a formal
> > semantic definition. As I mentioned in another post, programmers are
> > essentially mentally programming in a richer language - a langua
This is because in "states" you store a reference to frame.f_locals,
not the value it takes. When you print states, all the items are the
same reference to the same object and have the same value
If you want to store the values at each cycle you should store a copy
of frame.f_locals, which will gi
Hi,
i'm getting errors with the log module concerning RotatingFileHandler.
I'm using Python 2.4.3 on Windows XP SP2. This used to work in previous
python versions but since i upgraded to 2.4.3 i get these errors:
Traceback (most recent call last):
File "C:\Python24\lib\logging\handlers.py", li
Hello,
You're right about it but this is a simple code which tells my problem.
I need actually the frame itself for states and unfortunately
copy.copy(frame) throws an exception. Pickling also doesn't work. Do
you have any other idea?
Thanks,
Gokce.
Pierre Quentel schrieb:
> This is because i
On 2006-06-22, icebear <[EMAIL PROTECTED]> wrote:
> Ubuntu Drake comes with or allows you to install something called "entity"
> which sounds like it ought to be the world's ultimate Python GUI tool.
Looks like it only supports gtk 1.2.
Dave Cook
--
http://mail.python.org/mailman/listinfo/pyt
[EMAIL PROTECTED] a écrit :
> Hello,
>
> You're right about it but this is a simple code which tells my problem.
> I need actually the frame itself for states and unfortunately
> copy.copy(frame) throws an exception. Pickling also doesn't work. Do
> you have any other idea?
>
> Thanks,
>
> Gokce.
Roger Upole wrote:
> "bli" <[EMAIL PROTECTED]> wrote in message news:[EMAIL PROTECTED]
> >
> > (All authors are fairly sparse on the topic using Microsoft examples
> > that are more self evident.)
> > thanks muchly!
> >
>
> Your best bet is the documentation for the application.
> However, if the d
Hello,
Thanks for your help. I just copy things that I want to keep using
copy.copy function. Trying to copy frames won't lead me to anywhere :)
Gokce.
Pierre Quentel schrieb:
> [EMAIL PROTECTED] a écrit :
>
> > Hello,
> >
> > You're right about it but this is a simple code which tells my probl
Thank you for your help. I have changed StringVar in IntVar and it
works! I didn't know that IntVar (as StringVa) were Tkinter Widget
variables! (It is important to read the doc!) I made another mistake
in the value definition. I'have changed '%s' in %d and it goes
perfectly well.
It could be use
Hi,
[ I'm calling this PEP thought experiment because I'm discussing language
ideas for python which if implemented would probably be quite powerful
and useful, but the increased risk of obfuscation when the ideas are
used outside my expected/desired problem domain probably massively
outw
Thus spoke [EMAIL PROTECTED] (on 2006-06-23 17:40):
> Does anyone know of a way to embed python scripts into html, much like
> you would javascript or php? I do not want to use this to connect to a
> database, but rather for a functional script to be called when a user
> clicks on a link to open a
George Neuner schrieb:
> The point is really that the checks that prevent these things must be
> performed at runtime and can't be prevented by any practical type
> analysis performed at compile time. I'm not a type theorist but my
> opinion is that a static type system that could, a priori, preve
dan>> but out of curiousity does
dan>> anyone know of a school that teaches Python?
http://www.python.org/about/quotes/
University of Maryland
"I have the students learn Python in our undergraduate and graduate
Semantic Web courses. Why? Because basically there's nothing else with
the flexibilit
Dimitri Maziuk schrieb:
> That is the basic argument in favour of compile time error checking,
> extended to runtime errors. I don't really care if it's the compiler
> or runtime that tells the luser "your code is broken", as long as it
> makes it clear it's *his* code that's broken, not mine.
You
Thus spoke Andy Dingley <[EMAIL PROTECTED]> (on 2006-06-23 18:10):
> [EMAIL PROTECTED] wrote:
>
>> Python, like it's (evil?) cousin Perl,
>
> Isn't that evil cousin Ruby? Perl's the mad old grandmother in the
> attic, spewing out incomprehensible [EMAIL PROTECTED]&% swearing all day.
There's a
The PyPy development team has been busy working and we've now packaged
our latest improvements, completed work and new experiments as
version 0.9.0, our fourth public release.
The highlights of this fourth release of PyPy are:
**implementation of "stackless" features**
We now support the la
In article <[EMAIL PROTECTED]>,
MilkmanDan <[EMAIL PROTECTED]> wrote:
>I'll be a college freshman this fall, attending Florida Institute of
>Tech studying electrical engineering.
>
>I was considering taking some classes in programming and computer
>science, and I happened to notice that everything
[EMAIL PROTECTED] schrieb:
> Joachim Durchholz wrote:
>> > A type is the encoding of these properties. A type
>>> varying over time is an inherent contradiction (or another abuse of the
>>> term "type").
>> No. It's just a matter of definition, essentially.
>> E.g. in Smalltalk and Lisp, it does m
Thus spoke Cameron Laird (on 2006-06-25 13:08):
> I'll gratuitously add that, even though I'm personally fond of
> C++, I think teaching it as is done in colleges and high schools
> (!) amounts to child abuse. It's wildly inappropriate.
C++ programming requires you to
massively invest your think
Chris F Clark schrieb:
> Chris F Clark schrieb:
>> In that sense, a static type system is eliminating tags, because the
>> information is pre-computed and not explicitly stored as a part of the
>> computation. Now, you may not view the tag as being there, but in my
>> mind if there exists a way of
Darren New schrieb:
> John W. Kennedy wrote:
>> 360-family assembler, yes. 8086-family assembler, not so much.
>
> And Burroughs B-series, not at all. There was one "ADD" instruction, and
> it looked at the data in the addresses to determine whether to add ints
> or floats. :-)
I heard that the
Golly is an open source, cross-platform Life app which features an
unbounded universe and uses Gosper's hashlife algorithm to allow the
exploration of patterns at unprecedented scales and speeds.
We've just released version 1.0 and Python fans might be interested
to hear that we're now using Pytho
Anton van Straaten schrieb:
> Marshall wrote:
>> Can you be more explicit about what "latent types" means?
>
> Sorry, that was a huge omission. (What I get for posting at 3:30am.)
>
> The short answer is that I'm most directly referring to "the types in
> the programmer's head".
Ah, finally th
Many thanks,
Philippe
Philippe Martin wrote:
> Hi,
>
> I need to talk to a USB device (PC or other) from Python - I am not
> talking about mounting a file system but sharing information as you would
> though a TCP-IP socket layer or an RS232 interface.
>
> Is there such "low-level" module a
Marshall schrieb:
> It seems we have languages:
> with or without static analysis
> with or without runtime type information (RTTI or "tags")
> with or without (runtime) safety
> with or without explicit type annotations
> with or without type inference
>
> Wow. And I don't think that's a complete
Hello. I get the following error with the following code. Is there
something wrong with my Python installation?
code:
import types
something = input("Enter something and I will tell you the type: ")
if type(something) is types.IntType:
print "you entered an integer"
elif type(something) is t
Anton van Straaten schrieb:
>> It seems we have languages:
>> with or without static analysis
>> with or without runtime type information (RTTI or "tags")
>> with or without (runtime) safety
>> with or without explicit type annotations
>> with or without type inference
>>
>> Wow. And I don't think
Simon Forman wrote:
>
>
> Ok, seriously, I don't know how pydoc does it, but when I need a
> quick-and-dirty http server [written in python] I use something like
> this:
>
> from BaseHTTPServer import HTTPServer
> from SimpleHTTPServer import SimpleHTTPRequestHandler
>
> HTTPServer(('', 8000), Si
Andreas Rossberg schrieb:
>
> Luca Cardelli has given the most convincing one in his seminal tutorial
> "Type Systems", where he identifies "typed" and "safe" as two orthogonal
> dimensions and gives the following matrix:
>
> | typed | untyped
>---+---+--
>safe
I am trying to use eclipse for python development. Is it possible to
run a python script without having to name/setup a configuration? Can
eclipse be set up so that "run" loads the code into the interpreter and
goes? I don't want to create a new run config every time I want to run
a script.
--
ht
In comp.lang.functional Joachim Durchholz <[EMAIL PROTECTED]> wrote:
> [...] Even ML and Pascal have ways to circumvent the type system, [...]
Show me a Standard ML program that circumvents the type system.
-Vesa Karvonen
--
http://mail.python.org/mailman/listinfo/python-list
Joachim Durchholz write:
>
> Another observation: type safeness is more of a spectrum than a clearcut
> distinction. Even ML and Pascal have ways to circumvent the type system,
No. I'm not sure about Pascal, but (Standard) ML surely has none. Same
with Haskell as defined by its spec. OCaml has a c
Joachim Durchholz wrote:
> Andreas Rossberg schrieb:
>>
>> Luca Cardelli has given the most convincing one in his seminal
>> tutorial "Type Systems", where he identifies "typed" and "safe" as two
>> orthogonal dimensions and gives the following matrix:
>>
>> | typed | untyped
>>
Alex Pavluck wrote:
> String: Source for exec/eval is unavailable
I'm not able to find this message anywhere in the Python-2.4.3 sources.
What python version are you using? What input did you enter when the
prompt appeared? and copy&paste the *exact* exception you got including
the full traceback.
I've been away from Usenet for a while but this is the most interesting
stuff I've seen here in ages. Way cool.
--
http://mail.python.org/mailman/listinfo/python-list
Alex Pavluck wrote:
> Hello. I get the following error with the following code. Is there
> something wrong with my Python installation?
>
> code:
> import types
> something = input("Enter something and I will tell you the type: ")
>
> if type(something) is types.IntType:
> print "you entered
Hi,I'm trying to read a file containing timestamps with milliseconds ("2006/3/18 8:20:34.050"). The DateTime object seems to take milliseconds (microseconds really) but the strftime method doesn't have a format code for the millisecond field (in other languages I've used %s.). When I try to parse I
I believe what you are trying to do is something like the following.
[code]
def isIntLike(x):
try:int(x)
except: return False
else: return True
something = raw_input("Enter something and I will tell you the type: ")
if isIntLike(something):print "I am an int
Franklin W. Olin College of Engineering
I TAed a python class last semester, and am using it to build a webapp
for the Arts and Humanities dept.
http://www.olin.edu
MilkmanDan wrote:
> I'll be a college freshman this fall, attending Florida Institute of
> Tech studying electrical engineering.
>
>
Joachim Durchholz wrote:
> Andreas Rossberg schrieb:
>
>> Luca Cardelli has given the most convincing one in his seminal
>> tutorial "Type Systems", where he identifies "typed" and "safe" as two
>> orthogonal dimensions and gives the following matrix:
>>
>> | typed | untyped
>>--
[EMAIL PROTECTED] schrieb:
> hi
> is there a module in Python to extract metadata in MS office documents
You can automate MS Office using the python win32 com extensions of Mark
Hammond. They come bundled with the active-state python build, or can be
obtained separately.
Diez
--
http://mail.py
Chris F Clark wrote:
> Chris Smith <[EMAIL PROTECTED]> writes:
>
>>Unfortunately, I have to again reject this idea. There is no such
>>restriction on type theory. Rather, the word type is defined by type
>>theorists to mean the things that they talk about.
>
> Do you reject that there could
David Hopwood wrote:
> Chris F Clark wrote:
>
>>I'm particularly interested if something unsound (and perhaps
>>ambiguous) could be called a type system.
>
> Yes, but not a useful one. The situation is the same as with unsound
> formal systems; they still satisfy the definition of a formal syste
[EMAIL PROTECTED] writes:
[...]
| > and even C is typesafe unless you use unsafe constructs.
|
| Tautology. Every language is "safe unless you use unsafe constructs".
| (Unfortunately, you can hardly write interesting programs in any safe
| subset of C.)
Fortunately, some people do, as living j
Matthias Blume wrote:
> David Hopwood <[EMAIL PROTECTED]> writes:
>>Patricia Shanahan wrote:
>>>Vesa Karvonen wrote:
>>>...
>>>
An example of a form of informal reasoning that (practically) every
programmer does daily is termination analysis. [...]
Given a program, it may be possible t
Hi,
I have two arrays that are of the same dimension but having 3 different
values: 255, 1 or 2.
I would like to set all the positions in both arrays having 255 to be
equal, i.e., where one array has 255, I set the same elements in the
other array to 255 and visa versa. Does anyone know how to do
Languages with Full Unicode Support
As far as i know, Java and JavaScript are languages with full, complete
unicode support. That is, they allow names to be defined using unicode.
(the JavaScript engine used by FireFox support this)
As far as i know, here's few other lang's status:
C → No.
Pytho
Sheldon wrote:
> Hi,
>
> I have two arrays that are of the same dimension but having 3 different
> values: 255, 1 or 2.
> I would like to set all the positions in both arrays having 255 to be
> equal, i.e., where one array has 255, I set the same elements in the
> other array to 255 and visa versa.
Gabriel Dos Reis wrote:
> |
> | (Unfortunately, you can hardly write interesting programs in any safe
> | subset of C.)
>
> Fortunately, some people do, as living job.
I don't think so. Maybe the question is what a "safe subset" consists
of. In my book, it excludes all features that are potentiall
Chris F Clark (I) wrote:
> I'm particularly interested if something unsound (and perhaps
> ambiguous) could be called a type system. I definitely consider such
> things type systems.
"Marshall" <[EMAIL PROTECTED]> wrote:
> I don't understand. You are saying you prefer to investigate the
> unsou
MilkmanDan <[EMAIL PROTECTED]> wrote:
> I'll be a college freshman this fall, attending Florida Institute of
> Tech studying electrical engineering.
>
> I was considering taking some classes in programming and computer
> science, and I happened to notice that everything taught is using C++.
> Aft
>
> MilkmanDan wrote:
>> I'll be a college freshman this fall, attending Florida Institute of
>> Tech studying electrical engineering.
>>
>> I was considering taking some classes in programming and computer
>> science, and I happened to notice that everything taught is using C
>> ++.
>> After furt
Xah Lee wrote:
> Lisps → No.
The Common Lisp spec (CLHS) doesn't require that implementations support
Unicode characters, but it doesn't forbid it and some implementations
support it, e.g. http://clisp.cons.org/impnotes.html
--
Frank Buss, [EMAIL PROTECTED]
http://www.frank-buss.de, http://www.
Hi Gary,
I am really trying to cut the time down as I have 600+ arrays with
dimensions (1215,1215) to compare and I do a lot more things with the
arrays. If I understand you correctly, there is no way around a for
loop?
/Sheldon
Gary Herron wrote:
> Sheldon wrote:
> > Hi,
> >
> > I have two ar
Joachim Durchholz <[EMAIL PROTECTED]> wrote:
> Sorry, I have to insist that it's not me who's stretching terms here.
>
> All textbook definitions that I have seen define a type as the
> set/operations/axioms triple I mentioned above.
> No mention of immutability, at least not in the definitions.
placid wrote:
> Simon Forman wrote:
> >
...
> > For what you're asking about you'd probably want to use the
> > CGIHTTPRequestHandler from the CGIHTTPServer module instead. Check out
> > http://docs.python.org/lib/module-CGIHTTPServer.html
>
> This is what i was after, thanks for the tip.
>
You'r
[EMAIL PROTECTED] writes:
| Gabriel Dos Reis wrote:
| > |
| > | (Unfortunately, you can hardly write interesting programs in any safe
| > | subset of C.)
| >
| > Fortunately, some people do, as living job.
|
| I don't think so. Maybe the question is what a "safe subset" consists
| of. In my book,
Sheldon <[EMAIL PROTECTED]> wrote:
> I have two arrays that are of the same dimension but having 3 different
> values: 255, 1 or 2.
> I would like to set all the positions in both arrays having 255 to be
> equal, i.e., where one array has 255, I set the same elements in the
> other array to 255 an
Sheldon <[EMAIL PROTECTED]> wrote:
> Hi Gary,
>
> I am really trying to cut the time down as I have 600+ arrays with
> dimensions (1215,1215) to compare and I do a lot more things with the
> arrays. If I understand you correctly, there is no way around a for
> loop?
In pure Python (w/o extension
Sheldon wrote:
> Hi Gary,
>
> I am really trying to cut the time down as I have 600+ arrays with
> dimensions (1215,1215) to compare and I do a lot more things with the
> arrays. If I understand you correctly, there is no way around a for
> loop?
>
Well no. I gave you two alternatives to for loo
[EMAIL PROTECTED] wrote:
> Huh? There is a huge, fundamental difference: namely whether a type
> system is sound or not. A soundness proof is obligatory for any serious
> type theory, and failure to establish it simply is a bug in the theory.
So you claim Java and Objective C are "simply bugs in t
Alex,
I am using Numeric and have created 3 arrays: zero((1215,1215),Float)
Two arrays are compared and one is used to hold the mean difference
between the two compared arrays. Then I compare 290 or 340 pairs of
arrays. I know that memory is a problem and that is why I don't open
all of these arra
> I have two arrays that are of the same dimension but having 3 different
> values: 255, 1 or 2.
> I would like to set all the positions in both arrays having 255 to be
> equal, i.e., where one array has 255, I set the same elements in the
> other array to 255 and visa versa. Does anyone know how t
In article <[EMAIL PROTECTED]>,
Alex Pavluck <[EMAIL PROTECTED]> wrote:
>Hello. I get the following error with the following code. Is there
>something wrong with my Python installation?
>
>code:
>import types
>something = input("Enter something and I will tell you the type: ")
>
>if type(something
I think there is a Python club at UCF, Orlandomight help you
indirectly.
MilkmanDan wrote:
> I'll be a college freshman this fall, attending Florida Institute of
> Tech studying electrical engineering.
>
> I was considering taking some classes in programming and computer
> science, and I happe
I replied to a wrong post. My bad.I know for sure that there is
some kinda Python Club at UCF Orlando. There is Prof called Michael
Johnson who teaches Physics gives you an intro to Python.
http://www.physics.ucf.edu/~mdj/MinimalPython.html
Good Luck
--
http://mail.python.org/mailman/listin
Joachim Durchholz wrote:
> Anton van Straaten schrieb:
> >> It seems we have languages:
> >> with or without static analysis
> >> with or without runtime type information (RTTI or "tags")
> >> with or without (runtime) safety
> >> with or without explicit type annotations
> >> with or without type
Anton van Straaten <[EMAIL PROTECTED]> wrote:
> The problem is that there are no useful sound definitions for the type
> systems (in the static sense) of dynamically-typed languages. Yet, we
> work with type-like static properties in those languages all the time,
> as I've been describing.
I h
Scott David Daniels wrote:
> [EMAIL PROTECTED] wrote:
>> Huh? There is a huge, fundamental difference: namely whether a type
>> system is sound or not. A soundness proof is obligatory for any
>> serious type theory, and failure to establish it simply is a bug in
>> the theory.
>
> So you claim Java
kilnhead wrote:
> I am trying to use eclipse for python development. Is it possible to
> run a python script without having to name/setup a configuration? Can
> eclipse be set up so that "run" loads the code into the interpreter and
> goes? I don't want to create a new run config every time I want
Sheldon <[EMAIL PROTECTED]> wrote:
> Alex,
>
> I am using Numeric and have created 3 arrays: zero((1215,1215),Float)
> Two arrays are compared and one is used to hold the mean difference
> between the two compared arrays. Then I compare 290 or 340 pairs of
> arrays. I know that memory is a proble
Tim Chase <[EMAIL PROTECTED]> wrote:
...
> >>> all = [(x==255 or y==255) and (255, 255) or (x,y) for (x,y)
> in itertools.izip(a1,a2)]
> >>> b1 = [x[0] for x in all]
> >>> b2 = [x[1] for x in all]
> >>> a1, a2 = b1, b2 # if you want them to replace the originals
>
> Seems to do what I unde
Chris Uppal wrote:
> It seems to me that most (all ? by definition ??) kinds of reasoning where
> we
> want to invoke the word "type" tend to have a form where we reduce values (and
> other things we want to reason about) to equivalence classes[*] w.r.t the
> judgements we wish to make, and (usu
Chris Smith schrieb:
> Joachim Durchholz <[EMAIL PROTECTED]> wrote:
>> Sorry, I have to insist that it's not me who's stretching terms here.
>>
>> All textbook definitions that I have seen define a type as the
>> set/operations/axioms triple I mentioned above.
>> No mention of immutability, at lea
USA UK CANADA AUSTRALIA Jobs
click here http://visajobs2u.50webs.com/
IT Jobs, Medical Jobs, Marketing Jobs, Engineering Jobs, Call Center
Jobs,
HRM Jobs, Administrative Jobs, Customer-related Jobs, Non
Customer-related Jobs, and many more. Career Opportunities, Vacancies,
Hiring, Job Fairs, Recr
Hi Alex,
I will code this in a little while and get back to you. Terrific! I saw
this function but I skipped over it without realizing what it could do.
The Numeric doc is not very good and I am just getting into Python so
your book sounds great especially since it covers Numeric. I will look
int
Gabriel Dos Reis wrote:
> [EMAIL PROTECTED] writes:
>
> | Gabriel Dos Reis wrote:
> | > |
> | > | (Unfortunately, you can hardly write interesting programs in any safe
> | > | subset of C.)
> | >
> | > Fortunately, some people do, as living job.
> |
> | I don't think so. Maybe the question is what
jean-jeanot wrote:
> Thank you for your help.
You're welcome.
> It could be useful for me to change of DB ? Which one ? Postgresql or
> another ?
Well, if gadfly is serving you well, you might as well stay with it.
Python 2.5 comes with sqlite3, which might well be a nice small step.
I find Postg
[EMAIL PROTECTED] schrieb:
> Joachim Durchholz write:
>> Another observation: type safeness is more of a spectrum than a clearcut
>> distinction. Even ML and Pascal have ways to circumvent the type system,
>
> No. I'm not sure about Pascal,
You'd have to use an untagged union type.
It's the stand
Scott David Daniels wrote:
> [EMAIL PROTECTED] wrote:
> > Huh? There is a huge, fundamental difference: namely whether a type
> > system is sound or not. A soundness proof is obligatory for any serious
> > type theory, and failure to establish it simply is a bug in the theory.
>
> So you claim Java
USA UK CANADA AUSTRALIA Jobs With VISA Sponsorship, USA VISA,UK VISA,
CANADA VISA, AUSTRALIA VISA , immigration, VISA Sponsorship
click here
http://visajobs2u.50webs.com/
=
[EMAIL PROTECTED] schrieb:
> Gabriel Dos Reis wrote:
>> |
>> | (Unfortunately, you can hardly write interesting programs in any safe
>> | subset of C.)
>>
>> Fortunately, some people do, as living job.
>
> I don't think so. Maybe the question is what a "safe subset" consists
> of. In my book, it e
Pascal Costanza schrieb:
>> Another observation: type safeness is more of a spectrum than a
>> clearcut distinction. Even ML and Pascal have ways to circumvent the
>> type system, and even C is typesafe unless you use unsafe constructs.
>> IOW from a type-theoretic point of view, there is no real
[EMAIL PROTECTED] wrote:
>>>In this context, the term "latently-typed language" refers to the
>>>language that a programmer experiences, not to the subset of that
>>>language which is all that we're typically able to formally define.
>
>
> That language is not a subset, if at all, it's the other
Joachim Durchholz <[EMAIL PROTECTED]> wrote:
> > The immutability comes from the fact (perhaps implicit in these
> > textbooks, or perhaps they are not really texts on formal type theory)
> > that types are assigned to expressions,
>
> That doesn't *define* what's a type or what isn't!
>
I'm s
Joachim Durchholz wrote:
> Chris Smith schrieb:
>> Joachim Durchholz <[EMAIL PROTECTED]> wrote:
>>> Sorry, I have to insist that it's not me who's stretching terms here.
>>>
>>> All textbook definitions that I have seen define a type as the
>>> set/operations/axioms triple I mentioned above.
>>> N
Chris F Clark wrote:
> Chris F Clark (I) wrote:
>
> > I'm particularly interested if something unsound (and perhaps
> > ambiguous) could be called a type system. I definitely consider such
> > things type systems.
>
> "Marshall" <[EMAIL PROTECTED]> wrote:
>
> > I don't understand. You are saying y
Hello! I've just finished working on my first Python app (a
Tkinter-based program that displays the content of our application log
files in graphical format). It was a great experience that's had a
very positive response from my colleagues.
So I'd like to try something different for my second P
Andrew McDonagh <[EMAIL PROTECTED]> wrote:
> I haven't read all of this thread, I wonder, is the problem to do with
> Class being mistaken for Type? (which is usually the issue)
Hi Andrew!
Not much of this thread has to do with object oriented languages... so
the word "class" would be a little
The following script (using your function) raised no exception so it
worked! Elegant Alex, thanx.
res = equalize_arrays(msgtmp,ppstmp,255) # class
(ppstmp,msgtmp) = res.equalize() # class method
for i in range(int(main.xsize)):
for j in range(int(main.ysize)
1 - 100 of 154 matches
Mail list logo
