型チェッカーの歴史と性能比較について少しだけ掘り下げます
型チェッカーの歴史と性能比較について少しだけ掘り下げます
過去数回の記事で Requests や httpx の問題点や細かい挙動について触れてきました。これらのライブラリの代わりになるもう一つの有力なHTTPクライアントとして Niquests を紹介します。 NiquestsはRequestsのforkで、高い互換性を保ちながら、非同期処理やHTTP/2、HTTP/3のサポートなど、現代的な機能を追加しています。Requestsの低レイヤーを担う urllib3 もforkして urllib3-future として提供しており、Niquestsの現代的な機能は urllib3-future によって実装されています。 Niquestsもurllib3-futureも開発されているのは Ahmed Tahri (@Ousret) さんです。個人プロジェクトとなると不安もありますが、彼は Requests の依存ライブラリの一つである chars
リサーチ・サイエンティストのNicolas Holzschuchさんがオープンソースで開発する「a-shell」は、「ls」や「ping」といったコマンドやプログラムをiPhoneやiPad上で実行できる、シンプルなターミナルアプリです。iOS 13.0以降をインストールしたAppleデバイスであれば、無料で利用できます。 a-Shell https://holzschu.github.io/a-Shell_iOS/ まずはa-shellをインストールします。iPhoneのSafariからa-shellのウェブサイトにアクセスし、赤枠のボタンをタップ。 App Storeが起動するので「入手」をタップします。 「インストール」をタップ。 アプリのインストールが完了したら「開く」をタップします。 a-shellが起動しました。 キーボードの上側にあるボタンは、左から「Tabキー」「Contr
To do its magic, WAFW00F does the following: Sends a normal HTTP request and analyses the response; this identifies a number of WAF solutions. If that is not successful, it sends a number of (potentially malicious) HTTP requests and uses simple logic to deduce which WAF it is. If that is also not successful, it analyses the responses previously returned and uses another simple algorithm to guess i
はじめに そもそもPythonの型ヒントとは何か なぜ型チェッカが必要なのか mypy Pyre Pyright Pytype まとめ 参考文献 はじめに こんにちは! 株式会社iimonでエンジニアをしている遠藤です。 以前「ロバストPython 型チェックを効果的に導入するための考え方」という記事を書かせていただきました。この時に知った「Pytype」というツールについて気になっていたので、今回は、型チェッカを自分なりにまとめてみることにしました。 ここでは、以下の型チェッカについて取り上げます。 mypy Pyre Pyright Pytype そもそもPythonの型ヒントとは何か Pythonの型ヒントは、変数、クラス属性、関数のパラメータや返り値がどのデータ型を期待するかを明確にするためのものです。 Pythonは動的型付け言語なので強制はされませんが、オプションで以下のように
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く