{"id":16733198,"url":"https://github.com/msakai/cpl","last_synced_at":"2025-04-07T15:10:44.757Z","repository":{"id":1243421,"uuid":"1181779","full_name":"msakai/cpl","owner":"msakai","description":"An interpreter of Hagino's Categorical Programming Language (CPL).","archived":false,"fork":false,"pushed_at":"2024-05-23T03:51:59.000Z","size":74,"stargazers_count":115,"open_issues_count":1,"forks_count":7,"subscribers_count":13,"default_branch":"master","last_synced_at":"2024-10-13T23:49:01.621Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"http://hackage.haskell.org/package/CPL","language":"Haskell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/msakai.png","metadata":{"files":{"readme":"README.markdown","changelog":"CHANGELOG.markdown","contributing":null,"funding":null,"license":"COPYING","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":"2010-12-19T13:51:25.000Z","updated_at":"2024-10-01T10:57:04.000Z","dependencies_parsed_at":"2024-10-25T18:35:15.734Z","dependency_job_id":"5097fc34-694d-4273-972e-3f966540b238","html_url":"https://github.com/msakai/cpl","commit_stats":{"total_commits":68,"total_committers":1,"mean_commits":68.0,"dds":0.0,"last_synced_commit":"a83ad4479cb95f98010b4f63a06b1e0b2bfd5736"},"previous_names":[],"tags_count":4,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Fcpl","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Fcpl/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Fcpl/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/msakai%2Fcpl/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/msakai","download_url":"https://codeload.github.com/msakai/cpl/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":247675607,"owners_count":20977378,"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-10-12T23:48:59.900Z","updated_at":"2025-04-07T15:10:44.729Z","avatar_url":"https://github.com/msakai.png","language":"Haskell","readme":"An implementation of \"A Categorical Programing Language\"\n========================================================\n\n[![Build Status](https://secure.travis-ci.org/msakai/cpl.svg?branch=master)](http://travis-ci.org/msakai/cpl)\n[![Build status](https://ci.appveyor.com/api/projects/status/dl935ws9jouy06br/branch/master?svg=true)](https://ci.appveyor.com/project/msakai/cpl/branch/master)\n[![Hackage](https://img.shields.io/hackage/v/CPL.svg)](https://hackage.haskell.org/package/CPL)\n[![Hackage Deps](https://img.shields.io/hackage-deps/v/CPL.svg)](https://packdeps.haskellers.com/feed?needle=CPL)\n[![License](https://img.shields.io/badge/License-BSD%203--Clause-blue.svg)](https://opensource.org/licenses/BSD-3-Clause)\n\nThis package is an implementation of \"A Categorical Programing Language\"\n(CPL for short)[1][2] written in Haskell.\n\nCPL is a functional programming language based on category\ntheory. Data types are declared in a categorical manner by\nadjunctions. Data types that can be handled include the terminal\nobject, the initial object, the binary product functor, the binary\ncoproduct functor, the exponential functor, the natural number object,\nthe functor for finite lists, and the functor for infinite lists.\nEach data type is declared with its basic operations or\nmorphisms. Programs consist of these morphisms, and execution of\nprograms is the reduction of elements (i.e. special morphisms) to\ntheir canonical form.\n\nInstall\n-------\n\nDe-Compress archive and enter its top directory.\nThen type:\n\n    $ cabal configure\n    $ cabal build\n    $ cabal install\n\nIf you want to compile with readline or haskeline, add -fReadline or\n-fHaskeline respectively to configure command.\n\nUsage\n-----\n\nSee chapter 5 of [1]\n\nLicense\n-------\n\nThis program is licenced under the BSD-style license.\n(See the file 'COPYING'.)\n\nCopyright (C) 2004-2014 Masahiro Sakai \u003cmasahiro.sakai@gmail.com\u003e\n\nAuthor\n------\n\nMasahiro Sakai \u003cmasahiro.sakai@gmail.com\u003e\n\nBibliography\n------------\n\n1. Tatsuya Hagino, “A Categorical Programming Languge”.\n    Ph.D. Thesis, University of Edinburgh, 1987.\n    available at \u003chttp://web.sfc.keio.ac.jp/~hagino/index.html.en\u003e\n\n2. Tatsuya Hagino, “Categorical Functional Programming Language”.\n    Computer Software, Vol 7, No.1.\n    Advances in Software Science and Technology 4, 1992.\n    ISBN 0-12-037104-9.\n","funding_links":[],"categories":[],"sub_categories":[],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fmsakai%2Fcpl","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fmsakai%2Fcpl","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fmsakai%2Fcpl/lists"}