This is the Linux app named Fantasy Land Specification whose latest release can be downloaded as Version5.0.1.zip. It can be run online in the free hosting provider OnWorks for workstations.
Download and run online this app named Fantasy Land Specification with OnWorks for free.
Follow these instructions in order to run this app:
- 1. Downloaded this application in your PC.
- 2. Enter in our file manager https://www.onworks.net/myfiles.php?username=XXXXX with the username that you want.
- 3. Upload this application in such filemanager.
- 4. Start the OnWorks Linux online or Windows online emulator or MACOS online emulator from this website.
- 5. From the OnWorks Linux OS you have just started, goto our file manager https://www.onworks.net/myfiles.php?username=XXXXX with the username that you want.
- 6. Download the application, install it and run it.
SCREENSHOTS
Ad
Fantasy Land Specification
DESCRIPTION
This project specifies interoperability of common algebraic structures like Setoid, Ord, Semigroupoid, Category, Semigroup, Monoid, Group, Filterable, Functor, Contravariant, Apply, Applicative, etc. An algebra is a set of values, a set of operators that it is closed under and some laws it must obey. Each Fantasy Land algebra is a separate specification. An algebra may have dependencies on other algebras which must be implemented. "Value" is any JavaScript value, including any which have the structures defined below. "Equivalent" is an appropriate definition of equivalence for the given value. The definition should ensure that the two values can be safely swapped out in a program that respects abstractions. For example, two lists are equivalent if they are equivalent at all indices, two plain old JavaScript objects, interpreted as dictionaries, are equivalent when they are equivalent for all keys, two promises are equivalent when they yield equivalent values, etc.
Features
- Each Fantasy Land algebra is a separate specification
- Certain behaviours are defined from the perspective of a member of a type
- Other behaviours do not require a member
- Certain algebras require a type to provide a value-level representative
- If a data type provides a method which could be derived, its behaviour must be equivalent to that of the derivation
- It is recommended to throw an exception on unspecified behaviour
Programming Language
JavaScript
Categories
This is an application that can also be fetched from https://sourceforge.net/projects/fantasy-land-spec.mirror/. It has been hosted in OnWorks in order to be run online in an easiest way from one of our free Operative Systems.
