Le mardi 7 août 2018 21:40:16 UTC+2, gmhwxi a écrit : > > >>Python surprisingly does not have direct support for arrays, > > Python is not famous for being effcient :) >
I know, at least 40x worse than the equivalent in any imperative language. I’m using it rather for its terse syntax (and because it’s everywhere), but I badly miss typing with it (PyLint helps a bit to workaround this, but just a bit). Talking about it, the first thing I will do when the documentation I attempt to write will be finished, is to try to port my Postiats utilities to ATS2 and see how much I can have something as terse as the Python version. I believe it will be a good real world exercice (for know, I just tested ATS2 with propositions based proving three years ago, and I gave up, because I wanted too much from it). -- You received this message because you are subscribed to the Google Groups "ats-lang-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to ats-lang-users+unsubscr...@googlegroups.com. To post to this group, send email to ats-lang-users@googlegroups.com. Visit this group at https://groups.google.com/group/ats-lang-users. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/a34d4710-84b5-42ab-971e-f4d6f4953952%40googlegroups.com.
