[B! type] iga_kのブックマーク

Let’s collect type info during Ruby running and automatically generate an RBS file! (ja) | ドクセル

Let’s collect type info during Ruby running and automatically generate an RBS file! (ja) スライド概要 RubyKaigi 2022: https://rubykaigi.org/2022/presentations/pink_bangbi.html#day3 gem: https://github.com/osyo-manga/gem-rbs-dynamic en: https://www.docswell.com/s/pink_bangbi/5DX89K-2022-09-10-102005 現在 Ruby では開発体験を上げるための取り組みとして型情報を定義する RBS の導入や Ruby のコードを静的解析して型情報を取り出す TypeProf の開発が行われています。そこで、わたしは Type

iga_k 2023/04/01

osyoさんの実行時に型情報を集めるライブラリ。RBSファイルを手作りする方法。

リンク

GitHub - tompng/katakata_irb: IRB with Typed Completion

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

iga_k 2023/01/28

型情報でirbをブラッシュアップ

リンク

IRBの補完にRBSを組み合わせてみる - Qiita

カタカタッターンッ！ RubyのIRBめっちゃ便利ですよね。 IRBは補完機能もすごく便利なんですが、ちょっと気になるところもあります。メソッドチェーンすると正しく補完できずありとあらゆるメソッド名が候補に出てしまう正規表現で実装されてるので時々誤作動を起こす array[i]. %s[symbol]. 配列のメソッドが候補に出る array.map{}. %w{words}. HashとProcのメソッドが候補に出るなので、型情報(RBS)とかも使ってもうちょっといい補完候補を出せないかなと、gem katakata_irb を試しに作っています。gemをインストールするとkirbコマンドが使えるようになります。変えました。使い方: require 'katakata_irb' メソッドチェーンしてても、ブロック引数・変数などを使ってても、ある程度正しく型を推測して補完候補

iga_k 2023/01/28

irb
type

リンク

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 でインスト

iga_k 2023/01/09

リンク

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

こんにちは、フルタイムRubyコミッタとして働いてる遠藤︵@mametter︶です。 Ruby3は﹁静的型解析﹂を備えることが目標の1つになっています。遠藤が開発してる TypeProf は Ruby3の静的型解析エコシステムの中の1ツールです。しかし Ruby3の静的解析というと、RBS、TypeProf、Steep、Sorbet などいろいろなツール名が出てきてよくわからない、という声を何回か聞いたので、かんたんにまとめておきます。3行まとめ RBS‥Ruby の型情報を扱う言語。Ruby3にバンドルされる。 TypeProf‥型注釈のない Ruby コードを型解析するツール。Ruby3にバンドルされる。 Steep/Sorbet‥Ruby で静的型付けのプログラミングができるツール。詳しくはそれぞれ以下で解説します。 RBS とは RBS は、Rub

iga_k 2023/01/09

リンク

Sorbetについて - soutaroブログ

昨日のAsakusa.rbに行ったらSorbetについて聞かれたので、少し話したんだけど、ちょっときちんと確認しないまま話したらぐだぐだだったので、もう少しまとめておく。全体的な話として、Sorbetはとても良くできているので、これで良いと思う人はそれで良いと思います。 $ srb --version Sorbet typechecker 0.4.4306 git 31ef906fe5eb572865f2b5d3ea5805793554c676 built on 2019-06-25 06:45:18 GMT with debug symbols Rubyと少し合わないところはあるので、その辺を挙げる。 1. サブタイピングいわゆるDuck typingというやつが、まあ良くない。 sig { params(arg: Eachable).void } def push_from(arg

iga_k 2019/06/26

リンク

GitHub - ksss/type_struct

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

iga_k 2019/06/21

ksssさん作の型付きStruct

リンク

はてなブックマーク

タグ

関連タグで絞り込む (12)

typeに関するiga_kのブックマーク (7)

お知らせ

今週のはてなブックマーク数ランキング（2024年7月第2週）

はてなブックマーク透明性レポート（2024年 2月-2024年4月）

今週のはてなブックマーク数ランキング（2024年7月第1週）

公式Twitter

キーボードショートカット一覧

はてなブックマーク

公式Twitter

はてなのサービス