Paul Sokolovsky

> Following patch allows to proceed further: A bit further I mean. Because when using code like below to execute code in submodules of current package, you can't proceed too...

Really, not insisting on reply here, but just in case a notification of this ticket might be lost in a spur of winter holidays, a friendly ping.

It seems that @alehander92 just doesn't watch this project and doesn't receive notifications. Anyway, to whoever may come here by google, I recently stumbled upon a paper "Generalizing Hindley-Milner Type...

Thanks for response, if you would have any comments on "Airtight vs numpile" matter, that definitely would be appreciated.

> what are you interested in? Well, roughly speaking, I'd be interested in existence of a simple and small enough Python compiler, which would implement a good (sane) subset of...

> Ocaml turns out to have native support for both keyword and default args, and seems to fair pretty well re: type inference. This leads to question: what type inference...

Why not make https://github.com/pbiggar/phpcompiler.org deploy to phc.github.io and link to it instead?

Well, I keep hearing about them, and I exactly looked for a kind of "complete list" and maybe comparison among them. Thought there might be an awesome list which hosts...

It's easy to see that diff-highlight is not actively maintained, so I started a friendly fork to implement these features: https://github.com/pfalcon/diff-hilite .

> "TZPCs" working, security working as intended, instead of NS forced to high on bridge @christinaa, I'd say it's pretty strange that you find interesting to work on such things...