はてなブックマーク

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? 型アノテーション生成ツール MyPy Blog を読んでいて PyAnnotate の記事が気になったので調べてみました。せっかくなので調べたことのメモを簡単にまとめておきます。 Dropbox releases PyAnnotate -- auto-generate type annotations for mypy 2017年11月15日に Dropbox 社が PyAnnotate という Python の型アノテーションを自動生成するツールをオープンソースとして公開しました。この記事の中では Dropbox 社は120万行以上の

先日 JJUG CCC 2017 FALL に参加してきました。 イベントの中で 田所 駿佑 さんによるセッションでプログラミング言語の勉強のためのお題として HTTP サーバーを書こうといった発表がありました。 新しいプログラミング言語の学び方 HTTPサーバーを作って学ぶ Java, Scala, Clojure https://github.com/todokr/simple-http-server おおたに さんと一緒にセッションを聞いてセッションが終わってから HTTP サーバーを書きたくなりましたよね？ と問われ、そのときはセッションを聞いてテンションも上がっていたのもあり「あー、そうですね。。。」と相槌をうっていました。 その後、イベントが終わって新宿駅へ歩いていった帰り際にも 帰ったら HTTP サーバーを書くんですよね？ と念を押されました。たぶん帰るまでに3

Go 1.8 から Graceful Shutdown 機能が標準で提供されるようになりました。これまではサードパーティーライブラリを使ってその機能を実装していた方も多いのではないでしょうか。 標準ライブラリにあるのだからサードパーティーライブラリから移行しようと考えている方も多いでしょう。私も少し前に移行を行ったのですが、移行前に使っていたサードパーティーライブラリと振る舞いが違うという話を同僚から聞いたので Go 1.8 の Graceful Shutdown の振る舞いについて調べてみました。 調査に使ったソースコードは以下になります。 https://github.com/t2y/misc/blob/master/go_graceful_shutdown_sample/main.go 基本的な使い方 context を使ってタイムアウト制御できるのが Go らしくて便利です。例えば

私は背景を把握していませんが、最近 Go と Generics について話が盛り上がっているそうです。 golang と Generics と私 10:33 PM - 9 Mar 2017 なんとなくやや感情的な煽りになっているので私の立ち位置を書いておくと、最近は Go をよく書いています。昔は Java を書いていました。私は Go も Java も両方好きです。あとおまけで Python も好きです。それぞれ素晴らしい言語だと思います。 私自身 Generics に詳しくなく、ちょうど Generics のことを勉強し直そうと思っていたところなので元記事はとても勉強になりました。元記事で @mattn が書いていることは概ね正しいと思うので同意するところなのですが、いくつか説明が抜けているところがあったように思うので本稿では補足を書いてみます。 以下の記事は Java について触れて

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? 本稿は以下で公開されている Ben Treynor 氏と Niall Murphy 氏のインタビュー記事の翻訳です。 https://landing.google.com/sre/interview/ben-treynor.html 免責事項/Disclaimer 本稿は 非公式 の翻訳記事です。インタビュアーの Niall Murphy 氏 (@niallm) に翻訳を公開することの許可は取っています。本稿の内容に関して Niall Murphy 氏と Google 社は一切の責任を負いません。 Japanese version of

本稿は 2015年2月24日 に Bennie Mols (@BennieMols) 氏によって書かれた記事の翻訳です。 Python at 25 誤訳などありましたら編集リクエストを送って頂けると助かります。 @uasi に誤訳を修正して頂きました、ありがとうございます！ By Bennie Mols February 24, 2015 Python を開発して25年が経ちました。Guido van Rossum は "学びやすく使いやすい、とても対話的に機能する" というプログラミング言語を未だに探し続けています。 クレジット: Bennie Mols 長年にわたり、Python は世界で使われている言語のトップ10に入るようになりました。Dropbox, Google, Mozilla そして Walt Disney アニメーションスタジオといった企業にはたくさんの Python ユ

本稿は 2016年10月13日 (木) に Tim Abbott 氏によって書かれた記事の翻訳です。 Static types in Python, oh my(py)! https://news.ycombinator.com/item?id=12703008 免責事項/Disclaimer 本稿は 非公式 の翻訳記事です (著者の Tim Abbott 氏に翻訳を公開することの確認は取っています) 。本稿の内容に関して Tim Abbott 氏と Dropbox 社は一切の責任を負いません。 誤訳などありましたら私宛に編集リクエストを送って頂けると助かります。 謝辞 @takada-at に誤訳の指摘をコメントで頂きました @shimizukawa から誤訳修正の編集リクエストを頂きました @cocoatomo は全体を通して誤訳修正、より分りやすい日本語の表現にしてくれました 私の拙

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? pyenvが必要かどうかフローチャート 私の周りでも pyenv に対して良い印象をもって語らない風潮はあってその理由がよく分かりました。ここで @shibukawa が書いていることを私は正しいと思うし、pyenv というツールそのものを批判しているのではなく、目的や用途を理解せずに pyenv を勧めたり使ってしまったりしてしまう人への懸念があるというのは理解できました。 ちなみに私は普段 OS X と Linux (Ubuntu) を使っているのですが、Linux では pyenv を、OS X では MacPorts を使って複

Python やそのパッケージをインストールする方法はいくつかありますが、ここでは Anaconda を使ってインストールする方法を紹介します。 私の周りでは Anaconda で環境構築をすることと Python コミュニティ標準の方法をとることの是非についての議論をよく見かけます。自分の目的にあったものを選択すれば良いと思いますが、初心者にとってどちらが目的に叶うものかを判断するのは難しいことかもしれません。 以下にディストリビューターとして Anaconda (Continuum Analytics 社) が提供している価値について私見をまとめました。 Anaconda は Environment Isolation Tool (環境分離ツール) ではない 一方で Python コミュニティ公式のバイナリーディストリビューションを提供するツールである wheel も充実してきました。

これらのアノテーションは実行時に普通の __annotations__ 属性として参照できる一方で、 実行時には型チェックを行いません 。その代わり、この提案は独立したオフライン型チェッカーの存在を仮定しています。ユーザーはそのような型チェッカーを使って自主的にソースコードを検査できます。基本的にこういった型チェッカーは非常に強力なリンター (linter) として機能します。(もちろん似たようなチェッカーを使って個々のユーザー向けに契約による設計 (Design By Contract) の強制や JIT 最適化を実行時に行うこともできるはずですが、そういったツールはまだ実用レベルにはなっていません。) この提案は mypy [mypy] に強く触発されています。例えば、"整数型のシーケンス" の型は Sequence[int] のように記述します。角括弧を使うことで言語に新しい構文を追

本稿は 2015年5月27日 (水) に Armin Ronacher (@mitsuhiko) 氏によって書かれた記事の翻訳です。 Rust for Python Programmers 訳者は Rust を全く知らないため、勘違いや誤訳もあると思います (特に用語) 。そういった誤りを見つけたら編集リクエストを送ってもらえると助かります。 Python プログラマーのための Rust 入門 いま Rust 1.0 が登場して非常に安定しているので、Python プログラマー向けに Rust の入門記事を書くとおもしろいのではないかと私は思いました。この手引きでは、Rust 言語の基礎を調べながら異なる構成概念とそれらがどう振る舞うのかを比較します。 Rust という言語は Python と比べると全く異なる獣です。単に一方がコンパイル型言語でもう一方がインタープリター型言語であるという

前回の Python の ast モジュール入門 (抽象構文木を辿る) では、ast モジュールのヘルパー関数を使って抽象構文木を辿ることを紹介しました。 抽象構文木を NodeVisitor で辿る ast モジュールのヘルパー関数を使うのも1つの方法ですが、ast.NodeVisitor を使うと、もっとお手軽に抽象構文木を辿ることができます。やっていることはヘルパー関数を使うのと同じだというのを NodeVisitor の実装を見た方が分かりやすいのでその実装から紹介します。NodeVisitor は Visitor パターン というデザインパターンの1つです。 class NodeVisitor(object): def visit(self, node): """Visit a node.""" method = 'visit_' + node.__class__.__name_

概要 Python で 抽象構文木 (Abstract Syntax Tree) を扱うのに、その名の通り ast モジュール が標準ライブラリとして提供されています。 PEP で AST について言及しているのは PEP 339 - Design of the CPython Compiler のようです。Python 2.5 で ast モジュールが追加され、2.6 でヘルパー関数が提供されたようです。余談ですが、2.6 の What's New によると、 The ast module provides an Abstract Syntax Tree representation of Python code, and Armin Ronacher contributed a set of helper functions that perform a variety of comm

タイトルは意味不明です。 動機付け 代数的データ型 について、私の知りたかったことが [ADTs for Python] (http://stupidpythonideas.blogspot.jp/2014/08/adts-for-python.html) に書かれているように思います。とはいえ、当初 wikipedia (日本語) の説明を読んでもよく分からなくて、いくつかのブログやコードを読んで理解度を上げてから読んだため、最初にくだんのブログ記事を読んでも理解度が足らなかったかもしれないというのも否定はできません。 代数的データ型について、日本語で入門的な分かりやすいものを私は見つけられていなかったのですが、以下の説明が端的に表していて受け入れやすいように私は思いました。 [第1章　関数プログラミングは難しくない！―初めて学ぶ人にも，挫折した人にもきちんとわかる] (http://g

[AST] (http://ja.wikipedia.org/wiki/%E6%8A%BD%E8%B1%A1%E6%A7%8B%E6%96%87%E6%9C%A8) を調べていて [Visitor パターン] (http://ja.wikipedia.org/wiki/Visitor_%E3%83%91%E3%82%BF%E3%83%BC%E3%83%B3) が出てきました。Visitor パターン使うと何が嬉しかったんだっけ？と基本的なことが分かっていなかったので復習しました wikipedia には Java のコード例が紹介されているので Python3 で書き直してみました。当初は、日本語の方のコードを例を見ながら移植していて、なんか中途半端なサンプルだなと思っていたら英語の Visitor pattern の方はより簡潔なコード例に修正されていました。このページは英語の方を見た方

本稿は Python に型アノテーションを追加するという PEP 483 - The Theory of Type Hinting の提案で参照されている Jeremy Siek (@jeremysiek) 氏と Walid Taha 氏が開発した漸進的型付けについての入門記事の翻訳です。 What is Gradual Typing Python 3.5 で導入された型アノテーションについて興味がある方は以下を参考にしてください。 Python と型ヒント (Type Hints) と #pyconjp [翻訳] PEP 0484 -- 型ヒント (Type Hints) Revenge of the Types: 型の復讐 私自身、型システムに明るくないため、一部未訳の部分があったり、勘違いや誤訳もあると思います。そういった誤りを見つけたら編集リクエストを送ってもらえると助かります。

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? 本稿は Python に型アノテーションを追加するという提案が行われたときに起こった Python コミュニティの議論の後、2014年8月24日 (日) に Armin Ronacher (@mitsuhiko) 氏によって書かれた記事の翻訳です。 Revenge of the Types Revenge of the Types by Armin Ronacher : Python (REDDIT) Revenge of the Types | Hacker News Python 3.5 で導入を検討している型アノテーションについて