Re: [ANN] Boo 0.4.3 - python-like language for .NET/Mono

From: Doug Holton (no_at_spam.please)
Date: 10/13/04 

Date: Wed, 13 Oct 2004 14:36:51 -0500

Neuruss wrote:
> I've been playing with Booish a litle bit, but there are some things
> that I don't understand very well, and unfortunately, there's little
> documentation so far to read...
>
> I wonder if you could explain with an example how the static typing
> and the type inference work in Boo.
> I'd like to know "where", "when" and "how" should I declare types and
> when I shouldn't.
>
> Also, I'm not sure what you guys understand for "type inference". I
> used to think that it was a way to find out the types of the variables
> without having to declare them, but since Boo is statically typed,
> where does type inference fit in? How?

Yeah, if you wouldn't mind, could you copy this question to the boo
mailing list? http://boo.codehaus.org/Mailing+Lists
Thanks, it is better to discuss it there. Maybe we can improve the
current wiki page about boo's type inference too:
http://boo.codehaus.org/Type+Inference

Relevant Pages

  • Re: Optional Static Typing
    ... > making Python faster while keeping it dynamic and simple), ... which deals with agressive type inference and ... then I don't know why we are talking now of static typing. ... > Lets say that Pypy and/or Starkiller end up as succesful projects, ...
    (comp.lang.python)
  • Re: Which programming language is better to start
    ... >> Type inference is visible when you have static type checking. ... Why would all compilers ... You are right, but if the compiler silently uses static typing when it can, ... and dynamic typing otherwise, that will kill all benefits of static typing ...
    (comp.programming)
  • Re: A Use of Static Typing
    ... that has nothing at all to do with static typing. ... which dynamic typing or type inference would allow. ... no matter what type system you are ... just let it compile. ...
    (comp.lang.misc)
  • Re: Typed Python?
    ... > great programming experience of Python with static typing? ... which has a type inference engine that it uses ... matches is much cleaner: it evalutes to false when the ...
    (comp.lang.python)
  • Re: [ANN] Boo 0.4.3 - python-like language for .NET/Mono
    ... > I've been playing with Booish a litle bit, ... > I wonder if you could explain with an example how the static typing ... > and the type inference work in Boo. ...
    (comp.lang.python)