{"id":15362297,"url":"https://github.com/gyson/ex_type","last_synced_at":"2025-04-14T03:34:01.416Z","repository":{"id":34854242,"uuid":"172355998","full_name":"gyson/ex_type","owner":"gyson","description":"A type checker for Elixir","archived":false,"fork":false,"pushed_at":"2023-03-24T12:53:16.000Z","size":151,"stargazers_count":33,"open_issues_count":32,"forks_count":1,"subscribers_count":1,"default_branch":"master","last_synced_at":"2024-03-14T23:48:03.787Z","etag":null,"topics":["checker","elixir","gradual-typing","type"],"latest_commit_sha":null,"homepage":"","language":"Elixir","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/gyson.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2019-02-24T15:41:41.000Z","updated_at":"2024-03-14T23:48:03.788Z","dependencies_parsed_at":"2024-10-01T13:00:01.500Z","dependency_job_id":"2d025c35-c7fc-4d53-8432-c24902c13521","html_url":"https://github.com/gyson/ex_type","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/gyson%2Fex_type","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/gyson%2Fex_type/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/gyson%2Fex_type/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/gyson%2Fex_type/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/gyson","download_url":"https://codeload.github.com/gyson/ex_type/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":248815632,"owners_count":21165957,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["checker","elixir","gradual-typing","type"],"created_at":"2024-10-01T12:59:59.831Z","updated_at":"2025-04-14T03:34:01.391Z","avatar_url":"https://github.com/gyson.png","language":"Elixir","readme":"# ExType\n\nA type checker for Elixir.\n\n## Feature\n\n- gradual typing\n- type check for protocols and generic protocols\n- type check with intersection and union types\n- type guards\n- type assertion\n- type inspection\n\n## Installation\n\nThe package can be installed by adding `ex_type` to your list of dependencies in `mix.exs`:\n\n```elixir\ndef deps do\n  [\n    # Required developement dependency\n    {:ex_type, \"~\u003e 0.5.0\", only: :dev, runtime: false},\n\n    # Optional runtime dependency\n    {:ex_type_runtime, \"~\u003e 0.2.0\"}\n  ]\nend\n```\n\n## Rules\n\nTo help ExType infer types, following rules are required:\n\n1. All public functions require explicit typespecs.\n\n2. All recursive functions require explicit typespecs.\n\nBasically, you do not need to add a typespec for non-recursive private functions.\n\n## Usage\n\n```sh\n# type check for all code\n$ mix type\n\n# type check for specified module\n$ mix type ExType.Example.Foo\n\n# type check for specified named function\n$ mix type ExType.Example.Foo.hello\n\n# type check for named function with specified arity\n$ mix type ExType.Example.Foo.hello/0\n```\n\n## Example\n\nThere are some examples in `lib/ex_type/example/` directory.\n\n## Status\n\nThis project is still in a very early stage with active development. You are likely to hit\nuncovered cases when playing more complex code beyond the examples. Be free to submit [a github\nissue](https://github.com/gyson/ex_type/issues/new) for a bug report or any feedback.\n\n## Roadmap\n\nPlan to apply ExType to following small-sized libraries first:\n\n- [x] [Ane](https://github.com/gyson/ane) ([done](https://github.com/gyson/ane/pull/1))\n- [x] [Sortable](https://github.com/gyson/sortable) ([done](https://github.com/gyson/sortable/pull/1))\n- [x] [Blex](https://github.com/gyson/blex) ([done](https://github.com/gyson/blex/pull/2))\n- [ ] [HLL](https://github.com/gyson/hll)\n- [ ] [ExType](https://github.com/gyson/ex_type) (probably most challenge one)\n\n## Development Note\n\n- Use `MIX_ENV=test iex -S mix` to access test context.\n\n- It uses serveral Elixir private APIs. It should be ok for now because `ex_type` is\n  a development dependency, not a runtime dependency. Would like to reduce private API\n  usage at later time when the project is more mature.\n\n## License\n\nMIT\n","funding_links":[],"categories":[],"sub_categories":[],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fgyson%2Fex_type","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fgyson%2Fex_type","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fgyson%2Fex_type/lists"}