Type inference, lessons learned from Vyper

Discussion in 'Python' started by Dave Benjamin, Feb 3, 2005.

  1. Hey all,

    I came across a fascinating thread on the Caml mailing list this morning.
    It's about writing an interpreter for Python that can do type inference, and
    John Skaller shares a lot of his experiences with the Vyper project:

    http://groups-beta.google.com/group/fa.caml/browse_frm/thread/4f65d0484529848e/

    As you may recall, Vyper was an implementation of Python written in OCaml.
    The source code has apparently gone to bit-heaven, but Skaller's analysis
    gives some illuminating insight into the kinds of problems we might run into
    if Python is to become more statically verifiable.

    --
    .:[ dave benjamin: ramen/[sp00] -:- spoomusic.com -:- ramenfest.com ]:.
    "talking about music is like dancing about architecture."
    Dave Benjamin, Feb 3, 2005
    #1
    1. Advertising

Want to reply to this thread or ask your own question?

It takes just 2 minutes to sign up (and it's free!). Just click the sign up button to choose a username and then you can ask your own questions on the forum.
Similar Threads
  1. Chris Brat
    Replies:
    2
    Views:
    262
    Wesley Hall
    Nov 22, 2006
  2. Replies:
    5
    Views:
    323
  3. delhi institute of management & services

    Q & A type lessons

    delhi institute of management & services, Sep 18, 2008, in forum: C Programming
    Replies:
    0
    Views:
    468
    delhi institute of management & services
    Sep 18, 2008
  4. Q & A type lessons

    , Sep 18, 2008, in forum: C Programming
    Replies:
    0
    Views:
    463
  5. Alex DeCaria
    Replies:
    4
    Views:
    107
    Alex DeCaria
    Feb 21, 2010
Loading...

Share This Page