{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/mini-egison","name":"mini-egison","description":"This package provides the pattern-matching facility that fulfills the following three criteria for practical pattern matching for non-free data types: (i) non-linear pattern matching with backtracking; (ii) extensibility of pattern-matching algorithms; (iii) ad-hoc polymorphism of patterns.\nNon-free data types are data types whose data have no standard forms.\nFor example, multisets are non-free data types because the multiset '[a,b,b]' has two other equivalent but literally different forms '[b,a,b]' and '[b,b,a]'.\n\nThe design of the pattern-matching facility is originally proposed in this paper and implemented in the Egison programming language.","version":"1.0.0","softwareVersion":"1.0.0","license":"https://spdx.org/licenses/MIT","codeRepository":"https://github.com/egison/egison-haskell","issueTracker":"https://github.com/egison/egison-haskell/issues","url":"https://github.com/egison/egison-haskell#readme","keywords":["data","library","mit","pattern","program","Propose Tags"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Haskell"},"maintainer":[{"@type":"Person","name":"SatoshiEgi"},{"@type":"Person","name":"momohatt"}],"author":[{"@type":"Person","name":"SatoshiEgi"},{"@type":"Person","name":"momohatt"}],"copyrightHolder":[{"@type":"Person","name":"SatoshiEgi"},{"@type":"Person","name":"momohatt"}],"dateCreated":"2019-09-26","dateModified":"2020-03-04","datePublished":"2020-03-04","copyrightYear":2019,"downloadUrl":"https://hackage.haskell.org/package/mini-egison-1.0.0/mini-egison-1.0.0.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","developmentStatus":"active","sameAs":["https://hackage.haskell.org/package/mini-egison"],"https://www.w3.org/ns/activitystreams#likes":33,"https://forgefed.org/ns#forks":2}