タグ RBS
人気順 5 users 50 users 100 users 500 users 1000 users不要な処理が実行速度を速くする謎を追う - Money Forward Developers Blog
こんにちは。 id:Pocke です。マネーフォワードでは Rails を用いた Web アプリケーションの開発と、RBS という Ruby の静的型システムの開発を行っています。 最近 RBS の開発をする中で、「不要な処理を削除すると実行速度が遅くなる」という不思議な現象に遭遇しました。この記事ではその現象を解説しようと思います... 続きを読む
いかにして動的型付けのRubyに静的な型検査を持ち込むか? SteepとRBSが目指すもの - Findy Engineer Lab
Rubyをはじめとする「動的型付け」のプログラミング言語は、ソースコード中に型に関する記述が陽に出てこないことが特徴で、プログラムの実行前に(静的に)型検査をすることはありません。しかし、このようなプログラミング言語においても、大規模な開発における品質の向上や開発体験の改善、実行の高速化のために、静... 続きを読む
aws-sdk-ruby配下すべてのgemにRBSが含まれた状態でリリースされました - スペクトラム
みなさまに、RBSに関する重要なニュースを発表できることを嬉しく思います。 私の目標の一つにはRBSを当たり前の世界にするというものがあります。 この目標に対して大きなインパクトを残せたことに大変興奮しています。*1 aws-sdk-ruby配下すべてのgemにRBSが含まれた状態でリリースされました こちらは公式blogからの... 続きを読む
rubygem開発でSteepを使って型を書く時の現状のオススメ設定 (2023年3月版) - joker1007’s diary
Rails(というかActiveRecord)に型を付けるのは大変だが、Railsが絡まないrubygemにはそんなに苦労なく型が書けるので、これからgemを書く時には型を書きたいという人向けに今のところオススメの設定を紹介します。 というか自分が忘れるのでまとめておきます。 現状とはsteep-1.3.1, rbs-2.8.4を指します。 rbsは既に3系... 続きを読む
RailsアプリをRBS + Steepで型チェックするまでの手順 - アジャイルSEの憂鬱
rails new してから steep check が通るまでにやってみた作業をまとめておく。 GitHub コードはGitHubで公開しているので、詳細な手順を知りたい方は参照してください。 github.com 手順 gemを入れる steepとrbs_railsをGemfileに追加する。 # Gemfile group :development do gem 'rbs_rails', require: false gem 'stee... 続きを読む
RBSからTypeScriptに変換するGem (rbs2ts) を作ってる - memo_md
Ruby3.0 からは、型定義を処理するための rbs gem が同梱されていて、これは外部の *.rbs ファイルに記述した内容に従って、Rubyコードの型チェックを可能にしてくれる。 github.com 最近、この RBS の型定義を TypeScript の型定義に変換できないかな〜と思い、 rbs2ts という gem を実験的に作ってる。 結構荒削りなの... 続きを読む
KibelaにRBS / Steepを導入しようと考えています | bitjourney Kibela
KibelaにRBS / Steep、つまり型を導入しようと考えています。ただ、後半に書きますが導入はしばらく後になると思います。2月に入ってからかなあ。 (社内向けドキュメントですが、別に隠すこともないので外部共有しています) 目次 導入する目的 導入する方針 導入する方法 導入すると何が変わるのか、どう対応する必要が... 続きを読む
Ruby 3.0.0RC1が登場、型の記述や静的型推論ツールなど新機能。12月25日の正式リリースに向け - Publickey
Ruby 3.0.0RC1が登場、型の記述や静的型推論ツールなど新機能。12月25日の正式リリースに向け Ruby 3では、型の記述や静的型推論ツール、並列処理などの新たな機能が追加されます。 型の記述では、型情報を記述するための「RBS言語」が用意されるようになりました。このRBSで型情報のコードを記述しておくことで、Rubyの... 続きを読む
Ruby 3の静的解析機能のRBS、TypeProf、Steep、Sorbetの関係についてのノート - クックパッド開発者ブログ
こんにちは、フルタイムRubyコミッタとして働いてる遠藤(@mametter)です。 Ruby 3 は「静的型解析」を備えることが目標の 1 つになっています。TypeProf は Ruby 3 の静的型解析エコシステムの 1 つです。しかし Ruby 3 の静的解析というと、RBS、TypeProf、Steep、Sorbet などいろいろなツール名が出てきてよくわから... 続きを読む
The State of Ruby 3 Typing | Square Corner Blog
The State of Ruby 3 TypingIntroducing RBS, Ruby’s new type signature language We're pleased to announce Ruby 3’s new language for type signatures, RBS. One of the long-stated goals for Ruby 3 has been to add type checking tooling. After much discussion with Matz and the Ruby committer team, we de... 続きを読む
ハロウィンの何が日本人を夢中にさせるのか | オリジナル | 東洋経済オンライン | 新世代リーダーのためのビジネスサイト
「どうして日本人はこんなにハロウィンで盛り上がっているんですか?」 質問をしてきたのは、台湾からの留学生であるシャ・ギシンさん。現在、日本のジュエリー会社でインターンをしながら立教大学ビジネススクール(RBS)で学んでいる20代女性のシャさんは、100円ショップなどですでに8月からハロウィングッズが販売されていたことにとても驚いたそうだ。 外国人から見た日本人のハロウィン 「夏休みに日本文化につい... 続きを読む
シティは健全性審査に不合格-ゴールドマン、BOA修正後承認 - Bloomberg
3月26日(ブルームバーグ):米シティグループなど5行の資本計画が連邦準備制度理事会(FRB)のストレステスト(健全性審査)で不合格となった。ゴールドマン・サックス・グループとバンク・オブ・アメリカ(BOA)は自社株買い戻しと配当金に関する修正を行った後で合格した。 FRBの26日の発表資料によると、シティのほかロイヤル・バンク・オブ・スコットランド・グループ(RBS)とHSBCホールディングス、... 続きを読む
次の大きな危機の震源地は保険会社か:JBpress(日本ビジネスプレス)
これはパブで行われるクイズのいい設問になるかもしれない。2008年の金融危機で最も高くついた救済は何だったか、という問いだ。ロイヤル・バンク・オブ・スコットランド(RBS)だろうか? シティグループだろうか? 多くの人はそう考えている。 もちろん、先の危機での最大の破綻劇は、そもそも銀行ではなく、保険会社のアメリカン・インターナショナル・グループ(AIG)だった。 合計すると、AIGは米国政府から... 続きを読む
金融庁がRBS証券東京支店に業務改善命令検討、LIBOR不正操作 | Reuters
[東京 7日 ロイター] ロンドン銀行間取引金利(LIBOR)の不正操作問題をめぐり金融庁が、英大手銀行のロイヤル・バンク・オブ・スコットランド(RBS)(RBS.L: 株価, 企業情報, レポート)の日本拠点であるアール・ビー・エス証券東京支店に対し、業務管理体制の見直しなどを求める業務改善命令を軸に行政処分を出す方向で検討していることがわかった。 関係筋が6日、明らかにした。証券取引等監視委員... 続きを読む