swift-developers-japan
main / swift-zatsu
enumでstateパターン、無理やりRawValueに振る舞いを実装して見た https://gist.github.com/norio-nomura/65db97c4786851bc368a8d68834fb31b 
where T: Ready で書くと問題ないけど、where T == Ready で書くと Something.createInstance() の直後でも変換の補完で .shout() が出るのなんで？（もちろんコンパイルエラーにはなるけど…）
1
1
1
ManifestoGeneratorとか出来てる！w https://github.com/omochi/gysb/blob/master/Sources/GysbSwiftConfig/ManifestoGenerator.swift 
1
libSwiftPMが気軽に使えれば「リポジトリからPackage.swiftを解釈して〜」とか簡単に出来そうなのに… https://github.com/apple/swift-package-manager/blob/master/Package.swift#L19 brewのバイナリ配布、sourceryがSwiftPMでビルドしたものを使ってる。 https://github.com/Homebrew/homebrew-core/blob/master/Formula/sourcery.rb
Default formulae for the missing package manager for macOS
Default formulae for the missing package manager for macOS 
$(brew --repository homebrew/core) git remote add omochi https://github.com/omochi/homebrew-core.git したら、次のコマンドでformula作成: brew create https://github.com/omochi/gysb/archive/0.8.6.tar.gz して、出来たgysb.rbのdepends_on, def install, test doを https://github.com/Homebrew/homebrew-core/blob/master/Formula/sourcery.rb 辺りを参考に設定して、 brew install --verbose --debug gysb でインストールテストして、 cd $(brew --repo homebrew/core) git checkout -b gysb git add Formula/gysb.rb git commit git push https://github.com/omochi/homebrew-core/ gysb してPR、って感じかな？
Default formulae for the missing package manager for macOS 1
Default formulae for the missing package manager for macOS 
The missing package manager for macOS
-swift-version 3を使うとSwift 3.3になるぽい。 $ TOOLCHAINS=org.swift.4120171207a swift -swift-version 3 Welcome to Apple Swift version 4.1-dev (LLVM 67b9a8e8c2, Clang e617c83242, Swift 65b4172032). Type :help for assistance. 1> #if swift(>=4.1) 2. let versions = "swift-4.1" 3. #elseif swift(>=4.0.3) 4. let versions = "swift-4.0.3" 5. #elseif swift(>=4.0.2) 6. let versions = "swift-4.0.2" 7. #elseif swift(>=4.0) 8. let versions = "swift-4.0" 9. #elseif swift(>=3.3) 10. let versions = "swift-3.3" 11. #elseif swift(>=3.2.3) 12. let versions = "swift-3.2.3" 13. #elseif swift(>=3.2.2) 14. let versions = "swift-3.2.2" 15. #else // if swift(>=3.2) 16. let versions = "swift-3.2" 17. #endif 18. versions: String = "swift-3.3" 18> 3
AVAudioFile もなぜか AVAudioFramePosition は Int64 なのに AVAudioFrameCount は逆に UInt32 しかないという不可解な現象 https://qiita.com/lovee/items/8bdf7b58d96d683d31b9 AVFoundation.framework/Frameworks/AVFAudio.framework/Headers/AVAudioTypes.h
/*! @typedef AVAudioFrameCount @abstract A number of audio sample frames. @discussion Rationale: making this a potentially larger-than-32-bit type like NSUInteger would open the door to a large set of runtime failures due to underlying implementations' use of UInt32. TODO: Remove rationales. */ typedef uint32_t AVAudioFrameCount; 1
// Integer literals are limited to 2048 bits. というコメントが。 https://github.com/apple/swift/blob/0cf1b52452f56b3bbdf2f2305cc10fef42bdff8b/stdlib/public/core/Policy.swift#L99 
func tokenize(source: String) -> [Token] { let state = State(input: source) for character in state.input { switch state.mode { case .plain: switch character { case "'": state.mode = .symbol case "\"": state.mode = .string case "\n": state.mode = .newline state.storage = "" case "(", ")", ":": state.tokens.append(Token(type: .token, value: String(character))) case " ": break default: state.mode = .token state.storage = String(character) } 1
4
1
️ If you don't have something to report in the following format, it will probably be easier and faster to ask in the slack channel first. ️ ️ Please take you time to fill in the fields below. If...
hashをファイル変更検知に使ってバグってたことがあった時に調べた。 https://github.com/realm/SwiftLint/issues/1184#issuecomment-274744331
1
https://github.com/swift-quest/swift-quest/blob/master/print-and-arithmetic/first-step.md
1 
1
1 
絶対に雑なエラー型は作らない(ライブラリやそのクラスや関数に起因したエラー型を定義する)
その他
それならグラフ構造で表さないと・・・。
What are the eligibility requirements for participation? ・You must be at least 18 years of age
1
public func AAAAAAA(x: Int) { func step1() { /* ... */ } func step2() { /* ... */ } step1() step2() } public func BBBBBBB(x: Int) { ({ // step 1 /* ... */ })() ({ // step 2 /* ... */ })() } public func CCCCCCC(x: Int) { STEP1: do { /* ... */ } STEP2: do { /* ... */ } }
/* ... */ に十分長い処理を書いて試したところ、-O でも 内部 func と クロージャはインライン化されなかったです。ちょっと意外。 1
1
2
func nop() { } typealias Setup = () -> Void class X { lazy var setup: Setup = { // 1回だけ return nop }() } 少し見た目をマシにしてみた 2
case 1 見落としやすいので構文エラーにして欲しい感 is ある 
1
JSONEncoderとJSONDecoder互換のクラスを追加してみた。 https://github.com/norio-nomura/ObjectEncoder/pull/18 classの場合 のコードがうごくのはおかしいよねっとｗ https://qiita.com/noppefoxwolf/items/a9d2a103d54b2b1ea415 
$0.baseAddress! ..< $0.baseAddress! + count できるの知らなかったー
(1)..<
(2)]. Like @DeFrenZ, I don’t understand this desire to avoid words, which everyone understands.
1brew tap el-hoshino/zundoko brew install zundoko そして使い方は zundoko の後に適当に何か英文章書きます、何が出力されるかはEnter押してからのお楽しみｗ zundoko try! Swift is Good
--version になるよみたいな話を観た気がしてウキウキして java 9 いれて --version してそんなオプションネーヨと言われた気持ち
1
1
/// canConstantFoldCallTo - Return true if its even possible to fold a call to /// the specified function. bool canConstantFoldCallTo(ImmutableCallSite CS, const Function *F); canConstantFoldCallToの実装。 https://github.com/apple/swift-llvm/blob/stable/lib/Analysis/ConstantFolding.cpp#L1441 
extension Polynomial: EuclideanRing where R: Field { 1 
compactMap の Proposal に書かれてる compact も実装できない・・・。 https://github.com/apple/swift-evolution/blob/master/proposals/0187-introduce-filtermap.md 
1
アドバイスありがとうございました！
https://qiita.com/omochimetaru/items/422ddd04e95c55dd3833#gyb
extension BilinearMap: VectorSpace, BilinearMapType where Domain: ProductSetType & VectorSpace, Domain.Left: VectorSpace, Domain.Right: VectorSpace, Codomain: VectorSpace, Domain.CoeffRing == Codomain.CoeffRing, Domain.CoeffRing == Domain.Left.CoeffRing, Domain.CoeffRing == Domain.Right.CoeffRing {extension <V1: VectorSpace, V2: VectorSpace, W: VectorSpace> BilinearMap: BilinearMapType where Domain == ProductVectorSpace<V1, V2>, Domain.CoeffRing == Codomain.CoeffRing { } これで済むと思います。
1
public typealias BilinearForm<V: VectorSpace> = BilinearMap<V, V, AsVectorSpace<V.CoeffRing>> extension BilinearForm: BilinearFormType where Domain: ProductSetType & VectorSpace, Domain.Left: VectorSpace, Domain.Left == Domain.Right, Domain.CoeffRing == Domain.Left.CoeffRing, Codomain == AsVectorSpace<Domain.CoeffRing> { } ） 
true && true && true とかやるだけで出てた気がするのでだいぶ良くはなったんだと思いますが
* は一通りしかないはずなんですよね… * M みたいな感じで係数になりうるケースはあるので、その辺がマッチしちゃってるんだと思うんですが… * ではなく * ? で探索始めちゃってるんですかねぇ？コンパイラの内部の挙動を確認しないとわからなさそう・・・。
1public extension AdditiveGroup { public static func -(a: Self, b: Self) -> Self { return (a + (-b)) } }
https://github.com/taketo1024/SwiftyMath/blob/master/Sources/SwiftyMath/Abstract/AdditiveGroup.swift#L12
1 https://github.com/apple/swift/pull/14581
1）
これいらないですよね。 
1
Processで起動した子プロセスの出力をキャプチャする際にはDispatchGroupで待つと良いという知見を得た。 https://github.com/norio-nomura/SwiftCompilerDiscordappBot/blob/master/Sources/SwiftCompilerDiscordappBot/execute().swift#L27-L31 
2
1 1
これを 
~/Library/Developer/Xcode/UserData/ に入れればすぐ出ます。 1JSONEncoder.KeyEncodingStrategy.convertToSnakeCaseとJSONDecoder.KeyDecodingStrategy.convertFromSnakeCaseが非対称となる問題のスレッドがSwift Forumではじまりました。 https://forums.swift.org/t/handling-edge-cases-in-jsonencoder-jsondecoder-key-conversion-strategies-sr-6629/12384
import Foundation struct S: Codable { var myURLProperty: String } let encoder = JSONEncoder() encoder.keyEncodingStrategy = .convertToSnakeCase let data = try encoder.encode(S(myURLProperty: "property")) let decoder = JSONDecoder() decoder.keyDecodingStrategy = .convertFromSnakeCase let decoded = try decoder.decode(S.self, from: data) // "No value associated with key CodingKeys(stringValue: \"myURLProperty\", intValue: nil) (\"myURLProperty\"), converted to my_url_property."
上記コードはLinuxでは動きません。 
4 1
ちと自分のケースだと難しそうです…
protocol XorY {} struct X: XorY {} struct Y: XorY {} protocol A1 { func a1() -> String } protocol A2: A1 { func a2() -> String } protocol A3: A2 { func a3() -> String } struct C<R>: A1 { func a1() -> String { return "a1\(R.self)" } } extension C: A2 where R: XorY { func a2() -> String { return "a2\(R.self)" } } extension C: A3 where R == Y { func a3() -> String { return "a3\(R.self)" } } print(C<X>().a1()) print(C<X>().a2()) // print(C<X>().a3()) // compile error print(C<Y>().a1()) print(C<Y>().a2()) print(C<Y>().a3()) シンプルな例ならイケそうな雰囲気はありますが…もしかしたら別のところでダメなのかも 
1
public protocol ComplexType: Ring { associatedtype Base: Ring init(_ x: Base) init(_ x: Base, _ y: Base) static var imaginaryUnit: Self { get } var realPart: Base { get } var imaginaryPart: Base { get } var inverse: Self? { get } var conjugate: Self { get } } ってして、 protocol extension つける方向で行こうかと思いますextension Array: Equatable where Element==Int {} 1extension Array: Equatable where Element==Never { static func == (lhs: Array, rhs: Array) -> Bool { return true } } 1
最初は「ManualLayout」にしたかったけどGitHubで検索してみたら既に同じ名前のがあったので考えるのだるかったからNotAutoにした訳でそろそろ4.0の時に名前考え直さないと…
a == aのケースについて話されてるかはこれから読みます。 Array.== first looks to referential equality of underlying Element.==. As a consequence, an array of NaN compares equal to another array of NaN if they share the same buffer, but otherwise false. This is an undesirable outcome. 頭から書いてあった
1
protocol A { static func hoge() } struct B: A { static func hoge() { print("B") } } extension Optional: A where Wrapped: A { static func hoge() { print("Optional") } } struct F<T> { static func fuga() { switch T.self { case is A.Type: (T.self as! A.Type).hoge() default: fatalError() } } } F<B>.fuga() // B // warning: Swift runtime does not yet support dynamically querying conditional conformance F<B?>.fuga() // fatalError 
4
4 1 base を外部から使ってなくないですか？ https://github.com/t-ae/xorswift/blob/swift4.2/Sources/Uniform.swift .base で検索してた 
let a = [[2], [3 ,5]] for (i, var numbers) in a.enumerated() { numbers.append(3) print("\(i): \(numbers)") } 1_random()をrandom(in: UnboundedRange)にしたら？って提案しようかと思うんですがこういう細かい&そもそもまだ固まってない内容もフォーラムにスレッド立てていいんですかね？ RandomUnificationのスレはちょっと古くて…… protocol P { associatedtype T func f(_ g: @escaping (T) -> Void) } class C<S>: P { typealias T = S private let _f: ((S) -> Void) -> Void init<Q: P>(q: Q) where Q.T == T { // Error: cannot assign value of type '((S) -> Void) -> Void' to type '((S) -> Void) -> Void' self._f = { g -> Void in q.f(g) } } func f(_ g: @escaping (S) -> Void) { self._f(g) } }
1
self の再宣言で LLDB 壊れますね class Example { func ok() { let f = { [weak self] in guard let strongSelf = self else { return } // Set a breakpoint at here print(strongSelf) } f() } func error() { let f = { [weak self] in guard let `self` = self else { return } // Set a breakpoint at here print(self) } f() } } Example().ok() Example().error() 1
1String(reflecting: error) で同等みたいです。 1 1
swift-DEVELOPMENT-SNAPSHOT-2018-08-26-a があるけど https://github.com/apple/swift/tags にタグが無いな。gitで見ても無さげ。 1 #other-lang 行きますか。
1
$ cat A.swift @available(*, introduced: 1) public func funcA() { print("funcA") } $ cat B.swift public func funcB() { print("funcB") funcA() } $ cat C.swift public func funcC() { print("funcC") } $ cat output.json { "A.swift": { "object": "Derived/A.o", "swiftmodule": "Derived/A~partial.swiftmodule", "swift-dependencies": "Derived/A.swiftdeps", }, "B.swift": { "object": "Derived/B.o", "swiftmodule": "Derived/B~partial.swiftmodule", "swift-dependencies": "Derived/B.swiftdeps", }, "C.swift": { "object": "Derived/C.o", "swiftmodule": "Derived/C~partial.swiftmodule", "swift-dependencies": "Derived/C.swiftdeps", }, "": { "swift-dependencies": "Derived/buildrecord.swiftdeps" } } $ mkdir -p Derived な状態から、 $ xcrun swiftc -v -incremental -output-file-map output.json A.swift B.swift C.swift -module-name MyModule -emit-library -emit-module -o Derived/MyModule.dylib でとりあえずクリーンビルドして、Derived ディレクトリの中身見たり、A.swiftの@available消して同コマンド実行して何が起こってるか確認したりすると面白いです。 1
Sequence （ Collection ？）を型パラメータにとるのがおもしろいですね。 https://github.com/pointfreeco/swift-nonempty 
A compile-time guarantee that a collection contains a value. - pointfreeco/swift-nonempty
Collection っぽいですね。 https://github.com/pointfreeco/swift-nonempty/blob/master/Sources/NonEmpty/NonEmpty.swift#L1 A compile-time guarantee that a collection contains a value. - pointfreeco/swift-nonempty A compile-time guarantee that a collection contains a value. - pointfreeco/swift-nonempty A compile-time guarantee that a collection contains a value. - pointfreeco/swift-nonempty 
1
特に理由はない気がします。kylefがやる気になったらリリースなのかも。
func eatBuffer() { self.buffer = Array(self.buffer[self.pos...]) self.pos = 0 } ↑ストリーム処理を書いているときにこれをよくやります 1
[String: Any]ベースよりも速くなる可能性があるな。 https://github.com/apple/swift-syntax/blob/master/Sources/SwiftSyntax/ByteTreeDeserialization.swift 
1 Introduction Swift 2 has introduced error handling mechanism, which has been widely adopted since. Shortly after that, XCTest added error catching support to its asse...
1
2
func nthOfEach( _ n: Int, from heterogeneousCollections: [any Collection] ) -> Any { return heterogeneousCollections.map { collection in // collection is `any Collection` let nthIndex = collection.startIndex.advanced(by: n) // error: inferred static type of nthIndex is something like `any Collection.Index`, // so compiler can’t guarantee it indexes `collection` … correct? return collection[nthIndex] } }
https://forums.swift.org/t/se-0244-opaque-result-types-reopened/22942/49
1
1
The issue with changing .swapTo (et al.?) to nonmutating is that semantically it really is a mutation. But pointers as collections have different mutation semantics to other collections: Mutating an Array’s storage is the same as mutating its value, whereas a pointer’s value is its address, not its storage. Making the Unsafe*Pointer MutableCollection methods themselves nonmutating probably wouldn’t be a source-breaking change (it’d just lower the “bar of entry” to include let constant instances too). I imagine this is noncontroversial.
https://forums.swift.org/t/why-does-the-withunsafemutablebufferpointer-closure-take-an-inout-parameter/6794/10 
string1 += string2 はちゃんと string1 = string1 + string2 よりも効率的に実装されてるのか。 https://github.com/apple/swift/blob/master/stdlib/public/core/String.swift#L575-L577 
.zeroじゃなくて0書くだけで少し高速化できる。 
1
protocol Protocol { associatedtype T1 associatedtype T2 func myFunc<Bar, Baz>(_: Bar) -> Class<Bar.T1, Baz> where Bar: Class<T1, T2> } class Class<T1, T2> : Protocol { func myFunc<Bar, Baz>(_: Bar) -> Class<Bar.T1, Baz> where Bar: Class<T1, T2> { } } このコードをコンパイルしようとすると Abort Trap:6 になるのですが、これって既知のバグでしょうか 
While emitting witness table for protocol conformance to ...が僕のと同じなので既知のBugでした、ありがとうございました SystemRandomNumberGeneratorあたりにできなかった名残がありますが。 https://github.com/apple/swift/blob/master/stdlib/public/core/Random.swift#L157 
1
void swift::initializeProtocolConformanceLookup() { REGISTER_FUNC( addImageCallback<TextSegment, ProtocolConformancesSection, addImageProtocolConformanceBlockCallback>); } 
1WeakAnyPの実装が必要で、 これだとうまくいくんだな 1
1
1
1 1 1
https://qiita.com/yyu/items/22fd6e52267daac49f8e 
2
1
1 
--use-integrated-swift-driverオプションが追加されています。 
1 1
objc_* を呼んで好き勝手できる(し、ObjCのクラスを呼び出すライブラリもアプリに内蔵されてる)んですが、そういうのが許されているので、(個人的な解釈ですが) Apple的にはたぶんユーザーに書かせる分には良いんじゃないかと思うんですよね
async/await を比較した場合、 suspendAsync(...) に相当するのは new Promise(...) で、 beginAsync に相当するのは await なしでのコールかな？ https://gist.github.com/lattner/429b9070918248274f25b714dcfc7619 suspendAsync と new Promise に対応してそう。 https://kotlinlang.org/api/latest/jvm/stdlib/kotlin.coroutines.experimental/suspend-coroutine.html
1 6
1
1
1
A server-side Swift web framework. Contribute to vapor/vapor development by creating an account on GitHub.
っぽい
trait From<T> とtrait Into<T> が用意されてて羨ましいな 
1 
2
3 1 2 2
/usr/lib/swift/libswift_Concurrency.dylibが絶対パスでリンクされて、SIP有効だとDYLD_LIBRARY_PATHも渡せないから、
mealHandle と () の間に .get が抜けてる？
func eat(mealHandle: Task.Handle<Meal, Error>) {
let meal = try await mealHandle()
meal.eat() // yum
}
https://github.com/DougGregor/swift-evolution/blob/structured-concurrency/proposals/nnnn-structured-concurrency.md
1 3
infix operator ..<?: RangeFormationPrecedence
func ..<?<T>(lhs: T, rhs: T) -> Range<T>? where T: Comparable {
guard lhs <= rhs else { return nil }
return lhs ..< rhs
}
infix operator ...?: RangeFormationPrecedence
func ...?<T>(lhs: T, rhs: T) -> ClosedRange<T>? where T: Comparable {
guard lhs <= rhs else { return nil }
return lhs ... rhs
} 1 1 1 1
5
pretty big regression https://t.co/5wVllUx1W8
アーカイブにすると使われないシンボルがリンクされなくて困るからなのかな？ライブラリを使う側でオブジェクトファイルを列挙すればいい気がするけど…（SwiftPMはそうなってる） 
️（新しく0.0.2のタグがついた）
.swiftmodule を入れられて、それが import できる、つまり .swiftinterface の代わりに(コンパイラのバージョンが一致していれば) .swiftmodule を使うことができる状態になっている。 1
1 1.swiftinterface と .swiftmodule のどっちが「正」かっていうのは議論あるかも。
https://forums.swift.org/t/explicit-module-builds-the-new-swift-driver-and-swiftpm/36990 ここでは "there are four forms of module" Foundation.Process で /usr/bin/swiftc を実行しようとすると、
2021-06-05 15:20:12.963749+0900 swiftc[99910:13408271] Failed to open macho file at /Applications/Xcode12.5.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin/swiftc for reading: Too many levels of symbolic links 
1
1 1 1
async 化されてるんだとしたら、https://github.com/apple/swift-evolution/blob/main/proposals/0297-concurrency-objc.md#asynchronous-completion-handler-methods で議論されなかったのかな。
1 1
1
MainActor に戻す手段をどこかで見たなぁと思って WWDC のセッションや Proposal 漁ってたんですが、 { @MainActor in ... } を見つけて、これだったかも？ってなってました。
Brent, earlier in the thread makes a lot of good points. But I’d still like to discuss two subjects: 1) What makes the proposal really stand on its feet compared to third-party libraries is the compiler generation magic. I feel divided about it. On one hand, this is the only solution today to have this level of t... 
: Int l... class UICell {}
func _dequeue(_ type: UICell.Type) -> UICell {
print(type) // MyCellが出てこない
fatalError()
}
func dequeue<Cell: UICell>(_ type: UICell.Type = Cell.self) -> Cell {
_dequeue(Cell.self) as! Cell
}
class MyCell: UICell {}
class MyCell2: UICell {}
func cell(for row: Int) -> UICell {
let cell: UICell
if Bool.random() {
cell = dequeue(MyCell.self)
} else {
cell = dequeue(MyCell2.self)
}
return cell
}
cell(for: 0)
おぼろげな記憶から思い出してみたんですがこんな感じだったかも？
_precondition になってる。
@inlinable
@inline(__always)
internal func _checkValidSubscript(_ index: Int) {
_precondition(
(index >= 0) && (index < immutableCount),
"Index out of range"
)
}
https://github.com/apple/swift/blob/main/stdlib/public/core/ContiguousArrayBuffer.swift#L589-L596
_require だったっぽい。
https://github.com/apple/swift/commit/40b1a0b7e016b467b6c569db79b4d467b334352c
1
do 記法と throws / try の話をしていたら、偶然だけど今日 inamiy さんが iOSDC で do 記法と async / await の話をしていた。
https://speakerdeck.com/inamiy/iosdc-japan-2021
2
タダにはならないけど少しの金銭的な援助が受けられることになりました。 1
タダにはならないけど少しの金銭的な援助が受けられることになりました。
The intent is to free the core team to invest more in overall project stewardship and create a larger language workgroup that can incorporate more community members in language decisions.
https://forums.swift.org/t/core-team-to-form-language-workgroup/55455 2
️: Diagnose API breaking changes. If you are a library owner, it is now easy to check if you accidentally break public API. Ideally you make this part of your CI. Huge shoutout to community contributor @owenvoorhees who implemented this. https://t.co/Y9qk0qUhg5
1
1
@_optimize(none)
func blackhole<T>(_: T) {}
func modify<T, ResultType>(_ x: inout T, _ body: (inout T) -> ResultType) -> ResultType {
return body(&x)
}
struct Element {
var value1: Int64
var value2: Int64
var tails: [Int64]
}
func modifyElement(items: [Element]) {
var items = items
modify(&items[0]) { item in
item.value1 = 42
item.tails[0] = 50
}
blackhole(items)
}
import Foundation
let start = Date()
for _ in 0..<1000000 {
let baseItems = [
Element(value1: 1, value2: 2, tails: Array(repeating: 24, count: 3000)),
]
modifyElement(items: baseItems)
}
let elapsed = Date().timeIntervalSince(start)
print("took \(elapsed)") took 2.2947229146957397 @_optimize(none)
func blackhole<T>(_: T) {}
struct Element {
var value1: Int64
var value2: Int64
var tails: [Int64]
}
func modifyElement(items: [Element]) {
var items = items
var item = items[0]
item.value1 = 42
item.tails[0] = 50
items[0] = item
blackhole(items)
}
import Foundation
let start = Date()
for _ in 0..<1000000 {
let baseItems = [
Element(value1: 1, value2: 2, tails: Array(repeating: 24, count: 3000)),
]
modifyElement(items: baseItems)
}
let elapsed = Date().timeIntervalSince(start)
print("took \(elapsed)") took 2.611519932746887 
ManagedCriticalStateというstructがあり、
https://github.com/apple/swift-async-algorithms/blob/main/Sources/AsyncAlgorithms/Locking.swift
用途としては、複数のactorとかqueueで状態を共有する場合や、前に他のスレッドで話にあったwithTaskCancellationHandlerのcancelHandlerで利用することが想定されているのですが、
https://github.com/apple/swift-async-algorithms/pull/7
actor内部の値にsyncにアクセスしたい場合にも使えるのかなと思ったのですが、どうなんでしょう？withCriticalRegion内部でawaitできないのでデータ競合は起きないのかなーと思ったのですが…
actor A {
let state = ManagedCriticalState(0)
nonisolated var value: Int {
state.withCriticalRegion {
$0
}
}
func update() {
state.withCriticalRegion {
$0 += 1
}
}
}
func test() async {
let a = A()
await a.update()
print(a.value) // 1
}
await test()
ManagedCriticalStateというstructがあり、
https://github.com/apple/swift-async-algorithms/blob/main/Sources/AsyncAlgorithms/Locking.swift
用途としては、複数のactorとかqueueで状態を共有する場合や、前に他のスレッドで話にあったwithTaskCancellationHandlerのcancelHandlerで利用することが想定されているのですが、
https://github.com/apple/swift-async-algorithms/pull/7
actor内部の値にsyncにアクセスしたい場合にも使えるのかなと思ったのですが、どうなんでしょう？withCriticalRegion内部でawaitできないのでデータ競合は起きないのかなーと思ったのですが…
actor A {
let state = ManagedCriticalState(0)
nonisolated var value: Int {
state.withCriticalRegion {
$0
}
}
func update() {
state.withCriticalRegion {
$0 += 1
}
}
}
func test() async {
let a = A()
await a.update()
print(a.value) // 1
}
await test() 
1
1
1// makePair()
sil hidden @$s1i8makePairQr_QrtyF : $@convention(thin) @substituted <τ_0_0, τ_0_1> () -> (@out τ_0_0, @out τ_0_1) for <@_opaqueReturnTypeOf("$s1i8makePairQr_QrtyF", 0) __, @_opaqueReturnTypeOf("$s1i8makePairQr_QrtyF", 0) __> { // makePair()
sil @$s1b8makePairQr_QR_tyF : $@convention(thin) @substituted <τ_0_0, τ_0_1> () -> (@out τ_0_0, @out τ_0_1) for <@_opaqueReturnTypeOf("$s1b8makePairQr_QR_tyF", 0) __, @_opaqueReturnTypeOf("$s1b8makePairQr_QR_tyF", 1) __>public protocol P {}
public struct S1: P {}
public struct S2: P {}
public func makePair() -> (some P, some P) {
(S1(), S1())
} sil_stage canonical
import Builtin
import Swift
import SwiftShims
public protocol P {
}
public struct S1 : P {
init()
}
public struct S2 : P {
init()
}
public func makePair() -> (some P, some P)
// main
sil @main : $@convention(c) (Int32, UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>) -> Int32 {
bb0(%0 : $Int32, %1 : $UnsafeMutablePointer<Optional<UnsafeMutablePointer<Int8>>>):
%2 = integer_literal $Builtin.Int32, 0 // user: %3
%3 = struct $Int32 (%2 : $Builtin.Int32) // user: %4
return %3 : $Int32 // id: %4
} // end sil function 'main'
// S1.init()
sil hidden @$s4main2S1VACycfC : $@convention(method) (@thin S1.Type) -> S1 {
// %0 "$metatype"
bb0(%0 : $@thin S1.Type):
%1 = alloc_stack [lexical] $S1, var, name "self", implicit // user: %3
%2 = struct $S1 () // user: %4
dealloc_stack %1 : $*S1 // id: %3
return %2 : $S1 // id: %4
} // end sil function '$s4main2S1VACycfC'
// makePair()
sil @$s4main8makePairQr_QR_tyF : $@convention(thin) @substituted <τ_0_0, τ_0_1> () -> (@out τ_0_0, @out τ_0_1) for <@_opaqueReturnTypeOf("$s4main8makePairQr_QR_tyF", 0) __, @_opaqueReturnTypeOf("$s4main8makePairQr_QR_tyF", 1) __> {
// %0 "$return_value" // user: %5
// %1 "$return_value" // user: %9
bb0(%0 : $*S1, %1 : $*S1):
%2 = metatype $@thin S1.Type // user: %4
// function_ref S1.init()
%3 = function_ref @$s4main2S1VACycfC : $@convention(method) (@thin S1.Type) -> S1 // user: %4
%4 = apply %3(%2) : $@convention(method) (@thin S1.Type) -> S1 // user: %5
store %4 to %0 : $*S1 // id: %5
%6 = metatype $@thin S1.Type // user: %8
// function_ref S1.init()
%7 = function_ref @$s4main2S1VACycfC : $@convention(method) (@thin S1.Type) -> S1 // user: %8
%8 = apply %7(%6) : $@convention(m 
1someにするかどうかという議論が最近盛り上がってますね(やるべきなのか、やるとしたらいつどうやるのか)
これまで存在型になって問題が起きる可能性があったのでanyが入ったという動機を考えるとそうなるのかなあとは思いましたが、どうなんでしょう？
https://forums.swift.org/t/discussion-eliding-some-in-swift-6/57918 
1 1
ただまだ Xcode 14 では動かないかも？ ↓のスレでいろいろ話しているので貼っておきます
https://twitter.com/the_uhooi/status/1560796006664765445?s=20&t=YVn3hc8-0COpgqjqIZdJdg 1
2
func nonThrowing(_ body: @autoclosure () throws -> Void) {
try? body()
}
func rethrowing(_ body: () throws -> Void) rethrows {
try body()
}
func fail() throws {
throw NSError(domain: "", code: 0)
}
func foo() {
nonThrowing(try fail())
}
func bar() {
rethrowing {
nonThrowing(try fail())
}
}
1
func nonThrowing(_ body: @autoclosure () throws -> Void) {
try? body()
}
func rethrowing(_ body: () throws -> Void) rethrows {
try body()
}
func fail() throws {
throw NSError(domain: "", code: 0)
}
func foo() {
nonThrowing(try fail())
}
func bar() {
rethrowing {
nonThrowing(try fail())
}
} <stdin>:8:11: error: cannot find 'NSError' in scope
throw NSError(domain: "", code: 0)
^~~~~~~
<stdin>:15:5: error: call can throw, but it is not marked with 'try' and the error is not handled
rethrowing {
^
<stdin>:15:16: note: call is to 'rethrows' function, but argument function can throw
rethrowing {
^ 1enum HogeError: Error { case hoge }
func nonThrowing(_ body: @autoclosure () throws -> Void) {
try? body()
}
func rethrowing(_ body: () throws -> Void) rethrows {
try body()
}
func fail() throws {
throw HogeError.hoge
}
func foo() {
nonThrowing(try fail())
}
func bar() {
rethrowing {
nonThrowing(try fail())
}
} <stdin>:17:5: error: call can throw, but it is not marked with 'try' and the error is not handled
rethrowing {
^
<stdin>:17:16: note: call is to 'rethrows' function, but argument function can throw
rethrowing {
^
protocol P {
static func equals(a: Self, b: Self) -> Bool
}
class C1: P {
init() {}
static func equals(a: C1, b: C1) -> Bool {
true
}
}
class C2: C1 { }
func start(_ a: any P, _ b: any P) {
open(a, b)
}
func open<T: P, U: P>(_ t: T, _ u: U) {
guard let u = u as? T else {
print("no")
return
}
print("ok")
_ = T.equals(a: t, b: u)
}
func check(_ a: C2, b: C1) {
_ = C2.equals(a: a, b: b)
}
start(C1(), C2()) // ok
start(C2(), C1()) // no ok
noextension any P: Equatable { ... } が書けるようになってほしい。。
2
print(\Int?.?.description)
print(\Optional<Int>.?.description) <stdin>:2:20: error: '>' is not a postfix unary operator
print(\Optional<Int>.?.description)
^
<stdin>:2:21: error: cannot find operator '.?.' in scope
print(\Optional<Int>.?.description)
^~~
<stdin>:2:24: error: cannot find 'description' in scope
print(\Optional<Int>.?.description)
^~~~~~~~~~~ 1import Foundation
var f = DateFormatter()
f.dateFormat = "yyyy/MM/dd HH:mm:ss"
f.locale = Locale(identifier: "ja")
f.calendar = .init(identifier: .gregorian)
f.timeZone = TimeZone(abbreviation: "JST")!
print(f.date(from: "2022/07/10 12:00:00") ?? "nil") // ok
print(f.date(from: "2022-07-10 12:00:00") ?? "nil") // macだとok, Linuxだとng 2022-07-10 03:00:00 +0000
nil 1
“UCDetector：ユーザ空間で実装したSwift言語用の循環参照検知器”
https://t.co/DYZjko524i 
1
@codegen と @end のプレースホルダマーカーをソースコードに書いておいて、
画像2枚目のようなレンダラーを書いておくと、
(その他いろいろなセットアップを経て)
$ swift package codegen で、プレースホルダ内に生成コードが挿入される。
swift-format を組み込んであって、インデントとか綺麗になる。
$ swift package init してから、手動で、CodegenKitを依存に追加する
画像2: $ swift package codegen-kit init を実行する
画像3: その結果、自動で codegen がセットアップされる
画像4: $ swift package codegen でコード生成を実行する
対象のパッケージはswift package initした状態ではない途中からでも codegen-kit init できる。
SwiftPM の command plugin は、product として公開しておくと、ルートのプロジェクトから、依存先のcommandが呼び出せるので、自分自身をセットアップするコマンドを出荷することができる・・・
codegenのセットアップにおいては、プロジェクトの Package.swift をswift-syntaxで解析して編集してる。 
extension Value {
func with<Value>(
_ kp: WritableKeyPath<Self, Value>,
_ newValue: Value
) -> Self {
var copy = self
copy[keyPath: kp] = newValue
return copy
}
}
を用意すると
let copy = value
.with(\.name, "John")
.with(\.address.countryName, "Japan")
みたいにできて便利で、 SwiftSyntax はプロパティ毎の withXXX(_:) APIを全部捨ててこの汎用with(_:_:)に置き変えますよっていう。 https://github.com/apple/swift-syntax/pull/1253 
6
Error を特別扱いするって書いてないような・・・
1
-enable-upcoming-feature ExistentialAnyを素通りしてくる
https://github.com/apple/swift/issues/65034
2-enable-upcoming-feature ExistentialAnyを素通りしてくる
https://github.com/apple/swift/issues/65034 1
UIView のリファレンス https://developer.apple.com/documentation/uikit/uiview の Conforms To に Equatable や Hashable がないんだけど（ NSObject https://developer.apple.com/documentation/objectivec/nsobject にはある）、これって単にドキュメント上で漏れてるだけ？
Equatable に準拠したクラスのサブクラスの Equatable 準拠ってどうなるんだったっけ（ == の Self がサブクラスを指さずにスーパークラスを指して UIVeiw にとっての Euatable 準拠になってない？）と思ったけど、↓はできたからサブクラスにとっての Equatable 準拠でいいのかな。
@swift-5.8.1
import Foundation
struct Foo<T: Equatable> {
func bar(_ x: T, _ y: T) -> Bool {
return x == y
}
}
class UIView: NSObject {
}
let foo: Foo<UIView> = .init() // これが通るので UIView は Equatable 準拠
let a: UIView = .init()
let b: UIView = .init()
print(a == a)
print(a == b) true
falseUIView のリファレンス https://developer.apple.com/documentation/uikit/uiview の Conforms To に Equatable や Hashable がないんだけど（ NSObject https://developer.apple.com/documentation/objectivec/nsobject にはある）、これって単にドキュメント上で漏れてるだけ？
Equatable に準拠したクラスのサブクラスの Equatable 準拠ってどうなるんだったっけ（ == の Self がサブクラスを指さずにスーパークラスを指して UIVeiw にとっての Euatable 準拠になってない？）と思ったけど、↓はできたからサブクラスにとっての Equatable 準拠でいいのかな。
@swift-5.8.1
import Foundation
struct Foo<T: Equatable> {
func bar(_ x: T, _ y: T) -> Bool {
return x == y
}
}
class UIView: NSObject {
}
let foo: Foo<UIView> = .init() // これが通るので UIView は Equatable 準拠
let a: UIView = .init()
let b: UIView = .init()
print(a == a)
print(a == b) == は Self 型で定義されてるから、サブクラスの式に見えてるときは サブクラス同士でないと比較できないはず 
Foo<UIView> に対して == を UIView 同士の比較に制限し、それが呼び出されたときは NSObject の == （の先にある isEqual が呼ばれるのはいいとして、その場合 UIView は Equatable に準拠していると言えると思うけど、 UIView のリファレンスに載ってないのはドキュメント上の問題なのかな？ UIView は Equatable に準拠している」で合ってると思います。
「親クラスを経由して準拠している」のか「自分で準拠している」のかは、違いをもたらさないはず。
SR-103は、「親クラスで準拠する時にデフォルト実装を選択している」だから「子も準拠している」と考えてよくて、特に↑とは矛盾しない。 1 1class A: Equatable {
static func ==(lhs: A, rhs: A) -> Bool {
print("A")
return lhs === rhs
}
}
class B: A {}
class C: B {
static func ==(lhs: C, rhs: C) -> Bool {
print("C")
return lhs === rhs
}
}
struct Foo<T: Equatable> {
func bar(_ x: T, _ y: T) -> Bool {
x == y
}
}
let c: C = .init()
print(Foo<A>().bar(c, c))
print(Foo<B>().bar(c, c))
print(Foo<C>().bar(c, c)) A
true
A
true
A
trueimport Foundation
struct Foo<T: Equatable> {
func bar(_ x: T, _ y: T) -> Bool {
x == y
}
}
let a: NSMutableString = "X"
let b: NSMutableString = "X"
print(a === b)
print(Foo<NSObject>().bar(a, b))
print(Foo<NSString>().bar(a, b))
print(Foo<NSMutableString>().bar(a, b)) false
true
true
trueNSObject の == は static func っぽいけど何が起こってるの？？
static func == (lhs: NSObject, rhs: NSObject) -> Bool
https://developer.apple.com/documentation/objectivec/nsobject/2983393 
func eq<T>(a: T, b: T) -> Bool{
if case a = b {
return true
} else {
return false
}
} <stdin>:2:13: error: operator function '~=' requires that 'T' conform to 'Equatable'
if case a = b {
^
Swift.~=:1:13: note: where 'T' = 'T'
public func ~= <T>(a: T, b: T) -> Bool where T : Equatable
^
let v = if Bool.random() { "World" } else { nil }
print(type(of: v))
let v2 = Bool.random() ? "World" : nil
print(type(of: v2)) <stdin>:1:45: error: 'nil' requires a contextual type
let v = if Bool.random() { "World" } else { nil }
^
<stdin>:2:1: error: type of expression is ambiguous without a type annotation
print(type(of: v))
^~~~~~~~~~~~~~~~~~
︎let v = if Bool.random() { "World" } else { .none }
let v2 = if Bool.random() { .some("World") } else { nil }
let v3: String? = if Bool.random() { "World" } else { nil } <stdin>:1:46: error: cannot infer contextual base in reference to member 'none'
let v = if Bool.random() { "World" } else { .none }
~^~~~
<stdin>:2:30: error: cannot infer contextual base in reference to member 'some'
let v2 = if Bool.random() { .some("World") } else { nil }
~^~~~ 
4 1
1
!Copyable ではなく ~Copyable なのか謎に思ったのですが、なるほど厳密には「Copyable ではない」じゃなくて「Copyable の保証がない」の意味だったか
7
1
func XCTAssertEqual<T: Equatable>(_ a: T, _ b: T) {
guard a == b else {
print("\(a) != \(b)")
return
}
}
// コ + 半角濁点
let s = "\u{30B3}\u{FF9E}"
XCTAssertEqual(s.unicodeScalars.count, 2)
XCTAssertEqual(s.count, 1)
let indices: [String.Index] = Array(s.indices) + [s.endIndex]
XCTAssertEqual(indices.count, 2)
let range: Range<String.Index> = s.rangeOfCharacter(from: chars)!
XCTAssertEqual(indices.contains(range.lowerBound), true)
XCTAssertEqual(indices.contains(range.upperBound), false) // !? <stdin>:17:71: error: cannot find 'chars' in scope
let range: Range<String.Index> = s.rangeOfCharacter(from: chars)!
^~~~~
<stdin>:17:48: error: value of type 'String' has no member 'rangeOfCharacter'
let range: Range<String.Index> = s.rangeOfCharacter(from: chars)!
~ ^~~~~~~~~~~~~~~~import Foundation
func XCTAssertEqual<T: Equatable>(_ a: T, _ b: T) {
guard a == b else {
print("\(a) != \(b)")
return
}
}
// コ + 半角濁点
let s = "\u{30B3}\u{FF9E}"
XCTAssertEqual(s.unicodeScalars.count, 2)
XCTAssertEqual(s.count, 1)
let indices: [String.Index] = Array(s.indices) + [s.endIndex]
XCTAssertEqual(indices.count, 2)
let chars = CharacterSet(charactersIn: "ァ"..."ヺ")
let range: Range<String.Index> = s.rangeOfCharacter(from: chars)!
XCTAssertEqual(indices.contains(range.lowerBound), true)
XCTAssertEqual(indices.contains(range.upperBound), false) // !? let s = "\u{30B3}\u{FF9E}"
let su = s.unicodeScalars
let i0 = su.startIndex
let i1 = su.index(su.startIndex, offsetBy: 1)
let i2 = su.index(su.startIndex, offsetBy: 2)
print(s.distance(from: s.startIndex, to: i0))
print(s.distance(from: s.startIndex, to: i1))
print(s.distance(from: s.startIndex, to: i2))
print(i0 < i1)
print(i1 < i2)
print(i2 == s.endIndex) 0
0
1
true
true
truelet s = "\u{30B3}\u{FF9E}"
let su = s.unicodeScalars
let i0 = su.startIndex
let i1 = su.index(su.startIndex, offsetBy: 1)
let i2 = su.index(su.startIndex, offsetBy: 2)
print(s.distance(from: s.startIndex, to: i0))
print(s.distance(from: s.startIndex, to: i1))
print(s.distance(from: s.startIndex, to: i2))
print(i0 < i1)
print(i1 < i2)
print(i2 == s.endIndex)
print(su.distance(from: su.startIndex, to: i0))
print(su.distance(from: su.startIndex, to: i1))
print(su.distance(from: su.startIndex, to: i2)) 0
0
1
true
true
true
0
1
2 import Foundation
func takeSendableClosure(_ c: @Sendable @escaping () -> ()) {
Task.detached(operation: c)
}
let nonSendable: () -> () = {}
takeSendableClosure(nonSendable) // 警告出る
struct S {
var nonSendableValue: () -> ()
@Sendable func mayUseNonSendableValue() {
nonSendableValue()
}
}
var count = 0
var s = S(nonSendableValue: {
count += 1
})
takeSendableClosure(s.mayUseNonSendableValue) // 警告出ない
for _ in 0..<10000 {
takeSendableClosure(s.mayUseNonSendableValue)
}
print(count)
sleep(1)
print(count) 9745
9999<stdin>:7:21: warning: converting non-sendable function value to '@Sendable () -> ()' may introduce data races
takeSendableClosure(nonSendable) // 警告出る import Foundation
func takeSendableClosure(_ c: @Sendable @escaping () -> ()) {
Task.detached(operation: c)
}
let nonSendable: () -> () = {}
takeSendableClosure(nonSendable) // 警告出る
struct S {
var nonSendableValue: () -> ()
@Sendable func mayUseNonSendableValue() {
nonSendableValue()
}
}
var count = 0
var s = S(nonSendableValue: {
count += 1
})
takeSendableClosure(s.mayUseNonSendableValue) // 警告出ない
for _ in 0..<10000 {
takeSendableClosure(s.mayUseNonSendableValue)
}
print(count)
sleep(1)
print(count) 9798
9977<stdin>:7:21: warning: converting non-sendable function value to '@Sendable () -> ()' may introduce data races
takeSendableClosure(nonSendable) // 警告出る
<stdin>:11:3: warning: instance methods of non-Sendable types cannot be marked as '@Sendable'; this is an error in Swift 6
@Sendable func mayUseNonSendableValue() {
^
1
print([1, nil, 3, nil, 5].compactMap(\.self)) <stdin>:1:38: error: cannot convert value of type 'WritableKeyPath<_, _>' to expected argument type '(Int?) throws -> ElementOfResult?'
print([1, nil, 3, nil, 5].compactMap(\.self))
^
<stdin>:1:27: error: generic parameter 'ElementOfResult' could not be inferred
print([1, nil, 3, nil, 5].compactMap(\.self))
^
Swift.Sequence:2:28: note: in call to function 'compactMap'
@inlinable public func compactMap<ElementOfResult>(_ transform: (Self.Element) throws -> ElementOfResult?) rethrows -> [ElementOfResult]
^
<stdin>:1:38: error: cannot infer key path type from context; consider explicitly specifying a root type
print([1, nil, 3, nil, 5].compactMap(\.self))
^
<#Root#>
1
2
2
1 1 1
1 1
2
.enableUpcomingFeature("InternalImportsByDefault") が全く機能していない気がする InternalImportsByDefault は ship されてないですよ．
https://github.com/apple/swift/blob/release/5.10/include/swift/Basic/Features.defInternalImportsByDefault は Language Steering Group で方針転換があって Swift 6 じゃなくて Swift 7 に見送られたみたいです．
https://github.com/apple/swift/pull/73149
2 1- Stored properties of Sendable type in a global-actor-isolated value type can be declared as nonisolated without using (unsafe).
- Stored properties of Sendable type in a global-actor-isolated value type are treated as nonisolated when used within the module that defines the property.
- @Sendable is inferred for global-actor-isolated functions and closures.
- Global-actor-isolated closures are allowed to capture non-Sendable values despite being @Sendable.
- A global-actor-isolated subclass of a non-isolated, non-Sendable class is allowed, but it must be non-Sendable
1 3️ WARNING: If you have strict concurrency checking enabled you should migrate to the async Application.make()
NIO's EventLoopFuture.wait() is marked a...
@available(*, noasync) を付けると警告が出せるらしい 3
extension AsyncIteratorProtocol {
/// Default implementation of `next(isolation:)` in terms of `next()`, which is
/// required to maintain backward compatibility with existing async iterators.
@available(SwiftStdlib 6.0, *)
@available(*, deprecated, message: "Provide an implementation of 'next(isolation:)'")
public mutating func next(isolation actor: isolated (any Actor)?) async throws(Failure) -> Element? {
nonisolated(unsafe) var unsafeIterator = self
do {
let element = try await unsafeIterator.next()
self = unsafeIterator
return element
} catch {
throw error as! Failure
}
}
} 
Any を書く以外で empty protocol composition を表現する方法って存在するのでしょうか？
https://github.com/apple/swift/pull/7222#discussion_r99262673
protocol P<A> {
associatedtype A
}
protocol Q {}
func f(_ v: any P<Int>) {}
func g(_ v: any (P<Int> & Q)) {}
func h(_ v: any (P & Q)) {} <stdin>:6:18: error: non-protocol, non-class type 'P<Int>' cannot be used within a protocol-constrained type
4 | protocol Q {}
5 | func f(_ v: any P<Int>) {}
6 | func g(_ v: any (P<Int> & Q)) {}
| `- error: non-protocol, non-class type 'P<Int>' cannot be used within a protocol-constrained type
7 | func h(_ v: any (P & Q)) {}
8 | 2
@retroactive 警告抑えられるのしらなかったー
@retroactive 警告抑えられるのしらなかったー 
1
print((1 ... 1).min()) Optional(1)<stdin>:1:7: warning: expression implicitly coerced from 'ClosedRange<Int>.Element?' (aka 'Optional<Int>') to 'Any'
1 | print((1 ... 1).min())
| | |- note: provide a default value to avoid this warning
| | |- note: force-unwrap the value to avoid this warning
| | `- note: explicitly cast to 'Any' with 'as Any' to silence this warning
| `- warning: expression implicitly coerced from 'ClosedRange<Int>.Element?' (aka 'Optional<Int>') to 'Any'
2 | protocol P {
func foo() -> Int?
}
struct S: P {
func foo() -> Int { 42 }
}
let s = S()
print(s.foo()) <stdin>:5:8: error: type 'S' does not conform to protocol 'P'
1 | protocol P {
2 | func foo() -> Int?
| `- note: protocol requires function 'foo()' with type '() -> Int?'; add a stub for conformance
3 | }
4 |
5 | struct S: P {
| `- error: type 'S' does not conform to protocol 'P'
6 | func foo() -> Int { 42 }
| `- note: candidate has non-matching type '() -> Int'
7 | }
8 | let f1: () -> Int = { 42 }
let f2: () -> Int? = f1
print(f2()) Optional(42)<stdin>:3:7: warning: expression implicitly coerced from 'Int?' to 'Any'
1 | let f1: () -> Int = { 42 }
2 | let f2: () -> Int? = f1
3 | print(f2())
| |- warning: expression implicitly coerced from 'Int?' to 'Any'
| |- note: provide a default value to avoid this warning
| |- note: force-unwrap the value to avoid this warning
| `- note: explicitly cast to 'Any' with 'as Any' to silence this warning
4 | class Animal {}
class Cat: Animal {}
protocol P {
func foo() -> Animal
}
struct S: P {
func foo() -> Cat { Cat() }
}
let s = S()
print(s.foo()) <stdin>:8:8: error: type 'S' does not conform to protocol 'P'
3 |
4 | protocol P {
5 | func foo() -> Animal
| `- note: protocol requires function 'foo()' with type '() -> Animal'; add a stub for conformance
6 | }
7 |
8 | struct S: P {
| `- error: type 'S' does not conform to protocol 'P'
9 | func foo() -> Cat { Cat() }
| `- note: candidate has non-matching type '() -> Cat'
10 | }
11 | T は暗黙の型変換を使って T? のサブタイプのフリをするので () -> Int を () -> Int? に代入することもできる() -> Int? を返すメソッドを持つという制約に () -> Int を返すメソッドで実装することで準拠することはできないClosedRange は ClosedRange.min に該当する要素を常に持つが Optional を返さざるを得ない
ということ？LocalizedError protocol の var errorDescription: String? (デフォルト実装あり) を実装しようとして var errorDescription: String になっていて実装できていないみたいな例を見かけることがあります．
import Foundation
let date = Calendar(identifier: .gregorian).date(byAdding: .year, value: Int.min, to: Date(timeIntervalSince1970: 0))
print(date as Any) Stack dump:
0. Program arguments: /usr/bin/swift-frontend -frontend -interpret - -disable-objc-interop -empty-abi-descriptor -resource-dir /usr/lib/swift -module-name main -plugin-path /usr/lib/swift/host/plugins -plugin-path /usr/local/lib/swift/host/plugins
1. Swift version 6.0 (swift-6.0-RELEASE)An object conceptually has three refcounts.
https://github.com/swiftlang/swift/blob/main/stdlib/public/SwiftShims/swift/shims/RefCount.h#L44 1
// ModuleA
extension String {
public static let hoge = 0
}
public struct SA {}
// ModuleB
extension String {
public static let hoge = 1
}
public struct SB {}
// ModuleC
import ModuleA
import ModuleB
print(String.hoge)
は ambiguous なのに
// ModuleA
extension String {
public static let hoge = 0
}
public struct SA {}
// ModuleB
extension String {
public static let hoge = 1
}
public struct SB {}
// ModuleC
import struct ModuleA.SA
import struct ModuleB.SB
print(String.hoge)
はエラーにならず後に import した module の String.hoge が採用されるから import 順序でコントロールできることに気づいたんですが，良いのかそれで...って感じがしますねw 2
6public struct Header {
public let protocolId: UInt32 = 0x424D53FE
public let structureSize: UInt16 = 64
public var creditCharge: UInt16
...
}
上記のprotocolIdとstructureSizeはこのHeaderというデータ（SMB2のパケットヘッダーです）では必ず固定の値です。
また、プロパティとしてこの値を持つこと自体は合理的だと思います。パケットの構造を示しているし、Debuggerでpoしたときに表示されるなどあるので。
という場合にこのプロパティをvarにすることはないと思います。他の値が入ることはないので。 2 1
public struct Header {
public let protocolId: UInt32 = 0x424D53FE
public let structureSize: UInt16 = 64
public var creditCharge: UInt16
...
}
上記のprotocolIdとstructureSizeはこのHeaderというデータ（SMB2のパケットヘッダーです）では必ず固定の値です。
また、プロパティとしてこの値を持つこと自体は合理的だと思います。パケットの構造を示しているし、Debuggerでpoしたときに表示されるなどあるので。
という場合にこのプロパティをvarにすることはないと思います。他の値が入ることはないので。 protocolId や structuredSize を var で実装して読み取る必要が生じませんか？
また、あえて不適切な壊れたパケットを送って実装の堅牢性を確認したり、他実装のピアの動作を観察したりするような応用をしたい場合も、varにしたくなりませんかね？
ソフトウェアって事前に想定していないこのような応用例などが出てきたりハックをやりたくなることがあって、そう言う時にletだと不便になるのがよくないと思っています public struct Header {
public let protocolId: UInt32
public let structureSize: UInt16
public internal(set) var creditCharge: UInt16
public let status: UInt32
...
public init(
creditCharge: UInt16 = 1,
command: Command,
creditRequest: UInt16 = 0,
flags: Flags = [],
nextCommand: UInt32 = 0,
messageId: UInt64,
treeId: UInt32 = 0,
sessionId: UInt64
) {
self.protocolId = 0x424D53FE
self.structureSize = 64
self.creditCharge = creditCharge
self.status = 0
self.command = command.rawValue
...
}
init(data: Data) {
let reader = ByteReader(data)
protocolId = reader.read()
structureSize = reader.read()
creditCharge = reader.read()
status = reader.read()
...
}
最初の例は簡単に書いたのでプロパティの定義と初期化を一緒にしましたが、実際はこのようにinitで定数になっているので、受信のときは受け取ったバイナリから初期化されます。その場合でもprotocolIdやstructureSizeを利用者が個別に変更したいというユースケースはないはずです。 public struct Header {
public let protocolId: UInt32
public let structureSize: UInt16
public internal(set) var creditCharge: UInt16
public let status: UInt32
...
public init(
creditCharge: UInt16 = 1,
command: Command,
creditRequest: UInt16 = 0,
flags: Flags = [],
nextCommand: UInt32 = 0,
messageId: UInt64,
treeId: UInt32 = 0,
sessionId: UInt64
) {
self.protocolId = 0x424D53FE
self.structureSize = 64
self.creditCharge = creditCharge
self.status = 0
self.command = command.rawValue
...
}
init(data: Data) {
let reader = ByteReader(data)
protocolId = reader.read()
structureSize = reader.read()
creditCharge = reader.read()
status = reader.read()
...
}
最初の例は簡単に書いたのでプロパティの定義と初期化を一緒にしましたが、実際はこのようにinitで定数になっているので、受信のときは受け取ったバイナリから初期化されます。その場合でもprotocolIdやstructureSizeを利用者が個別に変更したいというユースケースはないはずです。 
public struct Header {
public let protocolId: UInt32 = 0x424D53FE
public let structureSize: UInt16 = 64
public var creditCharge: UInt16
...
}
上記のprotocolIdとstructureSizeはこのHeaderというデータ（SMB2のパケットヘッダーです）では必ず固定の値です。
また、プロパティとしてこの値を持つこと自体は合理的だと思います。パケットの構造を示しているし、Debuggerでpoしたときに表示されるなどあるので。
という場合にこのプロパティをvarにすることはないと思います。他の値が入ることはないので。 var であることと不正な値を代入されないことを両立できそうですね。Swiftは ExpressibleBy*Literal があるからリテラルの型が定まらなくてダメですが。
-oとかで実行時のディレクトリに生成されたファイルをアップロードします。
@swift-main -frontend -emit-sil -o let.sil.log
struct Hoge {
// ↓ ここだけ変える↓
let foo = 999
// var foo = 999
}
var global = 0
func main() {
let hoge = Hoge()
update(hoge: hoge)
}
func update(hoge: Hoge) {
global = hoge.foo
} 1 1-oとかで実行時のディレクトリに生成されたファイルをアップロードします。
@swift-main -frontend -emit-sil -o let.sil.log
struct Hoge {
// ↓ ここだけ変える↓
let foo = 999
// var foo = 999
}
var global = 0
func main() {
let hoge = Hoge()
update(hoge: hoge)
}
func update(hoge: Hoge) {
global = hoge.foo
} 1let にすることになるということじゃないでしょうか。
たとえば、健全性条件を考えると var age: Int は許されず、 let age: Int か var age: UInt にすることになると思います。Swiftにおいて一般的には非負整数であっても Int を使うことが推奨されているので（ UInt は簡単にオーバーフロー→クラッシュしますし）、 let age: Int を選ぶことになりそうです。
そう考えると、多くの Int 型のプロパティは let が求められるように思います。let にすることになるということじゃないでしょうか。
たとえば、健全性条件を考えると var age: Int は許されず、 let age: Int か var age: UInt にすることになると思います。Swiftにおいて一般的には非負整数であっても Int を使うことが推奨されているので（ UInt は簡単にオーバーフロー→クラッシュしますし）、 let age: Int を選ぶことになりそうです。
そう考えると、多くの Int 型のプロパティは let が求められるように思います。 1guard 分岐が必要だったり，混入を防ぐためにテストケースも結局必要になるかと思います．
その辺はどうお考えですか？
(あるいは実は禁止もしくは自動検知の良い手法が存在したりしますか？) 
let でよくある困りごとは、Bindingしにくいところですね
struct Value {
let constant: Double
var variable: Double
}
struct ValueView: View {
@State private var value: Value = .init(constant: 0.5, variable: 0.5)
var body: some View {
VStack {
Slider(value: $value.constant) //←NG
Slider(value: $value.variable) //←OK
}
}
} guard 分岐が必要だったり，混入を防ぐためにテストケースも結局必要になるかと思います．
その辺はどうお考えですか？
(あるいは実は禁止もしくは自動検知の良い手法が存在したりしますか？) 1 4 1 1 1 1API みたいなprefixをつけてそうだとわかるようにして、UIロジックで取り回すエンティティとは（必要なら）区別してますね。 1
1 1
public struct FullScreenCoverPresentationLink<Label: View>: View {
@State private var isPresented: Bool = false
@State private var path: [Route] = []
@State private var toastHandler: ToastHandler = ToastHandler()
@Environment(\.routingProvider) var routingProvider: RoutingProvider
let route: Route
let label: () -> Label
public init(route: Route, label: @escaping () -> Label) {
self.route = route
self.label = label
}
public var body: some View {
Button {
isPresented = true
} label: {
label()
}
.fullScreenCover(isPresented: $isPresented, content: {
NavigationStack(path: $path) {
routingProvider.makeView(for: route)
.displayToast(on: .bottom, handledBy: toastHandler, toastMaker: ToastView.init(toastHandler:))
.navigationDestination(for: Route.self, destination: {
routingProvider.makeView(for: $0)
})
.toolbar {
ToolbarItem(placement: .topBarTrailing) {
DismissButton()
}
}
}
})
}
} 2#if でしか変更がなかったりで、variable 'XXX' was never mutated を黙らせたいときありませんか？僕はあります（した）。
func newFeature() -> [String] {
var result: [String] = [] // warning: variable 'result' was never mutated; consider changing to 'let' constant
// TODO: implement
return result
}
そんなとき result.append(contentsOf: []) とかいまいち汎用的で無い方法でお茶をにごしていたのですが、より良い方法をみつけました
_ = result = result 1do throws(FooError) { .. } にしたらできますか？ 1
But that's off-topic (on a sidenote, we have it on our to-do list to evaluate mimalloc on Ub... 
2 1
11 4 2
remove(where:) Method for Set and Dictionary
https://forums.swift.org/t/pitch-add-remove-where-method-for-set-and-dictionary/77165
SEドラフト
https://github.com/swiftlang/swift-evolution/pull/2647
実装
https://github.com/swiftlang/swift/pull/78600 1 1
func ~= (_ lhs: (Int) -> Bool, rhs: Int) -> Bool {
lhs(rhs)
}
let v: Int = 2
switch v {
case { $0.isMultiple(of: 2) }: print("Even")
default: print("Odd")
}
1
Regarding the name Vector, the Group broadly agreed with the arguments that the mismatch in meaning of 'vector' between Swift and some other peer languages like C++ and Rust would be unfortunate.
https://forums.swift.org/t/accepted-with-modifications-se-0453-inlinearray-formerly-vector-a-fixed-size-array/77678 .rbを更新しなくても6.0.xリリースを追いかけるとかもできるかも。 1
typealias A = (StringProtocol) & (Sendable)
class C<T: (StringProtocol) & (Sendable)> {
} <stdin>:2:12: error: expected a class type or protocol-constrained type restricting 'T'
1 | typealias A = (StringProtocol) & (Sendable)
2 | class C<T: (StringProtocol) & (Sendable)> {
| `- error: expected a class type or protocol-constrained type restricting 'T'
3 | }
4 | 
ExistentialAny の upcoming feature flag って Swift 6.1 からは当面はフラグを有効にしてても any P を P と書いている箇所ではエラーにならなくなるのですね．エラーにするためには -Werror ExistentialAny オプションを追加しないといけないという．
https://github.com/swiftlang/swift/blob/main/CHANGELOG.md#swift-61 