うーん、structural subtypingとダックタイピングは同じものなんだろうか。— Yukihiro Matsumoto (@yukihiro_matz) 2016年9月8日 https://t.co/5Rv86piThC wikipediaによると似て非なる物のようですね。 https://t.co/VwIg39h5M0— INADA Naoki (@methane) 2016年9月8日 この話題について補足しておきます。なお、僕はTAPL脱落組なのであまり正確性は期待しないでください。 背景 Ruby Kaigi で Matz が Ruby3 に向けて考え中の静的型について話されたようです。 少し前から、 Python でも Guido が Dropbox での大量のコードベースを改善していくために type hinting がほしいということで PEP 484 を始めました
One of the larger features added to Python over the last few releases is support for static typing in the language. Static type-checking and tools to support it show up frequently as topics at the Python Language Summit (PLS) and this year was no exception. Mypy developers Jukka Lehtosalo and Ivan Levkivskyi gave an update on static typing at PLS 2018. Lehtosalo started things off by talking about
optional static typing
People have been asking for optional types for Python for at least 10 years, and only recently have a couple of good solutions appeared, one is MyPy by Jukka Lehtosalo, but the github project hasn't been updated in several months, and no recent updates on the dev blog either. Python could greatly benefit from optional typing, it makes your code more clear and readable, can provide better compile o
Python is a poster child for dynamically typed languages, but if Guido van Rossum gets his way—as benevolent dictator for life (BDFL), he usually does—the language will soon get optional support for static type-checking. The discussion and debate has played out since August (at least), but Van Rossum has just posted a proposal that targets Python 3.5, which is due in September 2015, for including
=> (merge-with + {:a 1 :b 2} {:a nil :b 2}) NullPointerException clojure.lang.Numbers.ops (Numbers.java:961) これは2つ目のマップの:aの値がnilなため，(+ 1 nil)を実行しようとして失敗してヌルポを起こしています．現在のClojureの問題点として，エラーメッセージがソースコードと対応しておらず意味不明であるという点があるために，このような単純なバグでも発見するのに苦労しました．このバグをcore.typedにより退治していきたいと思います． 最初の型チェック core.typedの中には，cfという式の型をチェックする関数が存在します．(cfはcheck-formの略語のようです）これでmerge-with +の型をチェックしてみましょう．簡単化のため，引数のマップは2つ
Pythonへの型アノテーション導入を目指すGuido van Rossum氏 mypy の型アノテーションの構文を Python に取り込もうとメーリングリストで提案したニュースが話題になりました。今夏に話題になったニュースを今冬にフォローするという季節外れ感ですが、ずっと興味はあって「あとで読む」状態になっていたのを調べてみました。 基本的には mypy のドキュメントから自分の興味のあるところをかいつまんで説明しています。分かりにくいところがあれば原文を参照してください。 Welcome to Mypy documentation! mypy とは mypy は Python の静的型チェッカー (static type checker) です。wikipedia:静的コード解析 や wikipedia:en:Lint (software) ツールの一種だと説明されています。 Pyt
.center.middle # Optional Typing in Python .right[Andrey Vlasovskikh, JetBrains] .right[Minsk Python Meetup] .right[2013-11-29] --- # About * Andrey Vlasovskikh * St. Petersburg, Russia * JetBrains * PyCharm, IdeaVim * FProg.ru * Functional programming meetups --- # Python Problems * Performance * _Interpreter_ * CPU/IO parallelism * Mobile * iOS, Android * Python 3 * Slow adoption * _Tooling_ * _
Revenge of the Types written on Sunday, August 24, 2014 This is part two about "The Python I Would Like To See" and it explores a bit the type system of Python in light of recent discussions. Some of this references the earlier post about slots. Like the earlier post this is a bit of a diving into the CPython interpreter, the Python language with some food for thoughts for future language designer
およそ20年前にAlan Kay の講演をきいたことがある。印象に残ったのは、彼が引き合いに出した McLuhan の言葉だ。 I don't know who discovered water, but it wasn't a fish. (拙訳)誰が水を発見したかは知らないが、発見者が魚でなかったことは確かだ。 誰しも信念という水の中を泳ぐ魚のような存在だ。思い切って飛び跳ね空気に触れてみなれば、自分が信念という水の中にいることに気付かない。 ある手法の利点を語るには、その手法の欠点や、他の手法の利点や欠点とできるだけ客観的に比較しなければ説得力がない。ただ、これを実践するのは難しい。この記事では、客観的になれているか自問自答しながら、動的型付き言語と静的型付き言語について比較してみようと思う。 僕は静的な C 言語から、動的な Perl、Lisp、JavaScript を経て、現在で
Andrew Montalenti @amontalenti – Parse.ly Founder. Coding in Python, JavaScript, Clojure, & C. Menu and widgets In 2010, the Python core team wrote PEP 3107, which introduced function annotations for Python 3.x. Nearly 4 years ago, I wrote this response to the PEP, but I published it to a discussion site that ended up becoming defunct (Clusterify). I saw that recently, interest in function annotat
��^ �U Get the Reddit app Scan this QR code to download the app now Or check it out in the app stores Go to programming r/programming r/programming Computer Programming Members Online • milliams Proposal for Python type annotations from Guido van Rossum mail.python.org Open Top 1% Rank by size Top Posts Reddit reReddit: Top posts of August 14, 2014 Reddit reReddit: Top posts of August 2014 Reddit
Guido van Rossum guido at python.org Fri Aug 15 01:56:39 CEST 2014 Previous message: [Python-ideas] Python-ideas Digest, Vol 93, Issue 31 Next message: [Python-ideas] Optional static typing -- the crossroads Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] I have read pretty much the entire thread up and down, and I don't think I can keep up with responding to every individual piece
Compile-time type checking Static typing makes it easier to find bugs with less debugging. Easier maintenance Type declarations act as machine-checked documentation. Static typing makes your code easier to understand and easier to modify without introducing bugs. Grow your programs from dynamic to static typing You can develop programs with dynamic typing and add static typing after your code has
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
