タグ

ブックマーク / qiita.com/t2y (8)

  • Anaconda は Environment Isolation Tool (環境分離ツール) ではない

    pyenvが必要かどうかフローチャート 私の周りでも pyenv に対して良い印象をもって語らない風潮はあってその理由がよく分かりました。ここで @shibukawa が書いていることを私は正しいと思うし、pyenv というツールそのものを批判しているのではなく、目的や用途を理解せずに pyenv を勧めたり使ってしまったりしてしまう人への懸念があるというのは理解できました。 ちなみに私は普段 OS X と Linux (Ubuntu) を使っているのですが、Linux では pyenv を、OS X では MacPorts を使って複数の Python バージョンの管理をしています。件の記事の分類でいうと「ライブラリの開発者」のところだと思います。 pyenv の議論は件の記事を読んでもらうとして、そこでは Anaconda についても触れています。Anaconda を pyenv の議

    Anaconda は Environment Isolation Tool (環境分離ツール) ではない
  • [翻訳] PEP 0484 -- 型ヒント (Type Hints) - Qiita

    概要 PEP 3107 は関数アノテーションの構文を導入しましたが、その意味論は意図的に未定義にされていました。今日では静的型解析を目的としたサードパーティの利用法がたくさんあり、コミュニティは標準化された語彙と標準ライブラリ内の基的ツールの恩恵を受けられます。 この PEP は、標準化された定義やツールを提供するための暫定モジュールおよびアノテーションを利用できない状況に対する規約を導入します。 この PEP は依然としてアノテーションの他の利用方法を明示的に阻むものではありません。さらに、この仕様に準拠した場合でも、アノテーションに対する何らかの特別な処理を必要とする (または禁止する) ものでもないことに注意してください。それは PEP 333 が Web フレームワークに行ったことのように、単純により良い協調をもたらすものです。 例えば、次の簡単な関数はその引数と戻り値の型がアノ

    [翻訳] PEP 0484 -- 型ヒント (Type Hints) - Qiita
  • Go 1.8 の Graceful Shutdown の振る舞いを調べてみた - Qiita

    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 1.8 の Graceful Shutdown の振る舞いを調べてみた - Qiita
  • [翻訳] Python の静的型、すごい mypy! - Qiita

    稿は 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 は全体を通して誤訳修正、より分りやすい日語の表現にしてくれました 私の拙

    [翻訳] Python の静的型、すごい mypy! - Qiita
  • [翻訳] Python プログラマーのための Rust 入門 - Qiita

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

    [翻訳] Python プログラマーのための Rust 入門 - Qiita
  • 代数的データ型とパターンマッチングと - Qiita

    タイトルは意味不明です。 動機付け 代数的データ型 について、私の知りたかったことが ADTs for Python に書かれているように思います。とはいえ、当初 wikipedia (日語) の説明を読んでもよく分からなくて、いくつかのブログやコードを読んで理解度を上げてから読んだため、最初にくだんのブログ記事を読んでも理解度が足らなかったかもしれないというのも否定はできません。 代数的データ型について、日語で入門的な分かりやすいものを私は見つけられていなかったのですが、以下の説明が端的に表していて受け入れやすいように私は思いました。 第1章 関数プログラミングは難しくない!―初めて学ぶ人にも,挫折した人にもきちんとわかる 豊かなデータ型を持つ 一般的に関数型言語は,構造体(直積),共用体(直和),列挙型および再帰型を統合し,簡潔に表現できる豊かなデータ型を提供しています。この豊かな

    代数的データ型とパターンマッチングと - Qiita
  • What is Gradual Typing: 漸進的型付けとは何か - Qiita

    稿は 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: 型の復讐 私自身、型システムに明るくないため、一部未訳の部分があったり、勘違いや誤訳もあると思います。そういった誤りを見つけたら編集リクエストを送ってもらえると助かります。

    What is Gradual Typing: 漸進的型付けとは何か - Qiita
  • Revenge of the Types: 型の復讐 - Qiita

    稿は 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 で導入を検討している型アノテーションについて興味がある方は以下を参考にしてください。 mypy で静的型付け Python プログラミング 私自身、型システムや他言語に明るくないため、一部未訳の部分があったり、勘違いや誤訳もあると思います。そういった誤りを見つけたら編集リクエストを送ってもらえると助か

    Revenge of the Types: 型の復讐 - Qiita
    rokujyouhitoma
    rokujyouhitoma 2015/01/13
    PyPyの話が時折書かれてる。興味深い。
  • 1