- 【Python】ｽｸﾘﾌﾟﾄ ﾊﾞﾄﾙﾛﾜｲﾔﾙ46【pl,rb,php,js】
294 ：デフォルトの名無しさん[sage]：2014/09/07(日) 04:14:13.97 ID:OiviXZOr - >>291>>292
ありがとう。
http://www.mypy-lang.org/tutorial.html#running
> You can type check a program by using the mypy tool,
> which is basically a linter ― it checks you program for errors
> without actually running it:
>
> $ mypy program.py
>
> You can always run a mypy program as a Python program,
> without type checking, even it it has type errors:
>
> $ python3 program.py
型検査はmypyというツールでやって、
実行は従来の型検査なしの方法でやる、
つまり、動的型付けは維持しつつ、
型検査をオプションで出来るようにするという感じかな。
それをPythonで標準化しようということね。
動的型付けは損なわずにエラーの検知がしやすくなるのなら、
良いんじゃないのかな。
コードも読みやすくなりそう。
どこまで広く使われるかは未知数だけど。
| - 【Python】ｽｸﾘﾌﾟﾄ ﾊﾞﾄﾙﾛﾜｲﾔﾙ46【pl,rb,php,js】
295 ：デフォルトの名無しさん[sage]：2014/09/07(日) 04:20:38.30 ID:OiviXZOr - >>291>>292
念のため、>>283=>>294です
| - 【Python】ｽｸﾘﾌﾟﾄ ﾊﾞﾄﾙﾛﾜｲﾔﾙ46【pl,rb,php,js】
320 ：デフォルトの名無しさん[sage]：2014/09/07(日) 21:52:42.96 ID:OiviXZOr - >>303
> けどまた、mypyみたいなツールがjavascriptに移植されるんでしょ？
多分無理じゃないかな。
mypyが利用しているのは、
関数の引数（引数の":"以降の部分）や戻り値（"->"以降の部分）に注釈を付ける、
Python3で導入された関数アノテーションという構文で、
この注釈は実行時には全く解釈されない。
だから、動的型付けを維持してる。
サードパーティーのライブラリで利用されることを想定して導入されたようだけど、
それが今回標準化しようという運びになったようです。
def greeting(name: str) -> str:
return 'Hello, {}'.format(name)
JavaScriptでもこうした構文を導入しないと、型検査はできないでしょう。
|
|