Live data from Hacker News

Mypy - An experimental Python variant with dynamic and static typing

mypy-lang.org

1–10 of 42 posts

Re: Mypy - An experimental Python variant with dynamic and static typing

#2
From the FAQ:

The initial compiler will compile into C or use LLVM for the back end

This is .. a rather fundamental point. More critically, there is no link that I could see to any code.

It is an interesting idea, but it seems a little too under-cooked to merit much discussion right now. However, one way that this could get really good traction is if it were to support Cython code (which doesn't seem to be the case, from the FAQ)

Re: Mypy - An experimental Python variant with dynamic and static typing

#3

  > Mypy will get rid of the Global Interpreter Lock (GIL)
  >Details of the concurrency model are still undecided, though
Wait, what? There have been numerous attempts to get rid of the GIL, most of which failed miserably. A promise to get rid of the GIL without even deciding on a concurrency model seems a little premature.

Re: Mypy - An experimental Python variant with dynamic and static typing

#5
An interesting idea. I do like Python's syntax - it's how I indent my C code so it's quite natural. Having to hit backspace is a bit annoying though when you're used to the IDE auto inserting a } you can down-arrow over.

Personally I'd prefer explicit dynamic types and implicit type inference, but that's a personal preference. From working with C# and F# in my day job, F# is much more graceful without the 'var' everywhere that you get with C#'s inference.

Re: Mypy - An experimental Python variant with dynamic and static typing

#6
why doesn't this use the python standard for adding type information? it should be:

   def foo(n: int):
not

   def foo(int n):
then it would be valid python 3 code (and would also work with pytyp (disclaimer: mine)).

http://docs.python.org/py3k/reference/compound_stmts.html#fu... http://www.python.org/dev/peps/pep-3107/ http://www.acooke.org/pytyp/

Re: Mypy - An experimental Python variant with dynamic and static typing

#8
It looks like they could've chosen to extend one of the established projects (e.g. Cython, PyPy, CPython), maybe making some compromises. Instead they chose to start from scratch, which means that the chances of this actually becoming usable are.. Rather slim. What a pity. The Python community could really use something like this.

Re: Mypy - An experimental Python variant with dynamic and static typing

#9

From the FAQ: The initial compiler will compile into C or use LLVM for the back end This is .. a rather fundamental point. More critically, there is no link that I could see to any code. It is an interesting idea, but it seems a little too under-cooked to merit much discussion right now. However, one way that this could get really good traction is if it were to support Cython code (which doesn't seem to be the case,…

[deleted]
Post reply on HN