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
280
RaaP
ksss
May 08, 2024
Tweet
Share
More Decks by ksss
See All by ksss
Railsの型ファイル自動生成における課題と解決
ksss
4
3.9k
RBS generation framework using Rack architecture
ksss
0
6.5k
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
Temporalを取り巻く仕様を整理する
sajikix
0
110
DMMプラットフォームにおけるTiDBの導入から運用まで
pospome
7
3k
CSC307 Lecture 10
javiergs
PRO
0
310
Javaの現状2024夏 / Java current status 2024 summer
kishida
4
1.4k
わかりやすい正解を捨てて、コトに向き合う - スクラムフェス金沢2024 スポンサーセッション
yusukekokubo
0
170
しくじり先生 Image Matching Challenge 2024 編
goosehaaan
0
810
Cloudflare Workers x AWS Lambdaの組み合わせユースケース / Cloudflare Workers x AWS Lambda Combination Use Case
seike460
PRO
2
310
はしめてのプログラミングとロボット制御
watawatavoltage
0
290
Play Billing Library 7.0.0 変更点まとめ@potatotips#88
kako351
0
160
スクラムマスターって孤独じゃないですか?
yoshitaroyoyo
1
140
入社1ヶ月でここまでやった!Findy Toolsインフラ支援の最適化
rvirus0817
6
1.4k
[After Kotlin Fest 2024 LT Night @ Sansan] もっともっとKotlinを好きになる!K2 Compiler Pluginで遊んでみよう!
kitakkun
2
260
Featured
See All Featured
It's Worth the Effort
3n
181
27k
Designing for Performance
lara
604
67k
Why You Should Never Use an ORM
jnunemaker
PRO
51
8.9k
Rails Girls Zürich Keynote
gr2m
93
13k
The Mythical Team-Month
searls
217
43k
Building Flexible Design Systems
yeseniaperezcruz
323
37k
Put a Button on it: Removing Barriers to Going Fast.
kastner
58
3.3k
Building Your Own Lightsaber
phodgson
101
5.9k
Automating Front-end Workflow
addyosmani
1362
200k
Fontdeck: Realign not Redesign
paulrobertlloyd
79
5.1k
Bootstrapping a Software Product
garrettdimon
PRO
304
110k
What’s in a name? Adding method to the madness
productmarketing
PRO
21
2.9k
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