Hacker News new | comments | show | ask | jobs | submit login

Very interesting.

I'm also working on a senior undergraduate thesis project in a vaguely similar domain (static typechecking of Python, github.com/jruberg/pyty), so I have a couple questions:

- Is the code open source? If not, did you just choose to keep it closed source as your work on it for the thesis?

- The site mentions that it's statically typed with type inference; has your thesis work also involved formally proving such things?

- Is the goal of the thesis to make something academically interesting or practically useful? Personally, I've struggled with balancing time and wish I could focus more on packaging and making my project accessible.




Thank you :)

- It isn't open source right now. I think that's best while the language is still developing, but I plan on opening it up once things have settled down. I don't want to have legacy code before I've even started :P

- No, that aspect is fairly tangential. Since my language is heavily based on the lambda calculus, I already have pretty good basis for nice type properties. I don't have a formal semantics right now, so it will be a while before any such proof would even be possible.

- Both hopefully! I totally understand this dilemma. As lots of people here have pointed out, there is a lot of work to be done on the implementation, but the theoretical aspects of the language have to be a higher priority for the next couple months. It's stressful!

I wish you the best on your project! It sounds really ambitious / useful. I imagine such an analysis could help generate much faster code too.

-----




Applications are open for YC Summer 2016

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | DMCA | Apply to YC | Contact

Search: