Marginalia

Authors of compilers for Pure Functional Programming languages with as rich, extensive and extensible type-systems as the current-gen "ML family" (top-spots Haskell, Elm, PureScript) seem to find it challenging to formulate many-if-not-most of their compiler's error messages —typically arising in already highly abstracted, über-generalized "meta-sphere" contexts— in a manner that won't frustrate practically all beginner and intermediate users, plus a substantial number of veterans. As a result, complaints about "cryptic errors" abound and often top the lists-of-criticisms in most threads about Haskell and PureScript.

Objective: to understand how an ML-ish -to-imperative/OO code generator (such as —in this example— the PureScript-to-JavaScript transpiler) represents functional type-classes (FP's approximate use-case equivalent to OO's interfaces).

Any programmer often needs to output live data temporarily for inspection, serialized in a structured-but-human-readable format (think JSON) and in Haskell, using show on any Show able does this brilliantly. Alas it's missing indentation of course, its primary purpose being reproducable roundtrippable serialization. This is fine until it isn't (eg. with many 1000s of output "lines"-when-wrapped for just 4 Show ables while interoperating with Cabal).

For the "begintermediate" Funk(y-nota)tional Programmer, until more auto-math-ic intuition sets in, a quick-lookup cheat-sheet: examples of the built-in common standard instances for these two foundational Haskell typeclasses (for when GHCi isn't at hand, which it should never be).

Just happened upon these illuminative insights for "Developing an intuition for Monoid" — here are the essentials, distilled and/or paraphrased-for-clarity.

Showcasing my 2013-2014 work on high-performance, photo-realistic- lighting (so ignore the silly models I used here) GPU shader programs for mobile

My go:ngine supports only one file format for importing assets: Collada. The format is quite expressive, going way beyond mere geometry meshes..

...under OpenGL 3.2 core profile only, that is. Of course. That means some rather recent version of OS X required — not the latest but perhaps the one before — not sure right now which version introduced OpenGL 3.2 for Mac users. Elevating to see my OpenGL Go code running as a native binary under OS X!

Needed to hash a set of 3 unsigned integers into one integer value uniquely identifying-representing that particular sequence of uints, to be used as a "hash key" in a map[int]sometype ..

Getting seriously tricky stuff done in Go is, time and again, surprisingly simple:

I like using CSS rgba colors — awesome to use alpha channels directly with a given color without abusing CSS opacity..

roxbase is my minimal, rather simple yet quite versatile Template System for Common Lisp:

This should be fun. Going to deliver a full-day training course on XSLT to about a dozen PortalSystems Consulting colleagues..

The user interface of the new product that I am currently working on will be almost completely non-modal:

Users of the Wilson O/R Mapper sometimes ask for some documentation about OPath in their user forum, since the mapper supports a query language similar (or identical?) to OPath .

Yves Reynhout writes about what to look for in an O/R mapping tool..

Here 's an interactive mind map highlighting the current and future features for Persient (an object persistence abstraction layer for the .NET Framework) and its query language, OQuery.

.. an object persistence abstraction layer and "data schema generator" for the .NET Framework.