## Building API server-side architecture for Beginners GopherCon 2019 2019.07.27 - @hgsgtk © 2012-2019 BASE, Inc. ## Talk abstract • A practical approach to build server-side architecture in a Go project building architecture for beginners 2 Approach to build architecture 3 Summary ## Why I need server-side architecture 1. Keep a design easy to change - > Separate external input/output and business Principle in Go? How to use interface type What we should write in use case layer? ## Why I need server-side architecture 1. Keep a design easy to change We are not able to achieve business logic "common

Frequently Asked Questions 62 3 Implementing State-aware Systems in Idris: The ST Tutorial 67 4 The Effects Tutorial 102 5 Theorem Proving 136 6 Language Reference 147 7 Tutorials on the Idris Language However, the type declaration for a function f can be omitted if: • f appears in the right hand side of the top level definition • The type of f can be completely determined from its first application results in the following: $ idris VBroken.idr --check VBroken.idr:9:23-25: When checking right hand side of Vect.++ with expected type Vect (S k + m) a When checking an application of constructor Vect.:::

the Idris Language Version 0.99 1 The Idris Tutorial 2 2 Frequently Asked Questions 61 3 The Effects Tutorial 66 4 Theorem Proving 98 5 Language Reference 109 6 Tutorials on the Idris Language However, the type declaration for a function f can be omitted if: • f appears in the right hand side of the top level definition • The type of f can be completely determined from its first application results in the following: $ idris vbroken.idr --check vbroken.idr:9:23:When elaborating right hand side of Vect.++: When elaborating an application of constructor Vect.::: Type mismatch between Vect (k

Frequently Asked Questions 62 3 Implementing State-aware Systems in Idris: The ST Tutorial 67 4 The Effects Tutorial 102 5 Theorem Proving 136 6 Language Reference 147 7 Tutorials on the Idris Language However, the type declaration for a function f can be omitted if: • f appears in the right hand side of the top level definition • The type of f can be completely determined from its first application results in the following: $ idris VBroken.idr --check VBroken.idr:9:23-25: When checking right hand side of Vect.++ with expected type Vect (S k + m) a When checking an application of constructor Vect.:::

complexity of business logic from the administrators. Therefore, they can upgrade components on the server side with zero maintenance downtime, optimize workloads with a clear view of what end users are doing, related to deployment, runtime optimization, etc., should be done by professionals on the Kyuubi server side. It is suitable for the following scenarios: • Basic discovery and exploration – Quickly reason • Multiple application for high throughput • Sharable execution runtime for low latency • Server-side global and continuous optimization • Auxiliary performance plugins, such as Z-Ordering, Query Optimizer

Frequently Asked Questions 66 3 Implementing State-aware Systems in Idris: The ST Tutorial 71 4 The Effects Tutorial 106 5 Theorem Proving 140 6 Language Reference 151 7 Tutorials on the Idris Language 219 function. However, the type declaration for a function f can be omitted if: • f appears in the right hand side of the top level definition • The type of f can be completely determined from its first application results in the following: $ idris VBroken.idr --check VBroken.idr:9:23-25: When checking right hand side of Vect.++ with expected type Vect (S k + m) a When checking an application of constructor Vect.:::

Frequently Asked Questions 67 3 Implementing State-aware Systems in Idris: The ST Tutorial 72 4 The Effects Tutorial 107 5 Theorem Proving 141 6 Language Reference 152 7 Tutorials on the Idris Language However, the type declaration for a function f can be omitted if: • f appears in the right hand side of the top level definition • The type of f can be completely determined from its first application results in the following: $ idris VBroken.idr --check VBroken.idr:9:23-25: When checking right hand side of Vect.++ with expected type Vect (S k + m) a When checking an application of constructor Vect

Frequently Asked Questions 67 3 Implementing State-aware Systems in Idris: The ST Tutorial 73 4 The Effects Tutorial 108 5 Theorem Proving 142 6 Language Reference 153 7 Tutorials on the Idris Language However, the type declaration for a function f can be omitted if: • f appears in the right hand side of the top level definition • The type of f can be completely determined from its first application results in the following: $ idris VBroken.idr --check VBroken.idr:9:23-25: When checking right hand side of Vect.++ with expected type Vect (S k + m) a When checking an application of constructor Vect

Frequently Asked Questions 63 3 Implementing State-aware Systems in Idris: The ST Tutorial 68 4 The Effects Tutorial 103 5 Theorem Proving 137 6 Language Reference 148 7 Tutorials on the Idris Language However, the type declaration for a function f can be omitted if: • f appears in the right hand side of the top level definition • The type of f can be completely determined from its first application results in the following: $ idris vbroken.idr --check vbroken.idr:9:23:When elaborating right hand side of Vect.++: When elaborating an application of constructor Vect.::: Type mismatch between Vect (k

Frequently Asked Questions 62 3 Implementing State-aware Systems in Idris: The ST Tutorial 67 4 The Effects Tutorial 102 5 Theorem Proving 136 6 Language Reference 147 7 Tutorials on the Idris Language However, the type declaration for a function f can be omitted if: • f appears in the right hand side of the top level definition • The type of f can be completely determined from its first application results in the following: $ idris VBroken.idr --check VBroken.idr:9:23-25: When checking right hand side of Vect.++ with expected type Vect (S k + m) a When checking an application of constructor Vect.:::