{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/egison","name":"egison","description":"An interpreter for Egison, a **pattern-matching-oriented**, purely functional programming language\nwith a static type system.\nWe can directly represent pattern-matching against lists, multisets, sets, trees, graphs and any kind of data types.\n\nEgison 5 introduces a static type system with type classes, inductive data types,\ntype inference, and type annotations, while preserving the expressive pattern-matching of Egison 4.\n\nWe can find Egison programs in lib and sample directories.\nThis package also include Emacs Lisp file emacs/egison-mode.el.\n\nWe can do non-linear pattern-matching against non-free data types in Egison.\nAn non-free data type is a data type whose data have no canonical form, a standard way to represent that object.\nIt enables us to write elegant programs.\n\nPlease enjoy Egison!","version":"5.1.0","softwareVersion":"5.1.0","license":"https://spdx.org/licenses/MIT","url":"http://www.egison.org","keywords":["compilers-interpreters","library","mit","program","Propose Tags"],"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":"2011-05-23","dateModified":"2026-07-20","datePublished":"2026-07-20","copyrightYear":2011,"downloadUrl":"https://hackage.haskell.org/package/egison-5.1.0/egison-5.1.0.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","sameAs":["https://hackage.haskell.org/package/egison"]}