{"id":16337161,"url":"https://github.com/gvolpe/types-matter","last_synced_at":"2025-07-21T03:31:54.031Z","repository":{"id":147505713,"uuid":"206687265","full_name":"gvolpe/types-matter","owner":"gvolpe","description":"Examples shown in my talk \"Why types matter\". See also https://github.com/gvolpe/par-dual","archived":false,"fork":false,"pushed_at":"2020-05-16T09:29:26.000Z","size":35,"stargazers_count":10,"open_issues_count":0,"forks_count":0,"subscribers_count":5,"default_branch":"master","last_synced_at":"2025-07-14T03:34:24.379Z","etag":null,"topics":["haskell","newtypes","refined","refinement-types","types"],"latest_commit_sha":null,"homepage":"","language":"Haskell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"apache-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/gvolpe.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,"zenodo":null}},"created_at":"2019-09-06T01:24:21.000Z","updated_at":"2020-07-19T21:50:02.000Z","dependencies_parsed_at":"2023-05-03T13:04:30.435Z","dependency_job_id":null,"html_url":"https://github.com/gvolpe/types-matter","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/gvolpe/types-matter","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/gvolpe%2Ftypes-matter","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/gvolpe%2Ftypes-matter/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/gvolpe%2Ftypes-matter/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/gvolpe%2Ftypes-matter/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/gvolpe","download_url":"https://codeload.github.com/gvolpe/types-matter/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/gvolpe%2Ftypes-matter/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":266235365,"owners_count":23897176,"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":["haskell","newtypes","refined","refinement-types","types"],"created_at":"2024-10-10T23:46:04.719Z","updated_at":"2025-07-21T03:31:54.026Z","avatar_url":"https://github.com/gvolpe.png","language":"Haskell","funding_links":[],"categories":[],"sub_categories":[],"readme":"types-matter\n============\n\nExamples shown on my talk [Why types matter](https://slides.com/volpegabriel/why-types-matter) originally given at [Stack Builders](https://www.stackbuilders.com/) on September 2019 in Quito, Ecuador.\n\nAn [updated talk](https://slides.com/volpegabriel/types-matter-ft) has been given at the [Functional Tricity Meetup](https://www.meetup.com/FunctionalTricity/events/269763842/) on April 2020, remotely.\n\n### Build\n\n```\nnix-shell --run 'cabal new-build'\n```\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fgvolpe%2Ftypes-matter","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fgvolpe%2Ftypes-matter","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fgvolpe%2Ftypes-matter/lists"}