[prev in list] [next in list] [prev in thread] [next in thread] 

List:       python-ideas
Subject:    [Python-ideas] Re: Typed Python execution mode
From:       Todd <toddrjen () gmail ! com>
Date:       2020-12-10 21:39:27
Message-ID: CAFpSVpJyrtAyLP1WhRqfJBcSYJ2-jLBAS49oAOK04UFWLQ7xPQ () mail ! gmail ! com
[Download RAW message or body]

[Attachment #2 (multipart/alternative)]


I would think this is something that should live in the type checker rather
than cpython.  They could have an argument to run cpython after doing the
check.

On Sun, Dec 6, 2020, 05:23 <redradist@gmail.com> wrote:

> It would be nice to have "Typed Python" mode that will look like this:
>
> ```bash
> #!/usr/bin/env bash
>
> set -e
> python -m mypy $1
> python $1
> ```
> https://gist.github.com/redradist/dd7253a55081a4dc13fdf3f1549f43b5
>
> It could be achieved by adding special flag like `-t` (typed)
> _______________________________________________
> Python-ideas mailing list -- python-ideas@python.org
> To unsubscribe send an email to python-ideas-leave@python.org
> https://mail.python.org/mailman3/lists/python-ideas.python.org/
> Message archived at
> https://mail.python.org/archives/list/python-ideas@python.org/message/2F2HAI63XHMSIZYJ7CKKRQDVVQQZVRZ4/
> Code of Conduct: http://python.org/psf/codeofconduct/
>

[Attachment #5 (text/html)]

<div dir="auto">I would think this is something that should live in the type checker \
rather than cpython.   They could have an argument to run cpython after doing the \
check.</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sun, \
Dec 6, 2020, 05:23  &lt;<a \
href="mailto:redradist@gmail.com">redradist@gmail.com</a>&gt; \
wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 \
.8ex;border-left:1px #ccc solid;padding-left:1ex">It would be nice to have \
&quot;Typed Python&quot; mode that will look like this:<br> <br>
```bash<br>
#!/usr/bin/env bash<br>
<br>
set -e<br>
python -m mypy $1<br>
python $1<br>
```<br>
<a href="https://gist.github.com/redradist/dd7253a55081a4dc13fdf3f1549f43b5" \
rel="noreferrer noreferrer" \
target="_blank">https://gist.github.com/redradist/dd7253a55081a4dc13fdf3f1549f43b5</a><br>
 <br>
It could be achieved by adding special flag like `-t` (typed)<br>
_______________________________________________<br>
Python-ideas mailing list -- <a href="mailto:python-ideas@python.org" target="_blank" \
rel="noreferrer">python-ideas@python.org</a><br> To unsubscribe send an email to <a \
href="mailto:python-ideas-leave@python.org" target="_blank" \
rel="noreferrer">python-ideas-leave@python.org</a><br> <a \
href="https://mail.python.org/mailman3/lists/python-ideas.python.org/" \
rel="noreferrer noreferrer" \
target="_blank">https://mail.python.org/mailman3/lists/python-ideas.python.org/</a><br>
 Message archived at <a \
href="https://mail.python.org/archives/list/python-ideas@python.org/message/2F2HAI63XHMSIZYJ7CKKRQDVVQQZVRZ4/" \
rel="noreferrer noreferrer" \
target="_blank">https://mail.python.org/archives/list/python-ideas@python.org/message/2F2HAI63XHMSIZYJ7CKKRQDVVQQZVRZ4/</a><br>
 Code of Conduct: <a href="http://python.org/psf/codeofconduct/" rel="noreferrer \
noreferrer" target="_blank">http://python.org/psf/codeofconduct/</a><br> \
</blockquote></div>



_______________________________________________
Python-ideas mailing list -- python-ideas@python.org
To unsubscribe send an email to python-ideas-leave@python.org
https://mail.python.org/mailman3/lists/python-ideas.python.org/
Message archived at https://mail.python.org/archives/list/python-ideas@python.org/message/V6LWNSKTDL7CLZISESYSGE36ITEBP4LC/
 Code of Conduct: http://python.org/psf/codeofconduct/



[prev in list] [next in list] [prev in thread] [next in thread]