github.com/MaxDesiatov/typology (swiftpm): Swift type checking and semantic analysis for developer tools
Keywords: developer-tools|hindley-milner|semantic-analysis|semantic-analyzer|swift|type-checker|type-checking|type-inference|type-system