Popularity
6.7
Declining
Activity
0.0
Stable
14
4
6

Monthly Downloads: 82
Programming language: Haskell
License: MIT License

egison-tutorial alternatives and similar packages

Based on the "egison" category.
Alternatively, view egison-tutorial alternatives based on common mentions on social networks and blogs.

Do you think we are missing an alternative of egison-tutorial or a related project?

Add another 'egison' Package

README

The Egison Tutorial

This is a repository for a tutorial program of Egison. Egison is a pattern-matching-oriented, purely functional programming langauge. Using Egison, we can represent intuitive patterns for non-free data types such as multisets, sets, graphs, and mathematical expressions.

For more information, please visit Egison website.

How to compile and run

% cabal install
% egison-tutorial
Egison Tutorial Version 4.0.0
Welcome to Egison Tutorial!
** Information **
We can use a "Tab" key to complete keywords on the interpreter.
If we type a "Tab" key after a closed parenthesis, the next closed parenthesis will be completed.
*****************
==============================
List of sections in the tutorial.
1: Arithmetic
2: Basics of functional programming
3: Basics of pattern matching
4: Pattern matching for multisets and sets
5: Symbolic computation
6: Differential geometry: tensor analysis
7: Differential geometry: differential forms
==============================
Choose a section to learn.
(1-7): 4
====================
We can describe pattern matching for multisets and sets.
We can change the interpretation of patterns by changing the matcher, the second argument of the matchAll expression).
The meaning of the cons pattern (::) is generalized to divide a collection into "an" element and the rest.

Examples:
  matchAll [1, 2, 3] as list integer with $x :: $xs -> (x, xs)
  matchAll [1, 2, 3] as multiset integer with $x :: $xs -> (x, xs)
  matchAll [1, 2, 3] as set integer with $x :: $xs -> (x, xs)
====================
> matchAll [1, 2, 3] as list integer with $x :: $xs -> (x, xs)
[(1, [2, 3])]