Eff Programming Language
Time 2022-09-14 12:30:35Web Name: Eff Programming Language
WebSite: http://www.eff-lang.org
ID:314708
Keywords:
Eff,Programming,LanguageDescription:
Eff is a functional programming language based on algebraic effect handlers. This means that Eff provides handlers of not only exceptions, but of any computational effect, allowing you to redirect output, wrap state modifications in transactions, schedule asynchronous threads, and much much more…
Try it out in your browser!
or install it on your computer
Algebraic effects, on which Eff is built, give rise to a uniform representation of all computational effects. Effects are thus first-class citizens of Eff and can be seamlessly combined. There is no need for the do notation, no need for monad transformers, and no need to reshuffle your whole program just to read a global flag.
Just like exceptions are a particular instance of an effect, exception handlers are a particular instance of effect handlers. In Eff, you can silence standard output, redirect it to a different channel, or even rearrange it. Similarly, state modifications can be prevented or grouped in transactions.
As handlers completely override the behaviour of effects, there is no need for a default behaviour to start with. Eff allows you to define your own effects. Just declare a choice operation and start writing your nondetermnistic programs. Later, you can write a handler that computes a single possible result, an optimal result, or a list of all results.
The purpose of Eff is to test new concepts in programming languages, in particular ones regarding computational effects. We discourage the use of Eff in production, as it has no library support, little documentation and is prone to change.
TAGS:Eff Programming Language
<<< Thank you for your visit >>>
Websites to related : Jazztreff Schaffhausen
| Das Theater in Effretikon und
Das Theater in Effretikon und UmgebungMenuSkip to contentStartseiteAufführungenAktuellSpieldatenTicketsMitwirkendeFotosPresseLageplanChronik201520142
Musikschule Alato - Deine MusikToggle navigation NewsIm FOKUSInst
Meff.nl - Mijn Eigen Favorietenmijn eigen favorietenmaak je eigen startpaginaVoorbeeldenDankzij deze bookmark manager: Nooit meer een favoriete link kwijt omdat die toevallig op die
Privat sextreff | Geil Private SSuchenRegistrieren Sextreffen mit frauen Du bist ein(e)? Mann Frau Was suchst Du hier?
Jeffrey Rowe: Cairowest 3D Scann719.221.1867MenuMain menuSkip to primary contentSkip to secondary contentHomePublicationsSourceBookArticlesChannelsSCANews: 3D Scanning NewsEventsNews
Photos Editing, Photo Effects - HOME BEFORE & AFTER MAKE A GIFT ABOUT PROJECT FAQ
This is not a commercial website. All rights are reserved by
Effective Institutions Project
Vet Effects WHERE SPECIAL EFFECT
WHERE SPECIAL EFFECTS MEETS VETERINARY SCIENCE
Providing a safe and humane alternative
Hot Websites