{"id":20123311,"url":"https://github.com/tyfkda/typeinferencer","last_synced_at":"2026-05-12T00:45:50.646Z","repository":{"id":81329516,"uuid":"46268640","full_name":"tyfkda/TypeInferencer","owner":"tyfkda","description":"Type Inference in Haskell","archived":false,"fork":false,"pushed_at":"2022-06-01T01:48:50.000Z","size":12,"stargazers_count":1,"open_issues_count":0,"forks_count":0,"subscribers_count":3,"default_branch":"master","last_synced_at":"2025-01-13T07:40:48.923Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"Haskell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/tyfkda.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"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":"2015-11-16T10:45:47.000Z","updated_at":"2022-06-01T01:48:53.000Z","dependencies_parsed_at":"2023-03-12T13:38:34.113Z","dependency_job_id":null,"html_url":"https://github.com/tyfkda/TypeInferencer","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/tyfkda%2FTypeInferencer","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tyfkda%2FTypeInferencer/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tyfkda%2FTypeInferencer/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tyfkda%2FTypeInferencer/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/tyfkda","download_url":"https://codeload.github.com/tyfkda/TypeInferencer/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":241566404,"owners_count":19983305,"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":[],"created_at":"2024-11-13T19:44:16.232Z","updated_at":"2026-05-12T00:45:50.604Z","avatar_url":"https://github.com/tyfkda.png","language":"Haskell","funding_links":[],"categories":[],"sub_categories":[],"readme":"Type Inference in Haskell\n=========================\n\nSimple parser and type inference in Haskell.\n\n```haskell\n$ stack ghci\nUsing main module: 1. Package `TypeInferencer' component TypeInferencer:exe:infer_type_test with main-is file: ./src/main/Main.hs\nTypeInferencer\u003e configure (lib + exe)\nConfiguring TypeInferencer-0.1.0.0...\nTypeInferencer\u003e initial-build-steps (lib + exe)\nConfiguring GHCi with the following packages: TypeInferencer\nGHCi, version 7.10.3: http://www.haskell.org/ghc/  :? for help\n[1 of 5] Compiling Type             ( ./src/infer/Type.hs, interpreted )\n[2 of 5] Compiling Node             ( ./src/infer/Node.hs, interpreted )\n[3 of 5] Compiling Parser           ( ./src/infer/Parser.hs, interpreted )\n[4 of 5] Compiling TypeInferencer   ( ./src/infer/TypeInferencer.hs, interpreted )\n[5 of 5] Compiling Main             ( ./src/main/Main.hs, interpreted )\nOk, modules loaded: TypeInferencer, Node, Parser, Type, Main.\n*Main Node Parser Type TypeInferencer\u003e parseInfer \"\\\\f -\u003e \\\\g -\u003e \\\\x -\u003e f (g x)\"\nFun \"f\" (Fun \"g\" (Fun \"x\" (App (Var \"f\") (App (Var \"g\") (Var \"x\"))))) :: (t3 -\u003e t4) -\u003e (t2 -\u003e t3) -\u003e t2 -\u003e t4\n```\n\n\n### Documentation (JP)\n\n* [Parsecで構文解析して構文木を作る - Kludge Factory](https://tyfkda.github.io/blog/2015/11/15/parsec-ast.html)\n* [型推論を実装してみる - Kludge Factory](https://tyfkda.github.io/blog/2015/11/15/type-inference.html)\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ftyfkda%2Ftypeinferencer","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Ftyfkda%2Ftypeinferencer","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ftyfkda%2Ftypeinferencer/lists"}