• 1 Post
  • 223 Comments
Joined 1 year ago
cake
Cake day: July 7th, 2023

help-circle












  • Eager Eagle@lemmy.world
    cake
    toPython@programming.devPython beginner
    link
    fedilink
    English
    arrow-up
    2
    ·
    2 months ago

    I guess partly because the Python tooling catastrophe makes it a quite a pain to set them up.

    Salty huh

    Saying you need to set up type hinting in Python shows that you’re the one assuming it’s a hassle like TS, where you need a different runtime to have access to something the language (JS) should have provided from the start.

    Everything you need is provided by typing, which is included in a Python install. Just import it and start using it.




  • With the amount of fuck-ups from Microsoft, this might not be necessary, but:

    The average user doesn’t want to install the operating system or doesn’t care about it as long as they can do their things, and those who care can easily do so today. Thus, IMO, advertising to the end user is a waste of resources.

    Focus on permeating it in governments, institutions, and OEMs to increase market share and break the “Linux is complicated / incompatible / for developers” stigma, then organic adoption out of these environments will grow - at least among people who can actually use it with the supported software.





  • I read it as “monads, closures, and other functional concepts are mathematical (denotational) concepts that can be proven memory-safe, while ‘functions’ (operational, as in C) are not”.

    I’m not convinced whether this operational/denotational distinction would even be useful in practice. Operational semantics are part of a formal proof using logical statements rather than math objects, so the statement above wouldn’t even make sense.