Mostrar el registro sencillo del ítem

dc.contributor.author
Jaskelioff, Mauro Javier  
dc.contributor.author
Rivas Gadda, Exequiel Matías  
dc.date.available
2018-07-24T20:20:47Z  
dc.date.issued
2015-08  
dc.identifier.citation
Jaskelioff, Mauro Javier; Rivas Gadda, Exequiel Matías; Functional pearl: A smart view on datatypes; Association for Computing Machinery; Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP; 2015-August; 8-2015; 355-361  
dc.identifier.issn
0362-1340  
dc.identifier.uri
http://hdl.handle.net/11336/53021  
dc.description.abstract
Left-nested list concatenations, left-nested binds on the free monad, and left-nested choices in many non-determinism monads have an algorithmically bad performance. Can we solve this problem without losing the ability to pattern-match on the computation? Surprisingly, there is a deceptively simple solution: use a smart view to pattern-match on the datatype. We introduce the notion of smart view and show how it solves the problem of slow leftnested operations. In particular, we use the technique to obtain fast and simple implementations of lists, of free monads, and of two non-determinism monads.  
dc.format
application/pdf  
dc.language.iso
eng  
dc.publisher
Association for Computing Machinery  
dc.rights
info:eu-repo/semantics/openAccess  
dc.rights.uri
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/  
dc.subject
Data Structure  
dc.subject
List  
dc.subject
Monad  
dc.subject
Monadplus  
dc.subject.classification
Ciencias de la Computación  
dc.subject.classification
Ciencias de la Computación e Información  
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS  
dc.title
Functional pearl: A smart view on datatypes  
dc.type
info:eu-repo/semantics/article  
dc.type
info:ar-repo/semantics/artículo  
dc.type
info:eu-repo/semantics/publishedVersion  
dc.date.updated
2018-07-17T13:57:48Z  
dc.journal.volume
2015-August  
dc.journal.pagination
355-361  
dc.journal.pais
Estados Unidos  
dc.journal.ciudad
Nueva York  
dc.description.fil
Fil: Jaskelioff, Mauro Javier. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Rosario. Centro Internacional Franco Argentino de Ciencias de la Información y de Sistemas. Universidad Nacional de Rosario. Centro Internacional Franco Argentino de Ciencias de la Información y de Sistemas; Argentina  
dc.description.fil
Fil: Rivas Gadda, Exequiel Matías. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Rosario. Centro Internacional Franco Argentino de Ciencias de la Información y de Sistemas. Universidad Nacional de Rosario. Centro Internacional Franco Argentino de Ciencias de la Información y de Sistemas; Argentina  
dc.journal.title
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/https://dx.doi.org/10.1145/2784731.2784743  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/https://dl.acm.org/citation.cfm?doid=2784731.2784743