fmapfixreturn.wordpress.com
fmap fix return | intercalate ” ” . (“Haskell” :) . (:[]) $ “Blog” | Page 2
https://fmapfixreturn.wordpress.com/page/2
More Fun With Monoids (and some Functors). February 26, 2008 at 10:33 pm · Filed under Uncategorized. Ie, we have two groups, and wish to implement “inheritance” such that one group is queried and if the query fails, then we check for the “higher” group. And most importantly, how do we build this such that any combination of different types of groups can be composed with any other? The first obvious thing to do is to use types to whittle everything down to a basic interface. Now we need a function. There...
fmapfixreturn.wordpress.com
Simple Extensible Records — Quick Generic Tricks, Pt. 1 | fmap fix return
https://fmapfixreturn.wordpress.com/2008/05/03/simple-extensible-records-now-quick-generic-tricks-pt-1
Simple Extensible Records — Quick Generic Tricks, Pt. 1. May 3, 2008 at 5:37 pm · Filed under Uncategorized. There have been a few discussions lately about how to do quick and easy typesafe extensible records in Haskell. And there have been a number of discussions lately about extensions to do it more cleanly (see, e.g. this. Anyway, in discussion, we cooked up an idea which Kamina, who originally asked the question, later implemented very cleanly. We start by realizing that rather than creating a proper...
fmapfixreturn.wordpress.com
Comonads in everyday life. | fmap fix return
https://fmapfixreturn.wordpress.com/2008/07/09/comonads-in-everyday-life
Comonads in everyday life. July 9, 2008 at 11:45 am · Filed under Uncategorized. 183;Tagged Category Theory. This post is a literate haskell file. As is usual with such things, you can go ahead and paste it into a .lhs file and load it right up in ghci. As such, first some boring preliminaries. Module CoMenu where import Control.Applicative; import Data.List; import Data.Tree; import Data.Maybe import Network.Frameworks.HVAC; import Network.Frameworks.HVAC.AltController. For the purposes of this discussi...
fmapfixreturn.wordpress.com
July | 2008 | fmap fix return
https://fmapfixreturn.wordpress.com/2008/07
Archive for July, 2008. Comonads in everyday life. July 9, 2008 at 11:45 am · Filed under Uncategorized. 183;Tagged Category Theory. This post is a literate haskell file. As is usual with such things, you can go ahead and paste it into a .lhs file and load it right up in ghci. As such, first some boring preliminaries. On a correspondence, so that, e.g., a page can “autodiscover” its location in the hierarchy by introspection on its url. For the purposes of this discussion the menu will be a horizontal on...
fmapfixreturn.wordpress.com
ANN: HStringTemplate 0.3.1 | fmap fix return
https://fmapfixreturn.wordpress.com/2008/03/23/ann-hstringtemplate-031
ANN: HStringTemplate 0.3.1. March 23, 2008 at 12:46 am · Filed under Uncategorized. This release of HStringTemplate (up now at Hackage) fixes a number of bugs pointed out to me by its small but growing user base (thanks, cinema, elliottt! Although the examples from my new project [coming soon! Should also prove helpful). However, it does have a set of very nice and handy new features for development. NullGroup, also for use in development, a simple way to display more information about templates that can...
fmapfixreturn.wordpress.com
Type hackery for the practical programmer pt. II | fmap fix return
https://fmapfixreturn.wordpress.com/2008/04/28/type-hackery-for-the-practical-programmer-pt-ii
Type hackery for the practical programmer pt. II. April 28, 2008 at 4:19 pm · Filed under Uncategorized. This post is a long time coming, and sort of anti-climactic, but I wanted to just finish off what I’d begun describing in the previous post. We have, if you will recall:. Class MapFromTuple a b where mapFromTuple : a - [b]. Class MapToTuple a b where mapToTuple : [b] - a. The instance declarations are correspondingly the inverse of those for MapFromTuple:. The first restriction says that a is somethin...
fmapfixreturn.wordpress.com
ANN: hvac 0.1b, a transactional, declarative framework for lightweight web applications | fmap fix return
https://fmapfixreturn.wordpress.com/2008/03/23/ann-hvac-01b-a-transactional-declarative-framework-for-lightweight-web-applications
ANN: hvac 0.1b, a transactional, declarative framework for lightweight web applications. March 23, 2008 at 1:05 am · Filed under Uncategorized. Hvac (short for http view and controller) has been my project for the last little while, and is finally in a fairly usable state, so I’m opening up the repo (darcs get http:/ community.haskell.org/ sclv/hvac/. The second is a wiki based on Pandoc and the PandocWiki code. The code totals roughly 30 lines (rendering borrowed from PandocWiki aside) and uses abou...
fmapfixreturn.wordpress.com
Type-hackery for the practical programmer | fmap fix return
https://fmapfixreturn.wordpress.com/2008/04/05/type-hackery-for-the-practical-programmer
Type-hackery for the practical programmer. April 5, 2008 at 2:29 am · Filed under Uncategorized. So hvac has a pretty nice validation framework built on the withSomething idiom (i.e. WithSomething ( something - etc). Which is a sort of continuation passing model. More particularly, it has:. WithValidation : [(String, ValidationFunc s String String)] - ([String] - HCGI q s CGIResult) - HCGI q s CGIResult. So say you want to retrieve and Int that is greater than 3 and a String. Well, you have a validat...
fmapfixreturn.wordpress.com
Some concepts behind hvac | fmap fix return
https://fmapfixreturn.wordpress.com/2008/05/21/some-concepts-behind-hvac
Some concepts behind hvac. May 21, 2008 at 3:39 pm · Filed under Uncategorized. Web programming is an exercise in managing scope. We can explicitly write our controller function now as something which parses a request, and whose result is an http response. Or, to generalize back out, whose result is a function on the execution environment as a whole, yielding an http response. Naturally, we want a backtracking parser, because we want to allow the end-user to construct an arbitrary grammar rather than a t...
SOCIAL ENGAGEMENT