{"id":13838018,"url":"https://github.com/tominated/system_f_omega","last_synced_at":"2026-01-24T06:56:17.927Z","repository":{"id":147144907,"uuid":"291784419","full_name":"tominated/system_f_omega","owner":"tominated","description":"My Attempt at System Fω with Row-Polymorphism","archived":false,"fork":false,"pushed_at":"2021-07-04T18:59:57.000Z","size":28,"stargazers_count":30,"open_issues_count":0,"forks_count":0,"subscribers_count":3,"default_branch":"master","last_synced_at":"2024-08-05T15:06:43.169Z","etag":null,"topics":["functional-programming","lambda-calculus","ocaml","row-polymorphism","system-f","system-f-omega"],"latest_commit_sha":null,"homepage":"","language":"OCaml","has_issues":false,"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/tominated.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}},"created_at":"2020-08-31T17:46:07.000Z","updated_at":"2023-10-21T04:14:42.000Z","dependencies_parsed_at":"2024-01-13T17:12:14.136Z","dependency_job_id":null,"html_url":"https://github.com/tominated/system_f_omega","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/tominated%2Fsystem_f_omega","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tominated%2Fsystem_f_omega/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tominated%2Fsystem_f_omega/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tominated%2Fsystem_f_omega/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/tominated","download_url":"https://codeload.github.com/tominated/system_f_omega/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":225653891,"owners_count":17502939,"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":["functional-programming","lambda-calculus","ocaml","row-polymorphism","system-f","system-f-omega"],"created_at":"2024-08-04T15:01:33.714Z","updated_at":"2026-01-24T06:56:17.883Z","avatar_url":"https://github.com/tominated.png","language":"OCaml","readme":"# My Attempt at System Fω with Row-Polymorphism\n\nAs I worked on trying to build my own functional programming language, I ended\nup going really deep down the research rabbit hole and decided I want to focus\non trying to understand how System-Fω works and how it can compile to machine\ncode.\n\nThis project is my attempt at implementing some form of it based on my patched\ntogether understanding from various papers and books I've found during my\nresearch. It's not going to be complete, and it will very likely be full of\nbugs, but I'm hoping I can eventually implement some kind of abstract machine\nwith call-by-value semantics.\n\nI'll be attempting to add row-polymorphism as described by the\n[Extensible records with scoped labels](https://www.microsoft.com/en-us/research/publication/extensible-records-with-scoped-labels/)\npaper by Daan Leijen. I hope to eventually be able to implement some kind of\nmodule system on top of it, and maybe even some kind of 'modular implicits' akin\nto the [infamous OCaml proposal](https://arxiv.org/abs/1512.01895).\n\nOnce I have some real machine code being generated, I'll likely focus on\nbuilding an inferred language on top of it, but that's a while to go…\n","funding_links":[],"categories":["OCaml"],"sub_categories":[],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ftominated%2Fsystem_f_omega","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Ftominated%2Fsystem_f_omega","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ftominated%2Fsystem_f_omega/lists"}