RBS::Inline を導入してみました (1) | Webシステム開発／教育ソリューションのタイムインターメディア

2024/10/17 8 users inline YARD rbs-inline タイミーさん

RubyKaigi 2024 の Embedding it into Ruby code というトークで RBS::Inline が発表されてから、4ヶ月が経ちました。 その間にいくつかの導入事例、利用記事を見かけてきましたが、タイミーさんの 前編：YARD から rbs-inline に移行しました という記事を読んで、重い腰を上げて RBS::Inline を導入することにしました... 続きを読む

不要な処理が実行速度を速くする謎を追う - Money Forward Developers Blog

2024/09/26 139 users 実行速度 処理 Rails Pocke Ruby

こんにちは。 id:Pocke です。マネーフォワードでは Rails を用いた Web アプリケーションの開発と、RBS という Ruby の静的型システムの開発を行っています。 最近 RBS の開発をする中で、「不要な処理を削除すると実行速度が遅くなる」という不思議な現象に遭遇しました。この記事ではその現象を解説しようと思います... 続きを読む

いかにして動的型付けのRubyに静的な型検査を持ち込むか？ SteepとRBSが目指すもの - Findy Engineer Lab

2024/06/18 14 users STEEP プログラミング言語 記述 実行 プログラム

Rubyをはじめとする「動的型付け」のプログラミング言語は、ソースコード中に型に関する記述が陽に出てこないことが特徴で、プログラムの実行前に（静的に）型検査をすることはありません。しかし、このようなプログラミング言語においても、大規模な開発における品質の向上や開発体験の改善、実行の高速化のために、静... 続きを読む

aws-sdk-ruby配下すべてのgemにRBSが含まれた状態でリリースされました - スペクトラム

2024/01/31 21 users gem スペクトラム インパクト みなさま 目標

みなさまに、RBSに関する重要なニュースを発表できることを嬉しく思います。 私の目標の一つにはRBSを当たり前の世界にするというものがあります。 この目標に対して大きなインパクトを残せたことに大変興奮しています。*1 aws-sdk-ruby配下すべてのgemにRBSが含まれた状態でリリースされました こちらは公式blogからの... 続きを読む

RBS に最近追加された構文 - Money Forward Developers Blog

2023/10/13 5 users Pocke 構文 出雲 一方 開発

こんにちは。id:Pocke です。今年は3回ぐらいサンライズ瀬戸・出雲に乗っている気がします。 この記事では RBS に最近追加された構文を紹介します。 RBS は活発に開発をされており、ここ最近も多くの機能が追加されてきました。 一方でそれらの新機能は十分に知られていません。せっかくの新機能が知られず使われていな... 続きを読む

rubygem開発でSteepを使って型を書く時の現状のオススメ設定 (2023年3月版) - joker1007’s diary

2023/03/15 16 users Rails ActiveRecord RubyGem gem

Rails(というかActiveRecord)に型を付けるのは大変だが、Railsが絡まないrubygemにはそんなに苦労なく型が書けるので、これからgemを書く時には型を書きたいという人向けに今のところオススメの設定を紹介します。 というか自分が忘れるのでまとめておきます。 現状とはsteep-1.3.1, rbs-2.8.4を指します。 rbsは既に3系... 続きを読む

YARDタグからRBSを生成する - スペクトラム

2022/10/19 6 users スペクトラム

YARD YARDはドキュメンテーションツールです。 Rubyのコメントに # @param [String] a # @return [void] def foo(a) end みたいな記述を見たことがありませんか？ この@paramがYARDのタグ名、[String]がタグのもつ型情報です。aは引数の名前ですね。 YARDではこの型情報を元にリンクを貼ったwebページを生成したりできま... 続きを読む

RubyKaigi 2022 で動的に RBS を生成してみた話をする - Secret Garden(Instrumental)

2022/09/09 6 users RubyKaigi Instrumental Ruby 宣伝

前日の宣伝になってしまうんですが明日の RubyKaigi 2022 で動的に RBS を生成してみた話をします。 Let's collect type info during Ruby running and automaticall - RubyKaigi 2022 内容としては上に書いてある通りなんですが Ruby の実行中に型情報を収集して RBS を生成してみたって内容の話になります。 やったこ... 続きを読む

Ruby3.1 静的解析の導入で開発体験を向上させる (RBS, TypeProf)｜Offers Tech Blog

2022/05/14 7 users TypeProf 解析 Offers Tech Blog

まえがき こんにちは、Offers を運営している株式会社 overflow CTO の 大谷旅人 です。 小ネタです。 弊社では Ruby/Rails をバックエンドの開発言語として採用しており、その柔軟性は開発の大きな助けとなっている面がありつつも、コードベース全体の規模増加や保守効率を考えて環境自体の見直しや、段階的な新環境へ... 続きを読む

Rails + RBS & Steepを試してみて困ったところとか感想とか - Qiita

2022/03/23 6 users Rails Qiita STEEP 一筋縄 試行錯誤

まえがき Railsアプリに型チェックを導入しようとして試しているのですが、なかなか一筋縄ではいかないようで、試行錯誤しています。 おそらく他にも似たようなことでハマったりしている人もいるかと思うので、これまで困ったこと、そして（回避できた場合は）回避策を書いてみます。 なお、RBSやSteepとはなんぞやとい... 続きを読む

RailsアプリをRBS + Steepで型チェックするまでの手順 - アジャイルSEの憂鬱

2022/03/09 19 users GitHub Gemfile STEE require gem

rails new してから steep check が通るまでにやってみた作業をまとめておく。 GitHub コードはGitHubで公開しているので、詳細な手順を知りたい方は参照してください。 github.com 手順 gemを入れる steepとrbs_railsをGemfileに追加する。 # Gemfile group :development do gem 'rbs_rails', require: false gem 'stee... 続きを読む

RubyKaigi Takeout 2021 に登壇した - pockestrap

2021/09/10 7 users pockestrap Google.com スライド 中心

RubyKaigi Takeout 2021 に登壇しました。 rubykaigi.org スライドはこちら。 docs.google.com 今回は、Ruby 3.1に向けてRBSはどのような機能追加を予定しているのか、という話をしました。私が最近開発しているrbs collectionコマンドを中心に据えて、soutaroさんが開発予定のRBS言語仕様のアップデートについても紹介... 続きを読む

RBSからTypeScriptに変換するGem (rbs2ts) を作ってる - memo_md

2021/01/20 12 users gem TypeScript github.com 型定義

Ruby3.0 からは、型定義を処理するための rbs gem が同梱されていて、これは外部の *.rbs ファイルに記述した内容に従って、Rubyコードの型チェックを可能にしてくれる。 github.com 最近、この RBS の型定義を TypeScript の型定義に変換できないかな〜と思い、 rbs2ts という gem を実験的に作ってる。 結構荒削りなの... 続きを読む

KibelaにRBS / Steepを導入しようと考えています | bitjourney Kibela

2021/01/17 15 users STEEP Kibela 目次 外部 後半

KibelaにRBS / Steep、つまり型を導入しようと考えています。ただ、後半に書きますが導入はしばらく後になると思います。2月に入ってからかなあ。 (社内向けドキュメントですが、別に隠すこともないので外部共有しています) 目次 導入する目的 導入する方針 導入する方法 導入すると何が変わるのか、どう対応する必要が... 続きを読む

Ruby 3.0.0RC1が登場、型の記述や静的型推論ツールなど新機能。12月25日の正式リリースに向け － Publickey

2020/12/22 18 users Publickey 記述 正式リリース Ruby 登場

Ruby 3.0.0RC1が登場、型の記述や静的型推論ツールなど新機能。12月25日の正式リリースに向け Ruby 3では、型の記述や静的型推論ツール、並列処理などの新たな機能が追加されます。 型の記述では、型情報を記述するための「RBS言語」が用意されるようになりました。このRBSで型情報のコードを記述しておくことで、Rubyの... 続きを読む

Ruby 3の静的解析機能のRBS、TypeProf、Steep、Sorbetの関係についてのノート - クックパッド開発者ブログ

2020/12/09 14 users mametter STEEP Sorbet TypeProf

こんにちは、フルタイムRubyコミッタとして働いてる遠藤（@mametter）です。 Ruby 3 は「静的型解析」を備えることが目標の 1 つになっています。TypeProf は Ruby 3 の静的型解析エコシステムの 1 つです。しかし Ruby 3 の静的解析というと、RBS、TypeProf、Steep、Sorbet などいろいろなツール名が出てきてよくわから... 続きを読む

Rubyで型チェック！動かして理解するRBS入門 〜サンプルコードでわかる！Ruby 3.0の主な新機能と変更点 Part 1〜 - Qiita

2020/12/06 5 users Qiita Ruby サンプルコード 新機能 役割

はじめに Ruby 3.0ではRubyのコードに型定義情報を提供するRBSという仕組みが導入されます。 この記事では簡単なサンプルプログラムを通して、RBSとその周辺ツールの使い方や役割を説明します。 なお、説明する内容はあくまで初歩的な内容です。予めご了承ください。 動作確認時の実行環境 本記事の執筆時点ではまだRuby... 続きを読む

The State of Ruby 3 Typing | Square Corner Blog

2020/07/29 13 users typing signatures TEAM

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... 続きを読む

英中銀のストレステスト、対象の大手７行全て合格 - Bloomberg

2015/12/01 7 users Bloomberg pra ブルームバーグ スコットランド

（ブルームバーグ）：イングランド銀行（英中央銀行）による今年の銀行ストレステスト（健全性審査）では、対象となった大手７行全てが合格した。スタンダードチャータードとロイヤル・バンク・オブ・スコットランド・グループ（ＲＢＳ）も追加増資を免れた。テスト結果を受けて１日のロンドン市場で銀行株が上昇した。 個別の項目で基準に達しないものもあり、英中銀の健全性監督機構（ＰＲＡ）が同日発表した声明によると、20... 続きを読む

ハロウィンの何が日本人を夢中にさせるのか | オリジナル | 東洋経済オンライン | 新世代リーダーのためのビジネスサイト

2015/10/04 26 users ハロウィン 東洋経済オンライン 新世代リーダー オリジナル

「どうして日本人はこんなにハロウィンで盛り上がっているんですか？」 質問をしてきたのは、台湾からの留学生であるシャ・ギシンさん。現在、日本のジュエリー会社でインターンをしながら立教大学ビジネススクール（RBS）で学んでいる20代女性のシャさんは、100円ショップなどですでに8月からハロウィングッズが販売されていたことにとても驚いたそうだ。 外国人から見た日本人のハロウィン 「夏休みに日本文化につい... 続きを読む

英ＲＢＳ：富裕層事業クーツをスイスのＵＢＰに売却で合意 - Bloomberg

2015/03/28 5 users Bloomberg スイス 合意 プリペ 売却

（ブルームバーグ）：英政府が保有する銀行、ロイヤル・バンク・オブ・スコットランド・グループ（ＲＢＳ ）は、傘下のプライベートバンク、クーツ・インターナショナルをスイスのユニオン・バンケール・プリベ （ＵＢＰ）に売却することで合意した。スイスの富裕層向け市場から外資系銀行が撤退する動きが進んでいる。 27日の発表でＲＢＳもＵＢＰも価格は明らかにしていないものの、移行される顧客資産の額に左右されるとみ... 続きを読む

シティは健全性審査に不合格-ゴールドマン、ＢＯＡ修正後承認 - Bloomberg

2014/03/27 12 users Bloomberg ゴールドマン BoA シティ ＦＲＢ

３月26日（ブルームバーグ）：米シティグループなど５行の資本計画が連邦準備制度理事会（ＦＲＢ）のストレステスト（健全性審査）で不合格となった。ゴールドマン・サックス・グループとバンク・オブ・アメリカ（ＢＯＡ）は自社株買い戻しと配当金に関する修正を行った後で合格した。 ＦＲＢの26日の発表資料によると、シティのほかロイヤル・バンク・オブ・スコットランド・グループ（ＲＢＳ）とＨＳＢＣホールディングス、... 続きを読む

次の大きな危機の震源地は保険会社か：JBpress(日本ビジネスプレス)

2013/12/29 30 users JBpress AIG 震源地 危機 設問

これはパブで行われるクイズのいい設問になるかもしれない。2008年の金融危機で最も高くついた救済は何だったか、という問いだ。ロイヤル・バンク・オブ・スコットランド（RBS）だろうか？　シティグループだろうか？　多くの人はそう考えている。 もちろん、先の危機での最大の破綻劇は、そもそも銀行ではなく、保険会社のアメリカン・インターナショナル・グループ（AIG）だった。 合計すると、AIGは米国政府から... 続きを読む

金融庁がＲＢＳ証券東京支店に業務改善命令検討、ＬＩＢＯＲ不正操作 | Reuters

2013/02/06 13 users Reuters LIBOR スコットランド ロイター 金融庁

［東京　７日　ロイター］　ロンドン銀行間取引金利（ＬＩＢＯＲ）の不正操作問題をめぐり金融庁が、英大手銀行のロイヤル・バンク・オブ・スコットランド（ＲＢＳ）(RBS.L: 株価, 企業情報, レポート)の日本拠点であるアール・ビー・エス証券東京支店に対し、業務管理体制の見直しなどを求める業務改善命令を軸に行政処分を出す方向で検討していることがわかった。 関係筋が６日、明らかにした。証券取引等監視委員... 続きを読む

英財務相、リスク分離できない銀行に解体命じる新規則発表へ | Reuters

2013/02/04 9 users Reuters 解体 スコットランド ロイター 英財務相

［ロンドン　４日　ロイター］　英国のオズボーン財務相は４日、リスクの高い投資活動から日々の銀行業務を守ることができない銀行に対し、解体を命じる方針を表明する。この日予定されているスピーチ内容を財務相オフィスが明らかにした。 英国は２００８年の金融危機の際、総額６５０億ポンド（１０２０億ドル）の公的資金をロイヤル・バンク・オブ・スコットランド（ＲＢＳ）(RBS.L: 株価, 企業情報, レポート)と... 続きを読む