Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
RaaP
Search
ksss
May 08, 2024
Programming
0
360
RaaP
ksss
May 08, 2024
Tweet
Share
More Decks by ksss
See All by ksss
Railsの型ファイル自動生成における課題と解決
ksss
4
4k
RBS generation framework using Rack architecture
ksss
0
6.6k
mrubyでruby/specを走らせてみた結果www
ksss
1
2.4k
Rubyに型があると便利か
ksss
4
4.4k
A New Testing Framework Rgot
ksss
0
1.2k
mruby hacking guide
ksss
7
1.8k
Other Decks in Programming
See All in Programming
暴走のウホーレン 〜想いってのはvimrcにしないと伝わらないんだぜ〜 / iosdc_japan_2024
uhooi
1
240
メモリ最適化を究める!iOSアプリ開発における5つの重要なポイント
yhirakawa333
0
370
Swift Concurrencyとレースコンディション
objectiveaudio
1
380
ESLint Rule により事業, 技術ドメインに沿った制約と誓約を敷衍させるアプローチのすゝめ
shinyaigeek
1
2.7k
Kotlin 2.0 and Beyond
antonarhipov
2
130
iOSDC 2024 SMBファイル共有をSwiftで実装する
kishikawakatsumi
1
110
マルチモジュールにおけるテスト最適化
fxwx23
0
110
Some more adventure of Happy Eyeballs
coe401_
2
150
実践 Advanced CallKit 〜快適な通話の実現に向けて〜
mot_techtalk
3
110
状態管理ライブラリZustandの導入から運用まで
k1tikurisu
2
240
Playwrightから始めるVisual Regression Testingのススメ by とっと
totto2727
2
1.8k
Meet BrowserEngineKit
swiftty
0
190
Featured
See All Featured
Java REST API Framework Comparison - PWX 2021
mraible
PRO
27
7.4k
Designing for humans not robots
tammielis
248
25k
The Cost Of JavaScript in 2023
addyosmani
39
5.1k
jQuery: Nuts, Bolts and Bling
dougneiner
61
7.4k
The Brand Is Dead. Long Live the Brand.
mthomps
53
37k
The Cult of Friendly URLs
andyhume
76
5.9k
What's new in Ruby 2.0
geeforr
340
31k
Building Your Own Lightsaber
phodgson
101
5.9k
How to Create Impact in a Changing Tech Landscape [PerfNow 2023]
tammyeverts
42
2k
Keith and Marios Guide to Fast Websites
keithpitt
408
22k
The Pragmatic Product Professional
lauravandoore
30
6.2k
The Straight Up "How To Draw Better" Workshop
denniskardys
230
130k
Transcript
ksss Run your RBS like a testing code. RBS as
a Property
RBS as a Property ✒ RBS class MyClass def my_method:
(Integer, Integer) -> Integer end
RBS as a Property 🍎 Property 100.times do int1 =
Random.rand(100) int2 = Random.rand(100) result = MyClass.new.my_method(int1, int2) assert_kind_of Integer, result end
RBS as a Property ✒🍎
RBS as a Property Gener a te test c a
se by RBS And execute code a utom a tic a lly
https://github.com/ksss/raap This is the RaaP
Demo
Edit RBS (Add one overload) class MyClass def my_method: (Integer,
Integer) -> Integer | (Float, Float) -> Float end
You can run RBS instantly!
If the RBS is wrong? class MyClass def my_method: (Integer,
String) -> Integer end
It detects failures and also displays reproduction codes.
Support Union type class MyClass def my_method: (0 | 1
| 2, 3 | 4 | 5) -> Integer end
Choose one of the Unions and run it. With coverage!
RBS as a Property RaaP