Dit is de Linux-app genaamd Fantasy Land Specification waarvan de nieuwste release kan worden gedownload als versie 5.0.1.zip. Het kan online worden uitgevoerd in de gratis hostingprovider OnWorks voor werkstations.
Download en voer deze app genaamd Fantasy Land Specification gratis online uit met OnWorks.
Volg deze instructies om deze app uit te voeren:
- 1. Download deze applicatie op uw pc.
- 2. Voer in onze bestandsbeheerder https://www.onworks.net/myfiles.php?username=XXXXX in met de gebruikersnaam die u wilt.
- 3. Upload deze applicatie in zo'n bestandsbeheerder.
- 4. Start de OnWorks Linux online of Windows online emulator of MACOS online emulator vanaf deze website.
- 5. Ga vanuit het OnWorks Linux-besturingssysteem dat u zojuist hebt gestart naar onze bestandsbeheerder https://www.onworks.net/myfiles.php?username=XXXXX met de gewenste gebruikersnaam.
- 6. Download de applicatie, installeer hem en voer hem uit.
SCREENSHOTS
Ad
Fantasy Land-specificatie
PRODUCTBESCHRIJVING
Dit project specificeert de interoperabiliteit van gemeenschappelijke algebraïsche structuren zoals Setoid, Ord, Semigroupoid, Category, Semigroup, Monoid, Group, Filterable, Functor, Contravariant, Apply, Applicative, etc. Een algebra is een reeks waarden, een reeks operatoren die het is gesloten onder en enkele wetten waaraan het moet gehoorzamen. Elke Fantasy Land-algebra is een afzonderlijke specificatie. Een algebra kan afhankelijk zijn van andere algebra's die moeten worden geïmplementeerd. "Waarde" is elke JavaScript-waarde, inclusief elke waarde met de hieronder gedefinieerde structuren. "Equivalent" is een passende definitie van gelijkwaardigheid voor de gegeven waarde. De definitie moet ervoor zorgen dat de twee waarden veilig kunnen worden uitgewisseld in een programma dat abstracties respecteert. Twee lijsten zijn bijvoorbeeld gelijkwaardig als ze bij alle indices gelijkwaardig zijn, twee gewone oude JavaScript-objecten, geïnterpreteerd als woordenboeken, zijn gelijkwaardig als ze gelijkwaardig zijn voor alle sleutels, twee beloften zijn gelijkwaardig als ze gelijkwaardige waarden opleveren, enz.
Voordelen
- Elke Fantasy Land-algebra is een afzonderlijke specificatie
- Bepaalde gedragingen worden gedefinieerd vanuit het perspectief van een lid van een type
- Voor ander gedrag is geen lid vereist
- Bepaalde algebra's vereisen een type dat een vertegenwoordiger op waardeniveau oplevert
- Als een gegevenstype een methode biedt die kan worden afgeleid, moet het gedrag ervan gelijkwaardig zijn aan dat van de afleiding
- Het wordt aanbevolen om een uitzondering te genereren voor niet-gespecificeerd gedrag
Programmeertaal
JavaScript
Categorieën
Dit is een applicatie die ook kan worden opgehaald van https://sourceforge.net/projects/fantasy-land-spec.mirror/. Het is gehost in OnWorks zodat het op de eenvoudigste manier online kan worden uitgevoerd vanaf een van onze gratis besturingssystemen.
