はてなブックマーク

84 What You Needa Know about Yoneda Profunctor Optics and the Yoneda Lemma (Functional Pearl) GUILLAUME BOISSEAU, Department of Computer Science, University of Oxford, UK JEREMY GIBBONS, Department of Computer Science, University of Oxford, UK Profunctor optics are a neat and composable representation of bidirectional data accessors, including lenses, and their dual, prisms. The profunctor represe

Combining languages and SMT solvers an EDSL study Don Stewart | WG 2.8 | March 2011 © 2011 Galois, Inc. All rights reserved. The Productivity Challenge in Software  As John Hughes pointed out yesterday, we must climb a productivity cliff in software construction if we are to build the multi-million line codebases industry demands, when labor is expensive  The “FP” approach: – Automate code gener

Under consideration for publication in J. Functional Programming 1 The Essence of the Iterator Pattern Jeremy Gibbons and Bruno C. d. S. Oliveira Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD, UK http://www.comlab.ox.ac.uk/jeremy.gibbons/ http://www.comlab.ox.ac.uk/bruno.oliveira/ Abstract The ITERATOR pattern gives a clean interface for element-by-element acc

Lectures 4 & 5: Regularizers, basis functions and cross-validation slides.pdf Video 1 Video 2

Edited by Jeremy Gibbons and Oege de Moor in honour of Richard Bird's 60th birthday. A symposium was held to mark the occasion. Information about the book and ordering details can be found here. Some of the code and software from the book is available from the links below. Please note that the software versions will be those from around the time of publication of the book and are provided here for