Swift アクターモデルと Elm Architecture の融合 by 稲見 泰宏 | トーク | iOSDC Japan 2022 - fortee.jp https://fortee.jp/iosdc-japan-2022/proposal/aa8ecff3-682b-4127-93ac-321b9ec4cf30
Swift ΞΫλʔϞσϧͱElm Architecture ͷ༥߹2022/09/11 iOSDC Japan 2022Yasuhiro Inami / @inamiy
View Slide
ΞδΣϯμ ΞΫλʔϞσϧͱ&MN"SDIJUFDUVSFͷઆ໌ "DUPNBUPOͷհ "DUPNBUPOʹ͓͚Δʮঢ়ଶʯͱʮ෭࡞༻ʯͷཧ "DUPNBUPOΛͬͨΞϓϦͷઃܭࢦ ΞΫλʔϞσϧ ΦϒδΣΫτࢦϓϩάϥϛϯάͱ &MN"SDIJUFDUVSF ؔܕϓϩάϥϛϯάͷ༥߹
ΞΫλʔϞσϧ
Swift Concurrency 1. async /await2. Structured Concurrency3. Actors
actor Counter {var count: Int = 0 // ෦ঢ়ଶfunc increment() { // τϥϯβΫγϣϯcount += 1 // ঢ়ଶߋ৽print(count) // ෭࡞༻ͷ࣮ߦ}}// ΞΫλʔͷ༻ྫlet counter = Counter()// ΞΫλʔ֎෦͔ΒΞΫλʔʹΞΫηε͢Δ߹ɺ async / await ඇಉظॲཧʹͳΔawait counter.increment()ΞΫλʔͷྫ ΞΫλʔঢ়ଶͱͦͷૢ࡞ΛҰՕॴʹ·ͱΊͨʮεϨου҆શʯͳΦϒδΣΫτΞΫλʔִ͞ΕͨϝιουεϨου҆શΛอূ͢ΔτϥϯβΫγϣϯ
protocol CounterProtocol: Actor {func increment() // τϥϯβΫγϣϯͷந}actor Counter {var count: Int = 0 // ෦ঢ়ଶ}extension Counter: CounterProtocol {func increment() { // τϥϯβΫγϣϯͷ࣮count += 1 // ঢ়ଶߋ৽print(count) // ෭࡞༻ͷ࣮ߦ}}ΞΫλʔͷྫ 1SPUPDPMʹΑΔநԽQSPUPDPMʹΑΔ ۩ମΞΫλʔͷϝιουͷநԽQSPUPDPM४ڌʹΑΔ நϝιουͷ࣮
Elm Architecture
Msg (Action)Real ViewUpdate(Reducer)StateVirtual Viewview (render)Diff(New State)User ActionCmd(Effect)💥Runtime I/ORunSide-effect
enum Action: Sendable {case increment}struct State: Sendable, Equatable {var count: Int = 0}let reducer = Reducer { action, state, _ inswitch action { // ΞΫγϣϯͷύλʔϯϚονcase .increment:state.count += 1 // ঢ়ଶߋ৽return Effect { [state] inprint(state.count) // ෭࡞༻ͷ࣮ߦ}}}&MN"SDIJUFDUVSFͷྫ 4XJGU༁ܭࢉϩδοΫͷೖྗ ΞΫγϣϯΛFOVNͰදݱܭࢉϩδοΫ 3FEVDFSʮ"DUJPOʯͱʮݱࡏͷঢ়ଶʯΛ ҾͰड͚औΓɺʮ৽͍͠ঢ়ଶʯͱ ʮ෭࡞༻ʯΛฦؔ͢෭࡞༻ QSJOUBTZODΛ&ffFDUͷதͰ࣮ߦ͢Δ
enum Action: Sendable {case increment}struct State: Sendable, Equatable {var count: Int = 0}let reducer = Reducer { action, state, _ inswitch action { // ΞΫγϣϯͷύλʔϯϚονcase .increment:state.count += 1 // ঢ়ଶߋ৽return Effect { [state] inprint(state.count) // ෭࡞༻ͷ࣮ߦ}}}&MN"SDIJUFDUVSFͷྫ 4XJGU༁Elm Architecture Ͱclass / actor ͕ొ͠ͳ͍(ΑΓ୯७ͳ enum, struct, func ͕ओ)
// Elm Architectureenum Action: Sendable {case increment}struct State: Sendable, Equatable {var count: Int = 0}let reducer = Reducer { action, state, _ inswitch action { // ΞΫγϣϯͷύλʔϯϚονcase .increment:state.count += 1 // ঢ়ଶߋ৽return Effect { [state] inprint(state.count) // ෭࡞༻ͷ࣮ߦ}}}&MN"SDIJUFDUVSFͱΞΫλʔϞσϧͷൺֱ// ΞΫλʔϞσϧprotocol CounterProtocol: Actor {func increment() // τϥϯβΫγϣϯͷந}actor Counter {var count: Int = 0 // ෦ঢ়ଶ}extension Counter: CounterProtocol {func increment() { // τϥϯβΫγϣϯͷ࣮count += 1 // ঢ়ଶߋ৽print(count) // ෭࡞༻ͷ࣮ߦ}}
enum Action {case increment}struct State {var count: Int = 0}let reducer = Reducer { action, state inswitch action {case .increment:state.count += 1return Effect {print(state.count) }}}&MN"SDIJUFDUVSFͷྫ 4XJGU༁protocol CounterProtocol: Actor {func increment()}actor Counter {var count: Int = 0}extension Counter: CounterProtocol {func increment() {count += 1print(count)}}Actor = ΦϒδΣΫτࢦElm Architecture = ؔܕ྆ऀʹີͳ͕ؔ͋Δʂ
ΞΫλʔϞσϧͱ&MN"SDIJUFDUVSFwΞΫλʔϞσϧ ΦϒδΣΫτࢦϓϩάϥϛϯάwྻॲཧͷ&YFDVUPSΛ࣋ͭɺίϯύΠϧ࣌εϨου҆શੑ͕อূ͞ΕͨΦϒδΣΫτwΦϒδΣΫτ܈ͷࢄཧʹڧ͍ʢଟਆڭʣw&MN"SDIJUFDUVSF ؔܕϓϩάϥϛϯάwΞΫγϣϯɺঢ়ଶɺ3FEVDFSͷ୯७σʔλߏΛ߹w4JOHMF4PVSDFPG5SVUIΛߏͰ͖ΔʢҰਆڭʣ
࠷ۙͷ4XJGUJ04։ൃͷτϨϯυ .77. 7JFX.PEFMʹΞΫλʔϞσϧΛద༻w !.BJO"DUPSʹΑΔϝΠϯεϨου҆શੑ $PNQPTBCMF"SDIJUFDUVSF 5$" &MNελΠϧw ঢ়ଶͷूཧʹΑΔςετɾσόοΪϯά🤔2྆ํͷྑ͍ॴऔΓ͕Ͱ͖ͳ͍ͷ͔ʜʁ
Actomaton http://github.com/Actomaton/Actomaton
J04%$+BQBO3FBDUJWF4UBUF.BDIJOFIUUQTTQFBLFSEFDLDPNJOBNJZSFBDUJWFTUBUFNBDIJOFKBQBOFTFJ04%$+BQBO 4XJGU6*࣌ͷ 'VODUJPOBMJ04"SDIJUFDUVSFIUUQTTQFBLFSEFDLDPNJOBNJZJPTEDKBQBO
"DUPNBUPOͱʁʢ7FSݱࡏʣw4XJGU$PODVSSFODZͱΞΫλʔϞσϧΛͬͨ&MN"SDIJUFDUVSFw७ਮͳΞΫλʔ7JFX.PEFMʹൺͯɺΑΓ҆શʹঢ়ଶͱ෭࡞༻ΛཧwJ04%$+BQBOͰհͨ͠)BSWFTU $PNCJOFΛ4XJGU$PODVSSFODZʹஔ͖͑ͨ࠷৽ܗw%FQFOEFODZ*OKFDUJPOίϯςφΛ݉ͶΔ ςετͱσόοΪϯάw4XJGU6*6*,JU-JOVYڥͰ͑ɺ6*ϑϨʔϜϫʔΫ༗ແΛΘͳ͍wઍສϢʔβʔنͷJ04ΞϓϦͰಋೖ࣮
Demo http://github.com/Actomaton/Actomaton-Gallery
ࢀߟɿ4XJGU6*ͰඥΛදݱ͢ΔIUUQT[FOOEFWJLFIBSUJDMFTBGFGEBCGIUUQTUXJUUFSDPN%-9TUBUVT
"DUPNBUPO(BMMFSZ σϞΞϓϦͷಛw࠶ར༻ੑͷߴ͍ϚΠΫϩϞδϡʔϧߏw4XJGU6*6*,JU.77.Ͱ࣮ݱ͕͍͠ػೳΛ࣮Ͱ͖Δwҙͷঢ়ଶ͔ΒͷΞϓϦىಈ σΟʔϓϦϯΫɺ։ൃαΠΫϧߴԽwঢ়ଶࠩͷσόοάϩάwλΠϜτϥϕϧʹΑΔ6OEP3FEPw෭࡞༻ͷΩϡʔཧ &ffFDU2VFVF &MN$PNQPTBCMF"SDIJUFDUVSF ʹඋΘ͍ͬͯͳ͍ಠࣗػೳ
Actomaton ͷ͍ํ
enum Action: Sendable {case increment}struct State: Sendable, Equatable {var count: Int = 0}let reducer = Reducer { action, state, _ inswitch action { // ΞΫγϣϯͷύλʔϯϚονcase .increment:state.count += 1 // ঢ়ଶߋ৽return Effect.fireAndForget { [state] inprint(state.count) // ෭࡞༻ͷ࣮ߦ}}}ঢ়ଶཧͷίʔυྫ ϩδοΫ3FEVDFSͷجຊܗɿύλʔϯϚονঢ়ଶͷόϦσʔγϣϯͱߋ৽෭࡞༻ͷొ ʢඇಉظܭࢉޙͷ࣍ͷΞΫγϣϯࢦఆՄೳʣΫϩʔδϟʹแ·Εͨ෭࡞༻ʮ࣮ߦલʯ ͳͷͰ3FEVDFSʮ७ਮؔʯ
enum Action: Sendable { // case ͕૿͑ͨ߹case incrementcase decrementIfPositive}let reducer = Reducer { action, state, _ inswitch action { // ΞΫγϣϯͷύλʔϯϚονcase .increment:state.count += 1 // ঢ়ଶߋ৽return Effect.fireAndForget { [state] inprint(state.count) // ෭࡞༻ͷ࣮ߦ}case .decrementIfPositive:// ঢ়ଶͷόϦσʔγϣϯguard state.count > 0 else {return Effect.empty}state.count -= 1 // ঢ়ଶߋ৽return Effect.fireAndForget { [state] inprint(state.count) // ෭࡞༻ͷ࣮ߦ}}}
enum Action: Sendable { // case ͕૿͑ͨ߹case incrementcase decrementIfPositive}let reducer = Reducer { action, state, _ inswitch action { // ΞΫγϣϯͷύλʔϯϚονcase .increment:state.count += 1 // ঢ়ଶߋ৽return Effect.fireAndForget { [state] inprint(state.count) // ෭࡞༻ͷ࣮ߦ}case .decrementIfPositive:// ঢ়ଶͷόϦσʔγϣϯguard state.count > 0 else {return Effect.empty}state.count -= 1 // ঢ়ଶߋ৽return Effect.fireAndForget { [state] inprint(state.count) // ෭࡞༻ͷ࣮ߦ}}}ύλʔϯϚονঢ়ଶͷόϦσʔγϣϯͱߋ৽෭࡞༻ͷొৗʹಉ͡εςοϓͰهड़͢ΔͨΊɺঢ়ଶͷมߋՕॴ͕͔Γ͍͢"DUPS3FFOUSBODZͷݕ͕͍͢͠·ͨɺ3FEVDFSTFMG BDUPSΛؚ·ͳ͍ͷͰɺෆҙʹΑΔTFMG॥ࢀর͕ى͖ͳ͍҆શઃܭʹͳΔ
let store = Store(state: State(), // ॳظঢ়ଶreducer: reducer)struct ContentView: View {let store: Storevar body: some View {WithViewStore(store) { viewStore inButton("Count: \(viewStore.count)") {store.send(.increment)}}}}ঢ়ଶཧͷίʔυྫ 4UPSFԽͱ4XJGU6*ద༻ΞΫγϣϯɺঢ়ଶɺ3FEVDFSΛଋͶͨ4UPSF .BJO"DUPSΛ࡞4UPSFΛ7JFX4UPSF 4XJGU6*!0CTFSWFE0CKFDU ʹมͯ͠༻
ReducerStateActionCounterViewStore4UPSFΛ࡞Γɺ7JFXʹ࣋ͨͤΔ(CounterLogic)4UPSF ঢ়ଶཧΦϒδΣΫτΛߏ͢ΔͨΊͷܕͱϩδοΫؔܕελΠϧ(߹͍͢͠)ΦϒδΣΫτࢦ(߹͠ʹ͍͘)ReducerStateAction
ґଘೖͷίʔυྫenum Action: Sendable {case fetchcase _didFetch(Response)}struct State: Sendable, Equatable {var isLoading: Bool = false}struct Environment: Sendable {var fetch: @Sendable (Request) async throws -> Response}&OWJSPONFOUґଘΛೖ͢Δܕ
ґଘೖͷίʔυྫlet reducer = Reducer { action, state, environment inswitch action {case .fetch:state.isLoading = truereturn Effect {let response = try await environment.fetch(Request(...))return Action._didFetch(response) }case let ._didFetch(response):state.isLoading = falsereturn Effect.fireAndForget {print(response)}}}&OWJSPONFOUΛͬͯ෭࡞༻Λ࣮ߦ
&GGFDU*%ʹΑΔ෭࡞༻ͷΩϟϯηϧstruct FetchEffectID: EffectIDProtocol {}let reducer = Reducer { action, state, environment inswitch action {case .fetch:state.isLoading = truereturn Effect.cancel(id: FetchEffectID())+ Effect(id: FetchEffectID()) {let response = try await environment.fetch(Request(...))return Action._didFetch(response) }case let ._didFetch(response):state.isLoading = falsereturn Effect.fireAndForget {print(response)}}}&ffFDU*%Λఆٛ&ffFDUʹ &ffFDU*%Λઃఆ͠ɺΩϟϯηϧՄೳʹ͢Δ
&GGFDU2VFVFʹΑΔ෭࡞༻ཧstruct FetchEffectQueue: Newest1EffectQueueProtocol {}let reducer = Reducer { action, state, environment inswitch action {case .fetch:state.isLoading = truereturn Effect(queue: FetchEffectQueue()) {let response = try await environment.fetch(Request(...))return Action._didFetch(response) }case let ._didFetch(response):state.isLoading = falsereturn Effect.fireAndForget {print(response)}}}&ffFDU2VFVFΛఆٛ/FXFTU࠷৽݅ͷΈ࣮ߦ&ffFDUʹ &ffFDU2VFVFΛઃఆ͠ɺෳͷ෭࡞༻ΛΩϡʔͰཧ͢Δ
&GGFDU2VFVFͷछྨprotocol EffectQueueProtocol: Hashable, Sendable {/// Runs newest or oldest with maxCount.var effectQueuePolicy: EffectQueuePolicy { get }/// Effect starting delay.var effectQueueDelay: EffectQueueDelay { get }}// Rx flatMapLatest / switchLatestprotocol Newest1EffectQueueProtocol: EffectQueueProtocol { ... }// Rx flatMapFirst (or RxAction)protocol Oldest1DiscardNewEffectQueueProtocol: EffectQueueProtocol { ... }// Rx flatMapConcatprotocol Oldest1SuspendNewEffectQueueProtocol: EffectQueueProtocol { ... }
%FGBVMU .FSHF 0MEFTU4VTQFOE/FX/FXFTU 0MEFTU%JTDBSE/FX
EffectQueue(Newest1)EffectQueue(Oldest1DiscardNew)EffectQueue(Oldest1SuspendNew)StoreReducerState EffectActionViewFeedbackActionRunningEffectsEnvironment
Actomaton Λͬͨ ΞϓϦͷઃܭࢦ
"DUPNBUPOΛͬͨΞϓϦͷઃܭࢦ ؔܕϓϩάϥϛϯάํࣜ 4JOHMF4PVSDFPG5SVUIw"DUJPO 4UBUF 3FEVDFSͷ߹ͱ4UPSFͷղɾ࠷దԽwॴɿঢ়ଶͷूཧɺॴɿ߹ͱղͷқ͕ߴ͍ ΦϒδΣΫτࢦํࣜ .VMUJ7JFX.PEFMTw4UPSFΛ7JFX.PEFMͱಉҰࢹ͠ɺ߹ͱղΛߦΘͳ͍wॴɿ୭ͰཧղͰ͖Δɺॴɿঢ়ଶͷࢄཧΞϓϦશମͰ4UPSF͕֤ͭը໘͝ͱʹ4UPSFΛ༻ҙ
ؔܕϓϩάϥϛϯάํࣜ (Single Source of Truth)
ReducerStateAction(CounterLogic)ReducerStateAction(DownloaderLogic)ReducerStateAction(PhysicsLogic)Environment Environment Environment֤αϯϓϧը໘ͷϩδοΫ
(AppLogic)EnvironmentCounterEnvironmentDownloaderEnvironmentPhysicsEnvironmentReducerCounterReducerDownloaderReducerPhysicsReducerStateCounterStateDownloaderStatePhysicsStateActionCounterActionDownloaderActionPhysicsAction"DUJPO 4UBUF 3FEVDFS &OWJSPONFOU୯ҐͰ߹
ReducerStateActionAppViewStore(AppLogic)ΞϓϦͷશͯΛཏ͢Δ ܕͱϩδοΫReducerStateActionEnvironment Environment4JOHMF4PVSDFPG5SVUIͳ།Ұਆͷੜ
CounterView(Computed) StoreCounterReducerCounterStateCounterActionCounterEnvironmentAppViewStoreAppReducerAppStateAppActionAppEnvironment֤ը໘ΞϓϦશମͷใΛΒͳ͍ૄ݁߹ࢠཁૉʹม4JOHMF4PVSDFPG5SVUI4UPSFղੜ4UPSFݩͷ4UPSF͔Βࢉग़ͨ͠ͷ
CounterView(Child)StoreCounterReducerCounterStateCounterActionCounterEnvironmentAppViewStoreAppReducerAppStateAppActionAppEnvironment֤ը໘ΞϓϦશମͷใΛΒͳ͍ࢠཁૉʹม4JOHMF4PVSDFPG5SVUI4UPSFղΦϒδΣΫτ߹ͷΘΓʹؔ (ܕͱReducer) Λ߹Single Source of Truth ͳ ΦϒδΣΫτΛ֤ը໘ʹղ͢Δ
// App.Actionenum Action: Sendable {case changeCurrent(State.Current?) // NavigationView Γସ͑࣌ʹൃՐcase counter(Counter.Action)case gameOfLife(GameOfLife.Root.Action)case physics(PhysicsRoot.Action)case downloader(Downloader.Action)...}// App.Statestruct State: Equatable, Sendable {var current: Current? // ݱࡏදࣔதͷը໘ʢnil ͷ߹ɺHome ը໘ʣenum Current: Equatable, Sendable {case counter(Counter.State)case gameOfLife(GameOfLife.Root.State)case physics(PhysicsRoot.State)case downloader(Downloader.State)...}}֤ը໘ͷΞΫγϣϯΛશମͷΞΫγϣϯʹ߹֤ը໘ͷঢ়ଶΛશମͷঢ়ଶʹ߹ /05&֤ը໘ͷঢ়ଶ ಉ࣌ʹଘࡏ͠ͳ͍ͷͰFOVNͰఆٛ͢Δ
let appReducer = Reducer.combine(Counter.reducer.contramap(action: /Action.counter).contramap(state: /State.Current.counter).contramap(state: \State.current).contramap(environment: { _ in () }),GameOfLife.Root.reducer().contramap(action: /Action.gameOfLife).contramap(state: /State.Current.gameOfLife).contramap(state: \State.current).contramap(environment: { $0.gameOfLife }),PhysicsRoot.reducer.contramap(action: /Action.physics).contramap(state: /State.Current.physics).contramap(state: \State.current).contramap(environment: { .init(timer: $0.timer) }),Downloader.reducer.contramap(action: /Action.downloader).contramap(state: /State.Current.downloader).contramap(state: \State.current).contramap(environment: \.downloader),... // ҎԼɺ߹͍ͨ͠ը໘ͷ͚ͩมίʔυΛॻ͘)֤ը໘ͷ3FEVDFSΛࢠը໘͔Βը໘ʹ͚ͯมܭࢉͯ݁͠߹͢Δ5$"ͷQVMMCBDLؔܕϓϩάϥϛϯάʹ͓͚Δ มؔख DPOUSBNBQ -FOT 1SJTNΛ͍ͬͯΔJ04%$ϓϨθϯࢀর
@MainActor struct AppView: View {let store: Storevar body: some View {NavigationView {WithViewStore(store.map(state: \.common)) { viewStore inList(exampleList, id: \.exampleTitle) { example innavigationLink(example: example)}}}}func navigationLink(example: Example) -> some View {WithViewStore(store.map(state: \.current)) { viewStore inNavigationLink(destination: example.exampleView(store: self.store),isActive: viewStore.binding(onChange: Action.changeCurrent).transform(...)) { ... }}}}TUPSFNBQͰࢠ DPNQVUFE4UPSFΛ࡞5$"ͷ4UPSFTDPQF
ΦϒδΣΫτࢦํࣜ (Multi-ViewModels)
ViewControllerViewModelVC BuilderRouterUseCaseAPIClientfuncshowNextStateVC BuilderShows nextViewControllerOwnsWeaklyreferencesCallsBuilds#VJMEFS6TF$BTF3PVUFSύλʔϯ
// ैདྷઃܭɿ ViewController, ViewModel, UseCase, Router Λͭͳ͗͜ΉϏϧμʔํࣜfunc build(apiClient: any APIClientProtocol) -> UIViewController {let useCase = UseCase(apiClient: apiClient)let viewModel = ViewModel(useCase: useCase)let viewController = ViewController(viewModel: viewModel)let router = Router(viewController: viewController)viewController.router = routerreturn viewController}// ViewController ͕ݺͼग़͢ϧʔςΟϯάॲཧstruct Router: RouterProtocol {weak var viewController: UIViewController?func handleRoute1(...) { ... } // ը໘ભҠύλʔϯ1func handleRoute2(...) { ... } // ը໘ભҠύλʔϯ2}
ViewControllerRouteStoreVC BuilderRouter (closure)EnvironmentfetchReducerStateActionRoute PublisherVC BuilderShows nextViewControllerSends RouteWeaklyreferencesBuilds3PVUF4UPSF JO"DUPNBUPO
// Actomaton RouteStore Λͬͨ Environment, Store, Router ͷͭͳ͗͜Έfunc build(apiClient: any APIClientProtocol) -> UIViewController {let environment = Environment(fetch: { request inreturn apiClient.fetch(request)})let store = RouteStore(state: State(),reducer: reducerenvironment: environment)let viewController = ViewController(store: store)store.subscribeRoutes { [weak viewController] route in ... } // ը໘ભҠॲཧreturn viewController}// ը໘ભҠύλʔϯͷܕΛ༻ҙ͢Δenum Route {case route1(...)case route2(...)}ϧʔςΟϯάॲཧ͕Ͱ͖Δ3PVUF4UPSFΛ͏&OWJSPONFOU 6TF$BTFͱಉ͡ %*Մೳ
let reducer = Reducer { action, state, environment inswitch action {case .fetch:state.isLoading = truereturn Effect(queue: FetchEffectQueue()) {let response = try await environment.fetch(Request(...))return Action._didFetch(response)}case let ._didFetch(response):state.isLoading = falsereturn Effect.fireAndForget {print(response)}case .showNext:return Effect.fireAndForget {environment.sendRoute(Route.route1(...))}}}3FEVDFSͷதͷFOJWPSONFOU͕TFOE3PVUFΛ͏͜ͱ͕Ͱ͖Δ
ActionReal ViewReducerStateVirtual ViewEffect💥RuntimeActionReal ViewReducerStateVirtual ViewEffect💥RuntimeScreen 1Screen 2֤ը໘͝ͱʹ &MN"SDIJUFDUVSF3VOUJNF 3PVUF4UPSFΛ༻ҙ͢Δ
ActionReal ViewReducerStateVirtual ViewEffect💥RuntimeActionReal ViewReducerStateVirtual ViewEffect💥RuntimeScreen 2Shows nextViewController+Messaging forwardMessaging backwardsendRoutesendRouteը໘ؒͷσʔλͷΓऔΓը໘ભҠΛؚΉΛTFOE3PVUFΛ࣮ͬͯߦ
ΞΫλʔϞσϧͱElm Architecture ͷ༥߹
≒ ΦϒδΣΫτࢦͱؔܕϓϩάϥϛϯάͷ༥߹
Msg (Action)Real ViewUpdate(Reducer)StateVirtual Viewview (render)Diff(New State)User ActionCmd(Effect)💥Runtime I/ORunSide-effectؔܕϓϩάϥϛϯά
Msg (Action)Real ViewUpdate(Reducer)StateVirtual Viewview (render)Diff(New State)User ActionCmd(Effect)💥Runtime I/ORunSide-effectΦϒδΣΫτࢦϓϩάϥϛϯά
ϜʔΞɾϚγϯ&MN"SDIJUFDUVSFindirect enum Moore {case runMoore(A, I -> Moore)}Moore≅ (View, Action -> Moore)≅ νX. (View, Action -> X)// ࠷େෆಈ νX.F = ∃S. (S, (S -> F))≅ ∃S. (S, (S -> (View, Action -> S)))≅ ∃S. (S, S -> View, S -> Action -> S)≅ ∃S. (initialState: S, reducer: S -> Action -> S, render: S -> View)ϜʔΞɾϚγϯೖྗʹґଘ͠ͳ͍ঢ়ଶػցৗʹग़ྗՄೳͳ"ͱೖྗ*͔Βࣗͷঢ়ଶભҠͷ ϖΞΛ༨ؼೲతʹఆٛͨ͠ܕJ04%$ϓϨθϯࢀর
Msg (Action)Real ViewUpdate(Reducer)StateVirtual Viewview (render)Diff(New State)User ActionCmd(Effect)💥Runtime I/ORunSide-effectElm Architecture= ॳظঢ়ଶ × Reducer × render
Comonadic UI= Comonad × ࢀরΦϒδΣΫτʮ$PNPOBE ؔܕʯͱʮࢀরʯΛͬͯΦϒδΣΫτࢦ6*ͷੈքΛ࠶ݱ͢Δ
Msg (Action)Real ViewUpdate(Reducer)StateVirtual Viewview (render)Diff(New State)User ActionCmd(Effect)💥Runtime I/ORunSide-effectComonad ʹΑΔؔܕϓϩάϥϛϯά
Msg (Action)Real ViewUpdate(Reducer)StateVirtual Viewview (render)Diff(New State)User ActionCmd(Effect)💥Runtime I/ORunSide-effectΞΫλʔϞσϧ (ࢀর) ʹΑΔΦϒδΣΫτࢦϓϩάϥϛϯά
Actomaton= Moore (Elm) × ΞΫλʔϞσϧ
༨ஊ ϛʔϦɾϚγϯΛͬͨΦϒδΣΫτࢦͷղऍwDG)BTLFMMͰͷ߹ՄೳͳΦϒδΣΫτͷߏͱͦͷԠ༻ ԼҮষ ࢁຊ w0CKFDUʮܭࢉޮՌͷݍʹ͓͚Δࣹʯͱͯ͠ѻ͑Δ ߹ՄೳwΧϓηϧԽɾܧঝɾΦʔόʔϥΠυΛ࣮ݱ͢Δindirect enum Mealy {case runMealy(I -> (A, Mealy))}ϛʔϦɾϚγϯೖྗ*͕ͬͯग़ྗ"ͱࣗͷঢ়ଶભҠΛฦ͢ɺ༨ؼೲతʹఆٛͨ͠ܕindirect enum Object {case runObject(Msg -> IO<(A, Object)>)}.TH͔Β*0ͷࣗવม
༨ஊ ϛʔϦɾϚγϯΛͬͨΦϒδΣΫτࢦͷղऍwDG)BTLFMMͰͷ߹ՄೳͳΦϒδΣΫτͷߏͱͦͷԠ༻w0CKFDUʮܭࢉޮՌͷݍʹ͓͚Δࣹʯͱͯ͠ѻ͑Δ ߹ՄೳwΧϓηϧԽɾܧঝɾΦʔόʔϥΠυΛ࠶ݱ͢Δindirect enum Mealy {case runMealy(I -> (A, Mealy))}ϛʔϦɾϚγϯೖྗ*͕ͬͯग़ྗ"ͱࣗͷঢ়ଶભҠΛฦ͢ɺ༨ؼೲతʹఆٛͨ͠ܕindirect enum Object {case runObject(Msg -> IO<(A, Object)>)}.TH͔Β*0ͷࣗવมؔܕϓϩάϥϛϯά͔ΒΦϒδΣΫτࢦʙ ༨ؼೲɾ༨ɾঢ়ଶػց ʙ
·ͱΊ
·ͱΊwΞΫλʔϞσϧͱ&MN"SDIJUFDUVSFw"DUPNBUPO ͭͷܭࢉϞσϧͷ༥߹w&MN"SDIJUFDUVSF.77.Λ࠶ݱ͢Δw ༨ؼೲΛͬͨؔܕϓϩάϥϛϯάɺ ঢ়ଶػցΛͳ͢ΦϒδΣΫτࢦϓϩάϥϛϯάΛ ࠶ݱ͢Δ
Thanks!Yasuhiro Inami@inamiy
inamiy
cer
konpay
kinocoboy2
shoheihosaka
koba04
treastrain
danilop
punchdrunker
coe401_
track3jyo
77web
tomokusaba
soudai
jlugia
samanthasiow
moore
hannesfritz
holman
eitanlees
notwaldorf
vanstee
davidbonilla
edds
aki_iinuma