Earlier quoted context omitted.
https://github.com/erg-lang/erg/blob/726b7b80fcf06c6c4099b62... Using a 69 as your language's logo? I actually don't think it has been done in a serious-seeming project before.
it is actually "Erg", not 69
Erg: a statically typed language that is Python compatible
21–30 of 194 posts
Re: Erg: a statically typed language that is Python compatible
#22At this point I'm open to try anything that will give me access to the python ecosystem without having to code in Python. From the FAQ it looks like Erg code gets transpiled to python bytecode.
Re: Erg: a statically typed language that is Python compatible
#23Earlier quoted context omitted.
https://github.com/erg-lang/erg/blob/726b7b80fcf06c6c4099b62... Using a 69 as your language's logo? I actually don't think it has been done in a serious-seeming project before.
it is actually "Erg", not 69
Re: Erg: a statically typed language that is Python compatible
#24Earlier quoted context omitted.
it is actually "Erg", not 69
As much as I enjoy the tongue-in-cheek logotyping, "Erg" is certainly not the first thing that my mind reads when looking at it.
Re: Erg: a statically typed language that is Python compatible
#25At this point I'm open to try anything that will give me access to the python ecosystem without having to code in Python. From the FAQ it looks like Erg code gets transpiled to python bytecode.
Re: Erg: a statically typed language that is Python compatible
#26Not sure why I'd want to use this, presuming I was already happy with python. Especially now that python's type hinting is more mature. Looking through the feature set the main thing it seems to provide is a type system, but with a syntax I don't like as much as python's type hinting.
I think that limitation of statically typed Python alone is enough to give this new language a chance.
It's also looks like the type inference of erg will be better than the current Python checkers.
Re: Erg: a statically typed language that is Python compatible
#27Not sure why I'd want to use this, presuming I was already happy with python. Especially now that python's type hinting is more mature. Looking through the feature set the main thing it seems to provide is a type system, but with a syntax I don't like as much as python's type hinting.
I don't know if this is what I'm looking for, but I think there's a ton of room for innovation and improvement in the python world. I welcome this language and I think it's quite interesting!
Re: Erg: a statically typed language that is Python compatible
#28Earlier quoted context omitted.
Slightly related question: why do people love Python so much? Or, any dynamically typed language? There's almost nothing that has frustrated me more in a professional setting than trying to figure out what some dynamically typed code is doing and ensuring I don't break anything by making changes.
I believe dynamically typed languages are easier to use than old-style statically typed langages (Java, C, etc). More modern statically typed languages can be quite easy to use (I am thinking of Scala) but none provides an ecosystem as rich as python's. Plus, recent static languages (Scala, Rust, Haskell or even Elm) are more oriented toward "Software Engineers" or CS academics. Python appeals to a lot of "programmer…
I think when FP languages and paradigms become the norm (you can quote me on this, I predict that it's only a matter of time), preferences will change. People tend to prefer what they know, and it will take some time for culture to change.
Re: Erg: a statically typed language that is Python compatible
#29It would be nice if someone created a typescript for python. Something that allows us to wrangle control and sanity over reams of legacy untyped python madness.
May be what you mean is a static typing solution for Python whose syntax is a superset of Python syntax (which I don't think `erg` is), but isn't identical to Python's syntax( ie, it is a strict superset, which statically typed Python's syntax isn't). Typescript is exactly that for JS.
In that case, I agree with you that such an attempt would indeed be very interesting because it would allow for more aggressive exploration of ergonomic typing constructs while maintaining that any valid Python would be valid in that new language as well (just like TS).