search

ponylang / ponyc

Pony is an open-source, actor-model, capabilities-secure, high performance programming language
http://www.ponylang.io
BSD 2-Clause "Simplified" License
5.69k stars 409 forks source link

RFC: generic type inference #1184

Open SeanTAllen opened 8 years ago

SeanTAllen commented 8 years ago

see RFC here: https://github.com/ponylang/rfcs/blob/master/text/0010-generic-type-inference.md

SeanTAllen commented 8 years ago

@Praetonus is this in progress? should I update the label?

Praetonus commented 7 years ago

I started looking at how it could be implemented but I haven't started the actual implementation.

Praetonus commented 7 years ago

I'm going to remove my assignment on this one for now. I've started working on JIT stuff and I expect it take most of my Pony development time.

igortoliveira commented 7 years ago

Hi Someone is working on this one? Can I take it?

SeanTAllen commented 7 years ago

@igortoliveira have at it. No one is working on it at the moment afaik.

SeanTAllen commented 7 years ago

@igortoliveira would you like to be added to the organization so you can be added as an assignee on items you take on? if yes, let me know and we'll add you and can assign this to you.

igortoliveira commented 7 years ago

@SeanTAllen yep, it would be great.

jemc commented 7 years ago

Actually, I happen to be working on a somewhat major refactor of parts of the codebase that would be affected by this effort, so it may be a good idea to wait a bit for me to finish up that refactor. Specifically, I'm decoupling some parts of the expr pass and moving them to a later pass so the expr pass can be simpler and easier to maintain and extend.

However, if you're anxious to get started, I don't want to stop you. We can race to the finish line and see who can finish their PR first, with the loser having to do a hairy rebase :stuck_out_tongue:. I don't want to hamper your desire to contribute, so feel free to proceed if you want - I just wanted to mention it in case I finish my PR first and you have to do a hairy rebase over your PR after you'd already put a lot of time in.

It's also worth mentioning that the refactor I'm working on might also make your work on this effort easier since I'm simplifying the compiler pass that you'll be doing most of your work in. I'm actually doing it with the purpose of making it easier for me to improve some aspects of lambda type inference, so what's good for simplifying that is probably also good for simplifying this effort.

At any rate, I will try to hurry up and finish this refactor as soon as the holiday season permits me :smile:, and I will keep you posted in this ticket as to the status of the refactor.

SeanTAllen commented 7 years ago

@igortoliveira added. i'll add you as assignee on this for now. if you want to back off based on @jemc's comment, that is understandable.

Praetonus commented 7 years ago

@igortoliveira Are you still working on this? If so, do you need any help with any part of this?

Praetonus commented 7 years ago

Unassigning @igortoliveira.

mfelsche commented 5 years ago

@Praetonus i would like to suggest this as a GSoC project for this year. Are you still working on this? Do you have any code you can already provide or should we start from scratch on this?