Hacker News Board Hacker News, browsed like a classic message board
Live data from Hacker News

Show HN: Mys – an attempt to create a statically typed Python-like language

github.com

Post reply on HN
Print view View original

21–30 of 57 posts

Re: Show HN: Mys – an attempt to create a statically typed Python-like language

#21

Post by eerimoq »

dukoid wrote: post #17
eerimoq wrote: post #14

Earlier quoted context omitted.

Nice job. I don't understand the question. Can you rephrase it? =)

It might make sense to try to support the same subset of Python in both projects. On the other hand, this might make experimentation harder... And there seem to be many differences, for instance I am trying to move towards async/await... But there might also be areas that could be easy to get consistent, e.g. how local variables are declared... p.s. And I wasn't aware of Cocopy either. Having a list of similarities a…

I like the idea. If our languages are similar it could even make sense to stop developing one of them and focus on the other, but that's probably far fetched. I'll have a look at yours to get a better understanding of what it looks like and where it shines. Maybe we meet again =)

Re: Show HN: Mys – an attempt to create a statically typed Python-like language

#22

Post by tabtab »

Before making Yet Another Language, I'd like to see a good analysis of the options and trade-offs they offer: what does each design choice make easier and harder. There is probably no free lunch, but maybe we can find a better lunch by balancing things carefully.

Re: Show HN: Mys – an attempt to create a statically typed Python-like language

#23

Post by eerimoq »

tabtab wrote: post #22

Before making Yet Another Language, I'd like to see a good analysis of the options and trade-offs they offer: what does each design choice make easier and harder. There is probably no free lunch, but maybe we can find a better lunch by balancing things carefully.

For me it's pretty simple. I love Python. I like speed. I like embedded. This is an attempt to take advantage of Python's type hints to create fast and hopefully small binaries that can be executed on embedded devices limited amount of resources (both CPU and RAM).

There are probably other languages that would serve the same purpose, but oh well, I can't resist creating another. =)

Re: Show HN: Mys – an attempt to create a statically typed Python-like language

#24

Post by eerimoq »

elcritch wrote: post #20
eerimoq wrote: post #10

Earlier quoted context omitted.

It's a wide question, and I don't have a good answer. One obvious difference is the syntax. I prefer Python's syntax over Nim's, but at the same time I find Python slow sometimes and hard to use in embedded systems. I'm aiming to create something similar to Nim's toolchain to address that.

P.S. Since you’re using C++ shared pointers, you might want a cycle detection. But like Nim’s new ARC you can let the programmer beware and ensure their programs don’t produce cycles. It seems handy to allow pure RC’ing for embedded devices.

I'll keep this in mind.

Re: Show HN: Mys – an attempt to create a statically typed Python-like language

#25

Post by dukoid »

eerimoq wrote: post #21
dukoid wrote: post #17

Earlier quoted context omitted.

It might make sense to try to support the same subset of Python in both projects. On the other hand, this might make experimentation harder... And there seem to be many differences, for instance I am trying to move towards async/await... But there might also be areas that could be easy to get consistent, e.g. how local variables are declared... p.s. And I wasn't aware of Cocopy either. Having a list of similarities a…

I like the idea. If our languages are similar it could even make sense to stop developing one of them and focus on the other, but that's probably far fetched. I'll have a look at yours to get a better understanding of what it looks like and where it shines. Maybe we meet again =)

Do you have any objections against using google drive for an initial list of similarities / differences? I think the comment function could be useful....

Re: Show HN: Mys – an attempt to create a statically typed Python-like language

#26

Post by viraptor »

sitkack wrote: post #5

Given that the OP is the github project owner, are you aware of https://chocopy.org/ ? You might want to also look at Shedskin, https://github.com/shedskin/shedskin which converts implicitly typed Python programs to C++

And at mypyc https://github.com/python/mypy/tree/master/mypyc

Re: Show HN: Mys – an attempt to create a statically typed Python-like language

#27

Post by eerimoq »

viraptor wrote: post #26
sitkack wrote: post #5

Given that the OP is the github project owner, are you aware of https://chocopy.org/ ? You might want to also look at Shedskin, https://github.com/shedskin/shedskin which converts implicitly typed Python programs to C++

And at mypyc https://github.com/python/mypy/tree/master/mypyc

This looks promising indeed. Thanks for sharing.

Re: Show HN: Mys – an attempt to create a statically typed Python-like language

#28

Post by eerimoq »

dukoid wrote: post #25
eerimoq wrote: post #21

Earlier quoted context omitted.

I like the idea. If our languages are similar it could even make sense to stop developing one of them and focus on the other, but that's probably far fetched. I'll have a look at yours to get a better understanding of what it looks like and where it shines. Maybe we meet again =)

Do you have any objections against using google drive for an initial list of similarities / differences? I think the comment function could be useful....

Please do, but I won't promise I will contribute a lot, so don't be disappointed. =)

Re: Show HN: Mys – an attempt to create a statically typed Python-like language

#30

Post by azhenley »

pmoriarty wrote: post #7

Strongly typed? You mean statically typed? See "What to know before debating type systems" : http://blogs.perl.org/users/ovid/2010/08/what-to-know-before...

> Type inference is generally a big win.

I see this claimed a lot, but haven’t seen any evidence.

Post reply on HN