Re: [Cython] CF based type inference

2013-05-21 Thread Vitja Makarov
2013/5/21 mark florisson > On 21 May 2013 14:41, Vitja Makarov wrote: > > > > > > > > 2013/5/21 mark florisson > >> > >> On 21 May 2013 14:14, Vitja Makarov wrote: > >> > > >> > > >> > > >> > 2013/5/21 mark florisson > >> >> > >> >> On 21 May 2013 11:26, Vitja Makarov wrote: > >> >> > Hi! >

Re: [Cython] CF based type inference

2013-05-21 Thread mark florisson
On 21 May 2013 14:41, Vitja Makarov wrote: > > > > 2013/5/21 mark florisson >> >> On 21 May 2013 14:14, Vitja Makarov wrote: >> > >> > >> > >> > 2013/5/21 mark florisson >> >> >> >> On 21 May 2013 11:26, Vitja Makarov wrote: >> >> > Hi! >> >> > >> >> > Recently I've started work on new type in

Re: [Cython] CF based type inference

2013-05-21 Thread Vitja Makarov
2013/5/21 mark florisson > On 21 May 2013 14:14, Vitja Makarov wrote: > > > > > > > > 2013/5/21 mark florisson > >> > >> On 21 May 2013 11:26, Vitja Makarov wrote: > >> > Hi! > >> > > >> > Recently I've started work on new type inference engine. Now it's > almost > >> > ready and I want to dis

Re: [Cython] CF based type inference

2013-05-21 Thread mark florisson
On 21 May 2013 14:14, Vitja Makarov wrote: > > > > 2013/5/21 mark florisson >> >> On 21 May 2013 11:26, Vitja Makarov wrote: >> > Hi! >> > >> > Recently I've started work on new type inference engine. Now it's almost >> > ready and I want to discuss it. >> > >> > It works like this: first infer

Re: [Cython] CF based type inference

2013-05-21 Thread Vitja Makarov
2013/5/21 mark florisson > On 21 May 2013 11:26, Vitja Makarov wrote: > > Hi! > > > > Recently I've started work on new type inference engine. Now it's almost > > ready and I want to discuss it. > > > > It works like this: first infer type for each assignment then for whole > > entry. It has som

Re: [Cython] CF based type inference

2013-05-21 Thread mark florisson
On 21 May 2013 11:26, Vitja Makarov wrote: > Hi! > > Recently I've started work on new type inference engine. Now it's almost > ready and I want to discuss it. > > It works like this: first infer type for each assignment then for whole > entry. It has some advantages over previous algorithm: > -

[Cython] CF based type inference

2013-05-21 Thread Vitja Makarov
Hi! Recently I've started work on new type inference engine. Now it's almost ready and I want to discuss it. It works like this: first infer type for each assignment then for whole entry. It has some advantages over previous algorithm: - it handles assignment cycles, see test_swap() for example