Ruby 3の静的解析機能のRBS、TypeProf、Steep、Sorbetの関係についてのノート - クックパッド開発者ブログ
こんにちは、フルタイムRubyコミッタとして働いてる遠藤（@mametter）です。 Ruby 3 は「静的型解析」を備えることが目標の 1 つになっています。遠藤が開発してる TypeProf は Ruby 3 の静的型解析エコシステムの中の 1 ツールです。しかし Ruby 3 の静的解析というと、RBS、TypeProf、Steep、Sorbet などいろいろなツール名が出てきてよくわからない、という声を何回か聞いたので、かんたんにまとめておきます。 3 行まとめ RBS：Ruby の型情報を扱う言語。Ruby 3 にバンドルされる。 TypeProf：型注釈のない Ruby コードを型解析するツール。Ruby 3 にバンドルされる。 Steep/Sorbet：Ruby で静的型付けのプログラミングができるツール。 詳しくはそれぞれ以下で解説します。 RBS とは RBS は、Rub
Ruby 3 の静的解析ツール TypeProf の使い方 - クックパッド開発者ブログ
こんにちは、フルタイムRubyコミッタとして働いてる遠藤（@mametter）です。昨日、Ruby 3.0.0-preview2がリリースされました！ このリリースには、遠藤が開発している Ruby の静的型解析ツール TypeProf が初めて同梱されています。これの使い方をかんたんにご紹介したいと思います。 デモ TypeProf は、型注釈のない Ruby コードを無理やり型解析するツールです。とりあえずデモ。 # user.rb class User def initialize(name:, age:) @name = name @age = age end attr_reader :name, :age end User.new(name: "John", age: 20) typeprof コマンドは、Ruby 2.7 で gem install typeprof でインスト
CentOSが開発方針を変更ーー「CentOS 8」は2021年終了、今後は「CentOS Stream」に注力 | OSDN Magazine
The CentOS Projectは12月8日、Linuxディストリビューション「CentOS」の開発方針の変更を発表した。「Red Hat Enterprise Linux（RHEL）」互換の「CentOS Linux」からフォーカスを「CentOS Stream」に移すという。「CentOS Linux 8」は2021年に終了するとしている。 CentOS（Community ENTerprise Operating System）はRed Hat Enterprise Linux（RHEL）と互換を目指すディストリビューションを開発するコミュニティプロジェクト。オープンソースで公開されているRHELのソースコードを元に、商標など無償公開・配布の際に問題となる著作物を取り除いてビルドし、公開している。2004年に歴史を遡るプロジェクトで、途中存続の危機を迎えがら2014年にRed H
GitHub、企業がオープンソースに寄付できる「GitHub Sponsors for companies」発表。GitHub Universe 2020
GitHub、企業がオープンソースに寄付できる「GitHub Sponsors for companies」発表。GitHub Universe 2020 GitHubは、オンラインイベント「GitHub Universe 2020」において、企業がオープンソースプロジェクトに金銭的な支援を行える「GitHub Sponsors for companies」を発表しました。 We all depend on open source every day, so it’s crucial to invest back into that infrastructure we’ve built our businesses and lives upon. So starting today, companies can sponsor projects and developers through
色々あった2020年に読んで特に良かった本8選｜高橋祥子
ジーンクエストというゲノム解析ベンチャーを経営している高橋祥子です。「おすすめの本は何ですか」とよく聞かれるので、2020年に読んだ本のうちここ1-2年以内に日本で出版され、読んでとても良かった本達をご紹介します。私は生命科学分野の人なので、特に科学者が社会や人間について書いた本が心の底から好きです。 読書とは、生体反応のように「刺激(書籍)」と「受容体(読者)」の状態によって反応が決まるため、よく知っている人であれば今の状態に合わせてお薦めしたいと思っていますが、それでもいろんなステージの人に薦められる普遍的な内容の本もあり、今回はそのような本を選んで紹介していきたいと思います。 1. 危機と人類 なんといっても今年はこの本です。2020年は感染症による世界的な危機の年で、危機に対する心構えや考え方についての良い本がないかと探しているなかで、個人的に最も良い知見が得られた本です。 過去の
Ruby 3.0.0 Preview 2 Released
Posted by naruse on 8 Dec 2020 We are pleased to announce the release of Ruby 3.0.0-preview2. It introduces a number of new features and performance improvements. Static Analysis RBS RBS is a language to describe the types of Ruby programs. Type checkers including TypeProf and other tools supporting RBS will understand Ruby programs much better with RBS definitions. You can write down the definiti
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
