今日からneovimでRubyの型(RBS)を書き始める方法 + 実際に書いてみた感想 - joker1007’s diary
しばらくRubyをあんま触ってない日々が続いてたんですが、オフラインでRubyKaigiに参加したKaigiEffectということでやる気が甦ってきたので、型を真面目に書くための準備を整えようと色々とやってました。 RubyKaigiでモダンなRubyの開発体験のデモをいくつか見たんですが、大体VSCodeだったのが生粋のVimmerである自分としては残念だったので、neovimでも色々やれるぞという環境を整えておきたかったのも一つです。 という訳で色々環境が整ったのでまとめていきます。 ちなみに、今回の題材はrbsとSteepによる型検査です。sorbetとかもありますが、自分としてはrbsの書式の方が圧倒的に好きなのでこちらでやっていきたいと思います。 (sorbetはRubyコードに直接書けるという大きなメリットはあるんだけど……) Steepを動かす まず対象のプロジェクトにSte
GitHub - soutaro/rbs-inline: Inline RBS type declaration
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
Since Ruby's beginnings, its documentation has been maintained by people who help and support the language. Before the core team releases a new version of Ruby, contributors must update the documentation to reflect the current set of functionality, which presents many challenges to remaining consistent over Ruby's long history. One method may describe a set of arguments and the types one way, but
ロイヤルバンク・オブ・スコットランド（英: The Royal Bank of Scotland plc, 略称：RBS、スコットランド・ゲール語：Banca Rìoghail na h-Alba）またはスコットランド王立銀行は、エディンバラに本社を置くイギリスのメガバンク[2]。ナットウエスト・グループの傘下にあり、スコットランド最大の清算銀行である。ビッグバンとメロン・フィナンシャル支店買収をきっかけにアメリカ合衆国でも有数の商業銀行に成長した。 沿革[編集] ユニバーサル・バンクへ[編集] 戦間期にウィリアムズ・ディーコンズ・バンクとグリン・ミルズ商会を買収し、ユーロ債市場が隆盛した1970年に両ブランドを統合した（Williams & Glyn's Bank）。このブランドにはナショナル・コマーシャル・バンク・オブ・スコットランド（National Commercial Bank
RubyKaigi 2024, Naha
こんにちは，相生ゆら（@Little_Rubyist）です．最近配信でクロノトリガーをやっているんですがあまりにも面白すぎてありとあらゆる知人に「クロノトリガーをやれ」と言っています． さて，入社から半年以上経過しましたがその話はまた別でやるとして，私の所属している部署では勉強習慣というのがあって，自分の興味のあることを業務時間中に勉強してもいい時間が存在します．各々色んなことをやっていますが，私はその時間で少しずつRBSを導入しています．まだあまり触れていないプロジェクトなのでコードリーディングをしながらゆっくり入れていこうと思っています． CI導入まで済んだのでこれを一区切りとし，どういったことをやっていたのかをご紹介します． 型導入の準備 とってもシンプルです．steep, rbs_rails, katakata_irbをGemfileに追加します．ライブラリの型も必要なので，rbs
RubyMine 2024.1 の新機能
RubyMine 2024.1 の新機能 行全体コード補完、mise バージョンマネージャーのサポート、Ruby 3.3 のインスペクションの更新、カスタムインフレクションを使用した Ruby クラスとファイルのサポート、ERB の終了タグ、現在のプロジェクトの SDK による VCS コマンドの実行機能、Ruby 3.3 の debase 3.0 など。 RubyMine に Ruby 用の行全体コード補完が導入されました。 この機能は IDE にシームレスに統合された高度なディープラーニングモデルによって実現されています。 コンテキストを解析した結果に基づいてコード行全体を予測して候補を提供することで、コーディングの効率を向上させます。 この候補はさまざまな言語やフレームワーク用に弊社が特別にトレーニングした特殊な言語モデルによって提供されます。 このモデルは完全にローカルデバイスで動
RBSから始める静的型付け生活
黒曜 / @kokuyouwind 名古屋在住 Leaner Technologies Inc. 所属 Railsエンジニア Next.js とか AWS 周りも触ってる We're Hiring!!!
Steepによる型チェックの実践例
ybiquitous homepage; softwares, blog, slides, and so on.
センサネットワークのプロトコル ネットワーク化されたセンサノードが相互に通信し合うためには，共通の通信手順を規定しておく必要がある（ネットワークプロトコル）． センサネットワークは，数百〜数千という数のセンサノードから構成されることも想定され，人が各ノードの電源を管理することは現実的ではない．また，センサネットワークは水，森，砂漠，体内など，人が物理的に接触して管理するには困難な場所へのノードの設置も想定される． このように，センサノードへの電力供給は物理的に困難な場合があり，電力の消滅はネットワーク構成要素の消滅と捉えられている． 以上のような要求から，既存のインターネットの仕組みをそのままセンサネットワークに適応することは最善の方法とはならない． 基礎技術 センサネットワークでは物理的な現象をセンシングするため，それらの現象がいつ（時刻同期），どこで（位置測定）起こったことなのかという
既存のgemにRBSで型定義を書く - kymmt
RBSの練習としてhatenablogというgemの型定義をRBSで書いた。 https://github.com/kymmt90/hatenablog/blob/v0.8.0/sig/hatenablog.rbs まだ該当gemのsigディレクトリに置いているだけだが、やったことを書いておく。 作業の流れ Ruby 3.0をインストールするなどしてrbs、typeprofは使える状態になっているとする。 TypeProfで型定義ファイルの雛形を生成する Steepを設定する rbs collectionでサードパーティgemの型定義を導入する steep checkを実行してエラーを確認する 型定義やコード本体を修正し、エラーを解消する CIでSteepを実行する ディレクトリ構造 次のようなディレクトリ構造とした。 . ├── Steepfile ├── lib │ └── （ge
rbs collectionの基本と構成要素 - Money Forward Developers Blog
こんにちは。 id:Pocke です。マネーフォワードでは、クラウド会計Plus の開発と、今回お話する RBS のメンテナンスを行っています。 最近、福井県は若狭にある年縞博物館に行って楽しんできました。1 さてこの記事では rbs collection の基本と構成要素を解説します。 この記事を読むことで rbs collection がどのようなもので何をしているのかが理解できるようになるでしょう。 この記事では記事執筆時点での最新の、rbs v3.2.1 を対象としています。 rbs collection の基本的な使い方 rbs collection の基本的な使い方は簡単です。 設定ファイルの生成 まず、rbs collection initコマンドで設定ファイルを生成します。この生成は rbs collection を使い始める初回にのみ行います。 $ rbs collect
Leaner 開発チームの黒曜(@kokuyouwind)です。 RubyKaigi 2023 で「RBS meets LLMs - Type inference using LLM」と題して LT させていただきました。 そのうち本編のアーカイブ映像が出るはずですが、文字でも読めるよう大まかな内容を記事にまとめておきます。 また時間に収まりきらなかった内容も少し触れておくので、本編見ていただいた方も 本編に盛り込めなかった話 の節を呼んでもらえると嬉しいです。 発表スライド 以下の slides.com のものがマスターです。 フォントが中華フォントに化けてしまっていますが、一応 SpeakerDeck に上げたものも埋め込んでおきます。[1] 発表概要 Ruby の型定義ファイルである RBS を、 ChatGPT で推測できるか試してみました。 特に変数名や関数名の単語の意味を使うこ
K-Ruby という鹿児島のRubyコミュニティの忘年LT大会でRBSを使ってみた話をします。オンラインですが、九州盛り上げていきましょう！ k-ruby.connpass.com それはそれとしてRBSというものに今回ちゃんと触れるので、触れた記録を雑にでも残していこうと思い、ブログを書きます。どれくらい後学のためになるのかならないのかわかりませんが、触ってみたライブな感想をなるべく残しておくのは意味があるでしょう、と。 @yoshikouki さんには「RailsにRBSを入れる方法を教えてください！」って言われてて、俺にRailsの話を聞くのか... って思ったんですけど、 まあその辺の面白そうなトピックは @yoshikouki さんのために取っておこうと思うので、僕はもうちょっと簡単なプログラム、そう、 プログラミング言語のパーサ をRubyで、型付きで書こうと思いました。 最初
この記事は何 記事投稿キャンペーン「【RubyKaigi 2023連動イベント】みんなでRubyの知見を共有しよう」の参加記事です。 この記事では、「Let's write RBS!」で取り上げられていたrbs subtractについて紹介します。 スライドは↓です。 rbs subtractについて rbs subtractについては以下の記事に詳しく書かれていますが、二つのrbsファイルのうち、定義が重複しているものを片方から削除することができるようなコマンドです。 以下のような二つのRBSファイルがあったときの例を考えます。
Ruby TypeProf Playground
def hello_message(user) "The name is " + user.name end def type_error_demo(user) "The age is " + user.age end user = User.new(name: "John", age: 20) hello_message(user) type_error_demo(user)
はじめに RubyKaigi2023に先日、オンラインで一部参加させて頂きました。 正直言って自分自身の英語力の弱さと相俟って理解出来てない部分も、多数あったかなと思います。 今回はRubyKaigiで紹介されたスライドを紹介しつつ、初めて聞く単語も多かったので気になったもの新しく調べた内容と共にまとめていきます！ UTF-8 is comming to mruby/c(DAY1) mruby/cはASCII(バイナリ)のみを使用してきましたが、UTF-8をサポートするようになったとのこと。 mruby/cで利用可能なUTF-8サポートをどのように実装したのかを説明されていました。 そもそもmruby/cって? 以下しまねソフト研究開発センターより引用 mruby/cは、Rubyの特徴を引き継ぎつつ、プログラム実行時に必要なメモリ消費量が従来のmruby（福岡で開発された組込み向けの軽量R
Rule-based system - Wikipedia
This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "Rule-based system" – news · newspapers · books · scholar · JSTOR (May 2019) (Learn how and when to remove this template message) In computer science, a rule-based system is used to store and manipulate k
RailsアプリケーションにおけるRBSの運用方法 - Studyplus Engineering Blog
こんにちは。サーバーサイドエンジニアの山田です。 Rubyに型システムが入ってからしらばく経ちましたが、弊社のRailsプロジェクトの一部でもRBSを導入しました。 そのことについて昨年行われたKaigi on Rails 2022にて「RBSとSteepで始める型のあるRails開発とその運用」というタイトルで発表しました。 この記事では発表の内容についてあらためて整理した内容やその後の状況について紹介します。 記事の目的 RBSを導入した背景 対象となるRailsアプリケーション どうやって進めたか RBSの分類 ディレクトリ構成 自作クラス・モジュールなどのRBS GemのRBS(RBS Collectionにあり) GemのRBS(RBS Collectionになし) 当初の運用ルール 変更後の運用ルール RBS Railsから生成されるRBS 標準ライブラリのRBS CIの導入
～いつ・誰が・どこで・何をしたのか～ ここでは、NetFlowとは何か、また、NetFlow（フロー計測の業界標準フォーマット）を利用した ネットワーク監視・分析にはどういったメリットがあるのかをご説明いたします。 NetFlow（ネットフロー）によるネットワークトラフィック監視 NetFlowとは、米シスコシステムズ（Cisco Systems,INC.）が開発した、ネットワークのトラフィックの 情報を監視・分析するための技術です。 主にシスコ製のルーターやスイッチに実装されていますが、現在では、フロー計測における業界の標準と なりつつあり、多くのベンダーのネットワーク機器でサポートされるようになっています。 NetFlowなどのフロー情報を分析することで、操作上またはセキュリティ上の問題を明らかにし、 外部または内部のネットワークセキュリティを強固にします。 ネットワークにおけるフロー
GitHub - ksss/orthoses
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
Leaner 開発チームの黒曜(@kokuyouwind)です。 先日の RubyKaigi 2024で Let's use LLMs from Ruby 〜 Refine RBS types using LLM 〜 というタイトルで登壇させていただきました！ 参加しての感想は別記事にするので、この記事では発表の概要や裏話などをまとめます。 動画アーカイブ 記事執筆時点では公開されてないので、公開されたら更新します。(去年はフルセッションの録画がアップロードされてるので、今年もそのうち出るはずです) 発表スライド 自分の発表資料は slides.com というサービスでスライドを作っています。 埋め込み表示ができませんが、上記リンクから開くと発表時のスライドがそのまま見られます。 一応 Speaker Deck にもアップロードしていますが、 PDF 出力時にフォントが化けてしまっているた
Video Tutorial: Get Started with RBS in RubyMine | The RubyMine Blog
Hello everyone, In this tutorial, you will learn how to add RBS to your project and get an overview of the main RBS features that RubyMine offers. For more information about this topic, read the section dedicated to RBS in the RubyMine documentation. Please feel free to share your feedback on our RBS support in the comments below, on our website, or on Twitter. And as always, please report any iss
gem_rbs_collection の新しいワークフローの紹介 | Webシステム開発／教育ソリューションのタイムインターメディア
先日、ある gem の型情報を gem_rbs_collection に投稿したところ、 ワークフローが以前と変わっていることに気づきました。 今回はこの新ワークフローを紹介します。 gem_rbs_collection とは? gem_rbs_collection は Ruby の型情報を収集しているリポジトリです。 Python の typeshed や TypeScript の DefinitelyTyped に相当します。 RBS では、型情報をいくつかの場所に分けて管理しています。 Ruby の組み込みクラス、標準ライブラリの型情報 rbs gem に収録 gem の型情報 gem 本体に同梱 gem_rbs_collection に収録 個々のアプリケーション内で管理 個々のアプリケーションの型情報 個々のアプリケーション内で管理 gem_rbs_collection は ge
Railsチュートリアルのsample_appに型を導入
ふーが といいます。普段は Ruby on Rails を利用したアプリケーション開発をしているプログラマです。 この記事は Rails アプリケーションへの型導入を試してもらうことを目的とした記事です。主に Ruby on Rails チュートリアル （以下「Rails チュートリアル」と呼称）で学ばれた方向けに「静的型とはなにか」「Ruby での型の扱い」「Rails アプリケーションへの型導入方法」を知っていただくきっかけになればうれしく思います。 この記事では実際に手を動かしながら Rails アプリケーションに型を導入する手順を体験できます。題材として Rails チュートリアルの sample_app を使用させていただいています。 前提 型を導入するにあたり前提となる部分を簡単にご紹介します。「型」と聞いてイメージがつく方はこの段落は飛ばしていただいてかまいません。 型とは何
SteepのAnnotationに関する備忘録 #asakusa_bashi_rbs - アジャイルSEの憂鬱
Steepのmanual/annotations.mdを読みながら、実際にコードを書いて覚えたことをブログにまとめる。 変数 変数の型を String? から String にするときに便利そう。 # @type var value: String value = %w[a b c].sample puts('Hi, ' + value) アノテーションがない場合、 sample: () -> String? なので型検査エラーになる。 app/user.rb:2:14: [error] Cannot pass a value of type `(::String | nil)` as an argument of type `::string` │ (::String | nil) <: ::string │ (::String | nil) <: (::String | ::_ToSt
ＲＢＳなど本社機能移転計画を中止、スコットランド独立否決で
9月１９日、イングランドへの本社機能移転を示唆していた金融機関が相次ぎ、計画の中止を発表した。ＲＢＳのロゴマーク。２０１２年２月撮影（２０１４年 ロイター/Stefan Wermuth ） ［ロンドン １９日 ロイター］ - スコットランドの住民投票で英国からの独立が否決されたことを受け、独立した場合にイングランドへの本社機能移転を示唆していた金融機関が相次ぎ、計画の中止を発表した。 エディンバラに本店を置くロイヤル・バンク・オブ・スコットランド（ＲＢＳ）の広報担当者は「本店所在地の登記をイングランドに移すとの発表は、独立賛成派が多数となった場合のコンティンジェンシー・プラン（不測の事態を想定した緊急対応策）だった。この計画はもはや不要となった」と説明。「投票結果を受け、当行はこれまで通り営業を続ける」と述べた。
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Adding Type Signatures into Ruby Docs
ロイヤルバンク・オブ・スコットランド - Wikipedia
Embedding it into Ruby code
RBSをCIに導入して型の恩恵を得たい - BOOK☆WALKER inside
センサネットワークのプロトコル 時刻同期 - WebLab.ota
RBS meets LLMs - 大規模言語モデルを用いた型推論を試してみた
型付きRubyでパーサを書く（前編） - ローファイ日記
rbs subtractを使ってみる - Qiita
【Ruby】RubyKaigi2023で興味を持った技術【RBS】 - Qiita
NetFlowとは │Flowmonコラム│NetFlow sFlow対応ネットワークトラフィック監視 Flowmon
RubyKaigi 2024 で RBS と LLM の話をしました