JSON-RPC on APIKit

Transcript

1. 1.

   JSON-RPC on APIKit

2. 2.

   None
3. 3.

   APIKit リクエストの型に応じてレスポンスの型が変わる

4. 4.

   l e t r e q u e s t

   = P o s t T w e e t R e q u e s t ( t e x t : " H e l l o , W o r l d . " ) S e s s i o n . s e n d R e q u e s t ( r e q u e s t ) { r e s u l t i n s w i t c h r e s u l t { c a s e . S u c c e s s ( l e t t w e e t / * i s T w e e t * / ) : p r i n t ( " \ ( t w e e t . s c r e e n N a m e ) : \ ( t w e e t . t e x t ) " ) c a s e . F a i l u r e ( l e t e r r o r ) : . . . } }
5. 5.

   l e t r e q u e s t

   = G e t T i m e l i n e R e q u e s t ( ) S e s s i o n . s e n d R e q u e s t ( r e q u e s t ) { r e s u l t i n s w i t c h r e s u l t { c a s e . S u c c e s s ( l e t t w e e t s / * i s [ T w e e t ] * / ) : . . . c a s e . F a i l u r e ( l e t e r r o r ) : . . . } }
6. 6.

   p r o t o c o l R e

   q u e s t T y p e { a s s o c i a t e d t y p e R e s p o n s e . . . } c l a s s S e s s i o n { f u n c s e n d R e q u e s t < R e q u e s t : R e q u e s t T y p e > ( r e q u e s t : R e q u e s t , h a n d l e r : R e s u l t < R e q u e s t . R e s p o n s e , E r r o r > ) . . . }
7. 7.

   JSON-RPC リクエストとレスポンスをJSON で表す

8. 8.

   リクエスト { " i d " : 1 , "

   j s o n r p c " : " 2 . 0 " , " m e t h o d " : " s u b t r a c t " , " p a r a m s " : [ 4 2 , 2 3 ] }
9. 9.

   レスポンス { " i d " : 1 , "

   j s o n r p c " : " 2 . 0 " , " r e s u l t " : 1 9 }
10. 10.

    1 回の通信で複数のリクエストも送れる

11. 11.

    リクエスト [ { " i d " : 1 ,

    " j s o n r p c " : " 2 . 0 " , " m e t h o d " : " f o o " , " p a r a m s " : { . . . } } , { " i d " : 2 , " j s o n r p c " : " 2 . 0 " , " m e t h o d " : " b a r " , " p a r a m s " : { . . . } } ]
12. 12.

    レスポンス [ { " i d " : 1 ,

    " j s o n r p c " : " 2 . 0 " , " r e s u l t " : { . . . } } , { " i d " : 2 , " j s o n r p c " : " 2 . 0 " , " r e s u l t " : { . . . } } ]
13. 13.

    None
14. 14.

    APIKit リクエストの型に応じてレスポンスの型が変わる

15. 15.

    JSON-PRC on APIKit リクエストの型の組み合わせに応じて レスポンスの型の組み合わせが変わる

16. 16.

    リクエスト: レスポンス:

17. 17.

    None
18. 18.

    l e t b a t c h R e

    q u e s t = B a t c h R e q u e s t ( G e t B a n n e r R e q u e s t ( i d : 1 ) , G e t P o s t s R e q u e s t ( i d : 1 , c o o r d i n a t e : c o o r d i n a t e ) , G e t A d d r e s s R e q u e s t ( c o o r d i n a t e : c o o r d i n a t e ) ) S e s s i o n . s e n d R e q u e s t ( b a t c h R e q u e s t ) { r e s u l t i n s w i t c h r e s u l t { c a s e . S u c c e s s ( l e t p o s t s , l e t b a n n e r , l e t a d d r e s s ) : . . . c a s e . F a i l u r e ( l e t e r r o r ) : . . . } }
19. 19.

    よさそう

20. 20.

    悲報 Swi には可変長の型パラメー ター がない

21. 21.

    任意の個数の型の組み合わせが表せない 言語の限界だから仕方がない あきらめるのか...？

22. 22.

    せめてSwi らしく妥協しよう

23. 23.

    参考: 標準ライブラリ 世界で最もSwi らしいコー ド

24. 24.

    f u n c = = < A : E

    q u a t a b l e > ( l h s : ( A ) , r h s : ( A ) ) - > B o o l f u n c = = < A : E q u a t a b l e , B : E q u a t a b l e > ( l h s : ( A , B ) , r h s : ( f u n c = = < A : E q u a t a b l e , B : E q u a t a b l e , C : E q u a t a b l e > ( l h s : f u n c = = < A : E q u a t a b l e , B : E q u a t a b l e , C : E q u a t a b l e , D : E q u a t a b f u n c = = < A : E q u a t a b l e , B : E q u a t a b l e , C : E q u a t a b l e , D : E q u a t a b f u n c = = < A : E q u a t a b l e , B : E q u a t a b l e , C : E q u a t a b l e , D : E q u a t a b 任意の個数の型の組み合わせ(6 個まで)
25. 25.

    筋肉 これがSwi のやり方

26. 26.

    理想: 任意の数のリクエストの組み合わせ 現実: 最大3 個のリクエストの組み合わせ

27. 27.

    c l a s s B a t c h

    F a c t o r y { . . . f u n c c r e a t e < R 1 : R e q u e s t T y p e > ( r e q u e s t : R 1 ) - > B a t c h < f u n c c r e a t e < R 1 : R e q u e s t T y p e , R 2 : R e q u e s t T y p e > ( r e q u e s t 1 : f u n c c r e a t e < R 1 : R e q u e s t T y p e , R 2 : R e q u e s t T y p e , R 3 : R e q u e s }
28. 28.

    https://github.com/bricklife/JSONRPCKit 1.0.0 beta 1

29. 29.

    筋肉最高!

30. 30.

    筋肉最高?

31. 31.

    Swi 4 or later

32. 32.

    Generics Manifesto 将来実装される可能性がある おしゃれコー ド一覧

33. 33.

    Variadic Generics

34. 34.

    s t r u c t B a t c

    h R e q u e s t < . . . R e q u e s t s : R e q u e s t T y p e > : R e q u e s t T y p e t y p e a l i a s R e s p o n s e = ( R e q u e s t s . R e s p o n s e . . . ) l e t ( . . . r e q u e s t s ) : ( R e q u e s t s . . . ) . . . }
35. 35.

    筋肉の時代は終わるのかも？