It was quite successful too! Download the submissions from the pyweek.org
site:
http://media.pyweek.org/static/pgd-200606.zip
Congratulations to all who participated!
Richard
--
Visit the PyWeek website:
http://www.pyweek.org/
--
[EMAIL PROTECTED] wrote:
hi
is there a module in Python to extract metadata in MS office documents
thanks
Perhaps. OpenOffice can read and write MS office files, and OpenOffice
has an API (called UNO for Universal Network Objects) which has a Python
binding (called the Python-UNO bridge).
Hi,
Been there - try looking at:
http://groups.google.com/group/comp.lang.python/browse_frm/thread/f2cb83e948326ff5/d69feabbfc940b01?q=uri.nixrnum=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 there are
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):
program
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 whose elements are
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 this
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?
The
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 = []
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
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 language which
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
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,
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
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
--
[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.
In your
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 dll is registered
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 problem.
I
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
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
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, prevent
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 flexibility
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 can
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 actually 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
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 taught
[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 make sense to
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
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
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 that
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 available
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 list,
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
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 that's a complete
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),
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 | ML|
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.
--
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
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 copypaste 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 an integer
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.
I
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
--
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 be
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 system.
I
[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
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 to formally
prove that it
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.
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. Does
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 potentially
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
unsound over
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++.
After
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 further research,
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,
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 arrays
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.
The
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're welcome,
[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, it
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 and visa
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 loops.
[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 the
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
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
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) is
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 happened
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
--
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 inference
Wow.
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
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 and
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 to
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 problem and
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 understand that you're
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 (usually)
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 least not in
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,
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
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 a safe subset
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
[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 standard
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 and
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 excludes all
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 way round,
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 sorry if
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.
No mention of
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 you prefer to
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
1 - 100 of 165 matches
Mail list logo