agingnerd.blogspot.com
Aging Nerd Notes: 07/20/2014 - 07/27/2014
http://agingnerd.blogspot.com/2014_07_20_archive.html
Random notes and thoughts, mostly about Haskell these days, of a middle-aged programmer. Sunday, July 20, 2014. Flashback, Part Two. Last time we found that our program to count ways to make change, while much better than the engineering class's brute force nested DO loops, isn't up to snuff. There is a better way, it turns out. If you look at the Rosetta Code entry for this problem, which they call "Count the Coins". The other Haskell program takes a different approach:. Where addCoin c oldlist = newlist.
relopezbriega.github.io
Programación Funcional con Python
http://relopezbriega.github.io/blog/2015/02/01/programacion-funcional-con-python
Raul E. Lopez Briega. Matemáticas, análisis de datos y python. Programación Funcional con Python. Sun 01 February 2015. Introducción ¶. Es bien sabido que existen muchas formas de resolver un mismo problema, esto, llevado al mundo de la programación, a generado que existan o co-existan diferentes. En los que podemos programar, los cuales son llamados generalmente. Así, podemos encontrar basicamente 4. Este suele ser el primer. Del programa y especifican claramente. Esta representado por el lenguaje C.
lambda.jstolarek.com
Yet Another Lambda Blog » Moving to University of Edinburgh
http://lambda.jstolarek.com/2016/09/moving-to-university-of-edinburgh
Middot; Comments RSS. Yet Another Lambda Blog. A language that doesn't affect the way you think about programming, is not worth knowing. Moving to University of Edinburgh. Project under supervision of James Cheney. This means that from now on I will mostly focus on developing the Links programming language. Mail (will not be published) (required). Learn You A Haskell. Yet Another Lambda Blog Jan Stolarek 2012-2014. Powered by Wordpress. Staypressed theme by Themocracy.
lambda.jstolarek.com
Yet Another Lambda Blog » books
http://lambda.jstolarek.com/category/resources/books
Middot; Comments RSS. Yet Another Lambda Blog. A language that doesn't affect the way you think about programming, is not worth knowing. First impression of “Real World OCaml”. Tomorrow I will be flying to Cambridge to attend International Summer School on Metaprogramming. RWO was written by Yaron Minsky, Anil Madhavapeddy. And Jason Hickey. It is one of a handful of books on OCaml. Other titles out there are “OCaml from the Very Beginning”. And “More OCaml: Algorithms, Methods and Diversions”. I have be...
lambda.jstolarek.com
Yet Another Lambda Blog » OCaml
http://lambda.jstolarek.com/tag/ocaml
Middot; Comments RSS. Yet Another Lambda Blog. A language that doesn't affect the way you think about programming, is not worth knowing. First impression of “Real World OCaml”. Tomorrow I will be flying to Cambridge to attend International Summer School on Metaprogramming. RWO was written by Yaron Minsky, Anil Madhavapeddy. And Jason Hickey. It is one of a handful of books on OCaml. Other titles out there are “OCaml from the Very Beginning”. And “More OCaml: Algorithms, Methods and Diversions”. The insta...
lambda.jstolarek.com
Yet Another Lambda Blog » OCaml
http://lambda.jstolarek.com/category/programming/ocaml
Middot; Comments RSS. Yet Another Lambda Blog. A language that doesn't affect the way you think about programming, is not worth knowing. First impression of “Real World OCaml”. Tomorrow I will be flying to Cambridge to attend International Summer School on Metaprogramming. RWO was written by Yaron Minsky, Anil Madhavapeddy. And Jason Hickey. It is one of a handful of books on OCaml. Other titles out there are “OCaml from the Very Beginning”. And “More OCaml: Algorithms, Methods and Diversions”. The insta...
lambda.jstolarek.com
Yet Another Lambda Blog » coq
http://lambda.jstolarek.com/tag/coq
Middot; Comments RSS. Yet Another Lambda Blog. A language that doesn't affect the way you think about programming, is not worth knowing. Coq’Art, CPDT and SF: a review of books on Coq proof assistant. I have been pretty quiet on the blog in the past couple of months. One of the reasons for this is that I have spent most of my time learning Coq. I had my first contact with Coq well over a year ago when I started reading CPDT. 8220;Certified Programming with Dependent Types”. CPDT) by Adam Chlipala and.
lambda.jstolarek.com
Yet Another Lambda Blog » 2015
http://lambda.jstolarek.com/2015
Middot; Comments RSS. Yet Another Lambda Blog. A language that doesn't affect the way you think about programming, is not worth knowing. Typed holes support in Template Haskell. My patch allows you to do several interesting things. Firstly, it allows to quote typed holes, ie. expressions with name starting with an underscore:. This declaration quote will represent. Constructor. Secondly, you can now splice unbound variables:. Notice that in a splice you can use either. The combination of the above means ...
lambda.jstolarek.com
Yet Another Lambda Blog
http://lambda.jstolarek.com/page/2
Middot; Comments RSS. Yet Another Lambda Blog. A language that doesn't affect the way you think about programming, is not worth knowing. Installing OCaml under openSUSE 11.4, or: “the compilation of conf-ncurses failed”. The installation process went very smooth on my Debian machine, but on openSUSE I have run into problems. After getting the latest compiler I wanted to install. A tool required by a project I wanted to play with. To my disappointment installation ended with an error:. Library can be conf...
agingnerd.blogspot.com
Aging Nerd Notes: 07/13/2014 - 07/20/2014
http://agingnerd.blogspot.com/2014_07_13_archive.html
Random notes and thoughts, mostly about Haskell these days, of a middle-aged programmer. Saturday, July 19, 2014. A Celeron 300 can emulate. A 370 at speeds greater than a 3033, which was at least twice as fast as what OU had at the time.). The University of Waterloo FORTRAN compiler designed to give good error messages rather than worrying about optimization. DO 100 ICENTS = 0,100. DO 200 INICKELS = 0,20. DO 300 IDIMES = 0,10. DO 400 IQUARTERS = 0,4. DO 500 IHALFS = 0,2. 600 FORMAT(I8,' WAYS'). With jus...
SOCIAL ENGAGEMENT