WorryFree Computers »
Address
:
[go:
up one dir
,
main page
]
Include Form
Remove Scripts
Accept Cookies
Show Images
Show Referer
Rotate13
Base64
Strip Meta
Strip Title
Session Cookies
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
200
RaaP
ksss
May 08, 2024
Tweet
Share
More Decks by ksss
See All by ksss
Railsの型ファイル自動生成における課題と解決
ksss
4
3.8k
RBS generation framework using Rack architecture
ksss
0
6.4k
mrubyでruby/specを走らせてみた結果www
ksss
1
2.4k
Rubyに型があると便利か
ksss
4
4.3k
A New Testing Framework Rgot
ksss
0
1.2k
mruby hacking guide
ksss
7
1.7k
Other Decks in Programming
See All in Programming
1BRC – Nerd Sniping the Java Community (Keynote JCon Slovenia)
gunnarmorling
1
130
20240525_社内でPower Platform勉強会開いたら900人来た話
ponponmikankan
0
590
Streaming I/O
macdice
0
210
来週から実践できる! LayerXのバクラク事業部で行われている Go 関連の読書会のご紹介 / Bakuraku Go Reading Group
upamune
5
300
Media over QUICとRTMP+HLSの比較
kota_yata
0
110
製造業ドメインにOneTeamでディープ・ダイブする組織設計・組織運営
i_senaz
1
200
PandasAI:生成AIがデータ分析業務にもたらすパラダイムシフト
negi111111
1
200
RustのReturn-position impl trait in trait (RPITIT) の実装を雑に見てみる
tako8ki
1
120
Goでリフレクションする、その前に / Kansai.go #1
utgwkk
4
600
Polarsの現状
daikikatsuragawa
1
1.4k
Compose UI for... a light switch? (KotlinConf 2024)
jakewharton
PRO
3
380
Reactive Java REST APIs, FTW? Virtual JUG 2024
mraible
PRO
0
440
Featured
See All Featured
BBQ
matthewcrist
80
8.8k
A Modern Web Designer's Workflow
chriscoyier
689
190k
GraphQLとの向き合い方2022年版
quramy
34
13k
Building Applications with DynamoDB
mza
88
5.7k
Optimising Largest Contentful Paint
csswizardry
14
2.5k
ピンチをチャンスに:未来をつくるプロダクトロードマップ #pmconf2020
aki_iinuma
87
45k
Code Review Best Practice
trishagee
57
16k
Creating an realtime collaboration tool: Agile Flush - .NET Oxford
marcduiker
15
1.5k
How GitHub (no longer) Works
holman
305
140k
Intergalactic Javascript Robots from Outer Space
tanoku
266
26k
Optimizing for Happiness
mojombo
372
69k
WebSockets: Embracing the real-time Web
robhawkes
59
7.1k
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