of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program ManipulationJanuary 2016 Pages 37–48https://doi.org/10.1145/2847538.2847542 Multi-Stage Programming、そして脆弱性レジリエンス × Clean Architecture https://engineering.visional.inc/blog/212/scalamatsuri2020-interview-msp/ 脆弱性レジリエンスを高めるための Clean Architecture https://yamory.io/blog/architecting-for-resilience/ エンタープライズアジャイル開発における品質管理とセキュリティ対策を yamoryで考える https://yamory.connpass.com/event/198588/ Scala3でコードは爆速になるマルチステージプログラミングの考え方 https://logmi.jp/tech/articles/324146 Dotty ではじめるマルチステージプログラミング入門 https://www.youtube.com/watch?v=gpQHgcIIzFY From Tagless-Final to Typed-Final: Program Transformations in the Final Style https://speakerdeck.com/dcubeio/from-tagless-final-to-typed-final-program-transformations-in-the-final-style ContractS Tech Book Vol.1 第8章 型の力で高品質にドメインをモデリングする ー関数型DDDに向けてー. https://nextpublishing.jp/book/14565.html Publications …etc.
正しい管理‧運⽤ PDCA∕ウォーターフォー ル 顧客体験の向上 アジャイル ビジネスの創造 (事業成⻑のための洞察) OODA 会計∕⼈事∕⽣産管理等々 CRM∕EC∕SNS BI/BigData 顧客や企業との関係構築 SoE (System of Engagement) SoI (System of Insight) 洞察‧発⾒ 意思決定の確認 意思決定の⾃動化 意思決定の⽀援 3つのシステム形態:SoE, SoR, SoI
等のタグを付与する表現もある A⊕B = { (0,a) | a ∈ A } ∪ { (1,b) | b ∈ B } A⊕B = { a | a ∈ A } ∪ { (b) | b ∈ B } ただし A ∩ B = { 0 } A = {a,b,c}、B={1,2} A⊕B = {a,b,c,1,2} 例1 例2 enum Color: case Red, Green, Blue, Yellow, Cyan 1+1+1+1+1 5通り
atew ay Presenter Use Cases UI W eb Devices D B External Interfaces Martin, R. C. (2017). Clean Architecture: A Craftsman's Guide to Software Structure and Design. Prentice Hall.
atew ay Presenter Use Cases UI W eb Devices D B External Interfaces 怪しいデータ データ 正規化 Validation サニタイズ Validなデータ 代数的データ型等 で精密に取り扱う領 域を型で表現 関数型のアプローチを使うことによって、 データ品質を担保しやすいアーキテクチャにできる