Static Types in Python? (Porth Ep.09)

Recorded offline at 22.09.2021

References:

Support:

Feel free to use this video to make highlights and upload them to YouTube (also please put the link to this channel in the description)

[monsieuralexandergulbu]

31:50 we should stop him until it'll be too late, he have too much power!!!!1!

[Muttisuri]

I wasn't even aware that you could use semicolons in python. I also very much support the code style protocol of using semicolons out of pure spite.

[josephholten]

I've just watched all your videos in the Porth series in succession. Can't wait for more! So educational

[monsieuralexandergulbu]

Look at the built-in "operator" module, i think it'll help you squeeze simulation of the Op-s into less code

[JaycenGiga]

If you are willing to use a pre-release of Python 3.10 (or wait until the beginning of October), there will be a match statement in Python which would probably make the whole if-elif-else stuff a bit nicer. Still no exhaustivity check, though. MyPy is supposed to add that, but it will obviously take some time, especially since it doesn’t seem to be a priority at the moment.

[meferlo]

Sheesh, I found this yt channel a few days ago and I've watched almost every video. Love Ya man. Keep doing what you love <3

[alenasenie]

"You know, the real programming languages"

I program in python and I think this is true

[fantasdeck]

One of my first ideas for a PL was "Type-on", a statically typed Python. I just decided that I wanted to do something way harder more. Dig these videos. They're dope.

[KangJangkrik]

Imagine there is a typescript for python

What a nice day

[monsieuralexandergulbu]

Hmph, i dunno how, but apparently now i get this recommended after 5 minutes from the moment the video was uploaded, well i guess congrats to the author.

[monsieuralexandergulbu]

I just like that by scrolling through videos on channel you could see how your hair grows. Initially they were long, then you became bold, and now again some grown hair.
Like some kind of documentary ..

[bigmistqke]

Ok, now I get the point of static types.

[byterbrodTV]

31:55 btw, you can use assert False, "Not imPelmented";
If you know what i mean KKomrade

[alenasenie]

1000 lines is a lot to review in the way I tend to code (as few lines as possible because I am lazy), is not a lot of lines but it is a lot of things that you can have missed. That is why I prefer to make modules instead

[demolazer]

In Neovim, the Python LSP will show me an error message in normal mode if I pass in a type that doesn't match what I've stated in the annotation. Very useful.

[luismex]

This video was Great would you make a video how ro use emacs like you do!!

[dmsalomon]

asset False makes much more sense than raise NotImplemented. The latter implies that the exception can be handled.

[NateROCKS]

If you don't care about 3.8 compatibility, Python 3.9 added built-in type unions and list (and tuple etc.) types. For example, list[str] == typing.List[str]. Union also got replaced with "|". For example, int | str == typing.Union[int, str].

[DaveDeDog]

That's thefirst time I see you since the last video on the main channel 9 months HOW TF DID YOU LOSE SO MUCH WEIGHT?

[오오예스]

What kind of operating system do you use?