This is the final part of a series about Algebraic Effects and Handlers.
So we've come to the core topic. The reality is that we've already covered most of it in the previous parts. Especially, in the third part, where we saw delimited continuations at work.
| sudo diskutil eraseDisk FAT32 SDCARD MBRFormat /dev/disk2 |
| type term = | |
| | Lam of (term -> term) | |
| | Pi of term * (term -> term) | |
| | Appl of term * term | |
| | Ann of term * term | |
| | FreeVar of int | |
| | Star | |
| | Box | |
| let unfurl lvl f = f (FreeVar lvl) |
Worth a read for some more context.
Create the file in the root of the project (where your Package.swift file lives as well), and use the following contents:
/// Package.xcconfig
| func apply<A, B>(fn: (A) -> B, a: A) -> B { | |
| fn(a) | |
| } | |
| func bluebird<A, B, C>(fn1: (A) -> B, fn2: (C) -> A, c: C) -> B { | |
| fn1(fn2(c)) | |
| } | |
| func blackbird<A, B, C, D>(fn1: (C) -> D, fn2: (A, B) -> C, a: A, b: B) -> D { |
| public func equals(_ lhs: Any, _ rhs: Any) -> Bool { | |
| func open<A: Equatable>(_ lhs: A, _ rhs: Any) -> Bool { | |
| type(of: rhs) == A.self && lhs == (rhs as? A) | |
| } | |
| guard let lhs = lhs as? any Equatable else { return false } | |
| return open(lhs, rhs) | |
| } |
| @dynamicMemberLookup | |
| struct CoW<T> { | |
| init(_ value: T) { | |
| _storage = Storage(value) | |
| } | |
| public subscript<V>(dynamicMember keyPath: WritableKeyPath<T, V>) -> V { | |
| get { value[keyPath: keyPath] } | |
| set { value[keyPath: keyPath] = newValue } | |
| } | |
| var value: T { |