JSON-RPC on APIKit

Transcript

1. JSON-RPC on APIKit

2. None

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

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. 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. 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. JSON-RPC リクエストとレスポンスをJSON で表す

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. レスポンス { " i d " : 1 , "

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

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

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. レスポンス [ { " 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. None

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

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

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

17. None

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. よさそう

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

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

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

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

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. 筋肉 これがSwi のやり方

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

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. https://github.com/bricklife/JSONRPCKit 1.0.0 beta 1

29. 筋肉最高!

30. 筋肉最高?

31. Swi 4 or later

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

33. Variadic Generics

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. 筋肉の時代は終わるのかも？