@AirspeedSwift what app did you use to make that diagram?
-
-
-
@giannigdev I used Omni Graph Sketcher which I like as it’s very quick to put things together.https://github.com/graphsketcher/GraphSketcher …
-
-
-
@AirspeedSwift Swift's parameter convention is callee-release, so isUniquelyRefd can work inside +. It'd only succeed if + is the last use. -
@AirspeedSwift That optimization could lead to optimizer-dependent algorithmic complexity though, sorta like TCO. -
@jckarter@AirspeedSwift interestingly, TCO annotations are a thing in e.g. Scala 2.8; and uniqueness typing seems to cover this? - View other replies
-
@jckarter@AirspeedSwift (Not that that’s going to be easy to staple on or something, but I like the idea of lifting this into types.) -
@rob_rix@AirspeedSwift I think there's an affinity. ARC opt is a lot like a borrow checker that fixes every error with "retain" or "clone"
-
-
@AirspeedSwift I feel this is on the compiler, though — it should have a better idea of scoping than just isUniquelyReferenced -
.
@AirspeedSwift guess I(gladly) caused this. It's an ARC opt issue instead of + opt. Essentially, the question is:https://gist.github.com/an0/b4b6ca8d2d1c00c93a64 … -
@airspeedswift since I love your posts: please don’t just connect the dots in your graphs. Use a proper fit: you have a model⇒show it holds! -
@AirspeedSwift so not only does liberal use of reduce make the engineer look like a wanker, it also is crazy slow >.< -
@AirspeedSwift Your first two code examples are the same. I think the second was supposed to use a mutable array? -
-
@AirspeedSwift beware the ides of functional programming - Show more
-
-
@AirspeedSwift@chriseidhof immutable lists are only good at prepend, and at expressing loops -
@AirspeedSwift@chriseidhof arrays better at enum/indexing/big append. lists better at splice,mid-insert,mid-del,small prepend/append -
@AirspeedSwift doesn't look like `mapUsingFor` does.
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.

Airspeed Velocity
Gianni Gianino
Joe Groff
Rob Rix
Samuel Giddins
an0
Daniel
Jacob Schwartz
Jack Lawrence
Sam Noble
Eyal Lotem
Zak Remer