{"id":64703,"library":"chewxy-hm","title":"HM Type System","description":"An implementation of Hindley-Milner type inference for a Lisp-like AST in Go.","status":"active","version":"1.0.0","language":"go","source_language":null,"source_url":"https://github.com/chewxy/hm","tags":["type-inference","hindley-milner","lisp","ast"],"install":[{"cmd":"go get github.com/chewxy/hm","lang":"bash","label":"Install github.com/chewxy/hm"}],"dependencies":[],"imports":[{"symbol":"hm","correct":"github.com/chewxy/hm"}],"quickstart":{"code":"package main\n\nimport (\n\t\"fmt\"\n\t\"github.com/chewxy/hm\"\n)\n\nfunc main() {\n\tfmt.Println(hm.NewTypeVar(\"a\"))\n}","lang":"go","description":"Create a type variable in the HM system"},"warnings":[],"env_vars":null,"search_vec":"'ast':17,27 'go':19 'hindley':8,24 'hindley-miln':7,23 'hm':1 'implement':5 'infer':11,22 'like':16 'lisp':15,26 'lisp-lik':14 'milner':9,25 'system':3 'type':2,10,21 'type-infer':20","created_at":"2026-06-17T16:59:10.402111+00:00","updated_at":"2026-06-17T16:59:10.402111+00:00","problems":[],"ecosystem":"go","meta_description":null,"install_score":null,"quickstart_score":null,"quickstart_tag":null,"pypi_latest":null,"cli_name":null,"cli_version":null,"type":"library","homepage":"https://github.com/chewxy/hm","github":"https://github.com/chewxy/hm","docs":"https://pkg.go.dev/github.com/chewxy/hm#section-documentation","changelog":null,"pypi":null,"npm":null,"openapi_spec":null,"status_page":null,"smithery":null,"categories":["other"],"base_url":null,"auth_type":null,"provenance":{"verified_status":null,"verified_at":null,"last_verified":"2026-06-17","next_check":"2026-12-14","install_tag":null}}