[Cython] static type checking in Python

2012-06-25 Thread Stefan Behnel
Hi,

there's some work going on regarding static type analysis and checking of
Python programs, here's the mailing list for it:

https://groups.google.com/group/python-static-type-checking

I think this is somewhat related to Cython. After all, they are trying to
figure out static type information from source code - although apparently
rather in order to find bugs than to speed things up. But the one doesn't
necessarily exclude the other.

Stefan
___
cython-devel mailing list
cython-devel@python.org
http://mail.python.org/mailman/listinfo/cython-devel


Re: [Cython] new FFI library for Python

2012-06-25 Thread Dan Stromberg
Is it related to Common Lisp's CFFI?  If not, it might be confusing to
have two things with the same name, similar purposes, but not really
the same thing.
http://common-lisp.net/project/cffi/

On Mon, Jun 18, 2012 at 2:12 PM, Stefan Behnel  wrote:
> Hi,
>
> the PyPy folks have come up with a new FFI library (called cffi) for
> CPython (and eventually PyPy, obviously).
>
> http://cffi.readthedocs.org/
>
> It borrows from LuaJIT's FFI in that it parses C declarations at runtime.
> It then builds a C extension to access the external code, i.e. it requires
> a C compiler at runtime (when running in CPython).
>
> Just thought this might be interesting.
>
> Stefan
> ___
> cython-devel mailing list
> cython-devel@python.org
> http://mail.python.org/mailman/listinfo/cython-devel
___
cython-devel mailing list
cython-devel@python.org
http://mail.python.org/mailman/listinfo/cython-devel


Re: [Cython] new FFI library for Python

2012-06-25 Thread Stefan Behnel
Dan Stromberg, 25.06.2012 20:58:
> Is it related to Common Lisp's CFFI?  If not, it might be confusing to
> have two things with the same name, similar purposes, but not really
> the same thing.
> http://common-lisp.net/project/cffi/

I think "cffi" for "C foreign function interface" is just the one obvious
name for such a thing.

Stefan
___
cython-devel mailing list
cython-devel@python.org
http://mail.python.org/mailman/listinfo/cython-devel