gaiustech.wordpress.com
Real World OCaml | So I decided to take my work back underground
https://gaiustech.wordpress.com/2013/08/30/real-world-ocaml
So I decided to take my work back underground. To stop it falling into the wrong hands. August 30, 2013. In the course of my work with OCaml I have traditionally resisted using anything other than “pure” OCaml, and the facilities of the underlying OS. So rather than OMake. I just used plain, old-fashioned Makefiles. For package management, I relied on APT. On Debian and MacPorts. On OSX. And I avoided both Batteries. But now Real World OCaml. Which I have on pre-order. That’s on top of playing with...
procrastiblog.blogspot.com
ProcrastiBlog: July 2007
http://procrastiblog.blogspot.com/2007_07_01_archive.html
This blog has moved to procrastiblog.com. All archived posts are available there. Please update your bookmarks. If you have followed a broken link to a post on this site, please be so kind as to inform the management. Tuesday, July 24, 2007. The last few posts have been delayed because Blogger thinks I may not be a real human being, but rather a sophisticated spambot sent back from the future to corrupt everybody's. Hill Country, NYC. The New York Times review. That's just dumb. (Of course you can al...
oasis.forge.ocamlcore.org
OASIS User Manual
http://oasis.forge.ocamlcore.org/MANUAL.html
Architecture for building OCaml libraries and applications. Author Sylvain Le Gall and others. Customization of generated files. Customization of setup.ml. Using OASIS during software development. Plugin Custom (build, doc, conf, install, test). Plugin OMake (build, install, doc). Plugin None (build, doc, test, install, conf). Plugin OCamlbuild (doc, build). Plugin Internal (conf, install). Ocaml setup.ml -configure. Ocaml setup.ml -build. Ocaml setup.ml -test. Ocaml setup.ml -doc. Ocaml setup.ml -all.
bentnib.org
Propositions as Filenames, Builds as Proofs: The Essence of Make
http://bentnib.org/posts/2015-04-17-propositions-as-filenames-essence-of-make.html
Propositions as Filenames, Builds as Proofs: The Essence of Make. Program is a widely used tool for building files from existing files, according to a set of build rules specified by the user. It is usually used to compile executable programs from source code, but can also be used for many other jobs where a bunch of things are generated from other things, like this website, for example. Have been proposed. Motivations for replacing. Range from a desire to replace. Nevertheless, I think that. Static patt...
l-lang.blogspot.com
Programming languages findings and other thoughts: August 2012
http://l-lang.blogspot.com/2012_08_01_archive.html
Programming languages findings and other thoughts. Progress in the making of the compiler of the L programming language, a functional system programming language inspired by Ocaml, C, Ruby and Lisp. CPS to LLVM SSA conversion in literate programming. My L compiler's toolchain is now complete, in that every necessary transformation pass is here. The various passes are parsing, macro-expansion, type checking and inference, CPS transformation, closure conversion, and compilation to LLVM instructions. This f...
gaiustech.wordpress.com
So I decided to take my work back underground | To stop it falling into the wrong hands | Page 2
https://gaiustech.wordpress.com/page/2
So I decided to take my work back underground. To stop it falling into the wrong hands. Newer posts →. December 31, 2013. It is a bit strange; for the last 15-odd years Oracle has been my bread-and-butter, from versions 7 → 11g in Prod and 12c in Dev, as a DBA and a developer, but it is good once in a while to step outside one’s comfort zone. Here’s wishing for an exciting and prosperous 2014 for all! August 30, 2013. I just used plain, old-fashioned Makefiles. For package management, I relied on APT.
banbh.blogspot.com
The Bad Rabbit: Formatting Haskell
http://banbh.blogspot.com/2007/08/formatting-haskell.html
Sunday, August 26, 2007. I've been experimenting with formatting Haskell for this blog and thought I would summarize my conclusions. My needs are unsurprising: I want to write literate Haskell (LHS), have it look nice on the blog, and have the process be easy (in other words, mostly automated). One possibility is to take the LHS, wrap it in. Tags and post it. This works, but I was curious to try hscolour. Finally I used an OMake. Script to automate compiling the code and converting it into HTML. If I had...
banbh.blogspot.com
The Bad Rabbit: 08/01/2007 - 09/01/2007
http://banbh.blogspot.com/2007_08_01_archive.html
Monday, August 27, 2007. Can be defined directly. This direct implementation is very inefficient, much as the direct computation of the Fibonacci sequence. Is inefficient. An elegant way to compute this sequence exploits sharing and laziness. So, for example,. Fib 6 = fibs! You can see the above defintion and others. On the Haskell wiki.) A nice exercise is to pull the same stunt with Pascal's triangle. Instead of a list we need a tree and some obvious operations on it. Finally we can test it. This left ...
