Maybe you'll find someone else to help you / Maybe Black Mesa / That was a joke (ha ha, fat chance) - MrPutter: doing things the hard way, because it is there.
Maybe you'll find someone else to help you / Maybe Black Mesa / That was a joke (ha ha, fat chance)|
Documentation is for suckaz.
collect_eq_t n gamma q (TFold fs t) = (m'', delta ++ delta') where|
as = map (n+) [0..((length fs) - 1)]
gamma' = (zipWith (\(f,_,_,_) a -> (f,a)) fs as) ++ gamma
(m'', delta') = collect_eq_t m gamma' q t
(m, delta) = foldr cons nil (zip fs as)
nil = (n + (length fs), )
cons ((f,xs,v,ts), a) (m, d) = (m', (d ++ d')) where
as' = map (m+) [0..((length xs) - 1)]
gamma'' = (zip xs as') ++ gamma'
b = getFromContext (zip xs as') v
q' = m + (length xs)
arrows = foldr TArrow (TGeneric q') (map TGeneric as')
(m', d') = foldr cons' nil' ts
nil' = (q' + 1, [(a,arrows)])
cons' (c,ys,t) (l,e) = (l', ((ct,arrows'):d'')) where
ct = getFromContext gamma c
arrows' = foldr TArrow (TGeneric b) (map TGeneric bs)
bs = map (l+) [0..((length ys) - 1)]
gamma'' = (zip ys bs) ++ (zip xs as') ++ gamma'
(l', d'') = collect_eq_t (l + (length ys) + 1) gamma'' q' t
Current Location: T2N 1N4
Current Mood: blah
Current Music: Ellen McLain -- Still Alive
Tags: haskell, strange cat, thesis
What does that code do?
Also, I believe this is the first time I have recognized the song lyrics in your subject line. rfmcdpei
(whose journal you may enjoy) had put up the Youtube video last month.
collects information about a set of mutual folds
(exec. summary: mutually recursive functions) from their abstract syntax tree
representation, in order to perform type checking
on them via unification
on the result (the delta
) of the above code.
Is part of the compiler that I'm writing for my thesis (as if it weren't obvious).
|Date:||February 15th, 2008 09:37 pm (UTC)|| |
My husband just informed me that cats eating corn started the nom nom meme. I wasn't aware of that, but feeding our cats corn is one of our favorite party tricks. Kali, in particular, will scarf down a whole can o' corn. I love how many videos of cats eating corn can be found on YouTube.
Cats don't like Mountain Dew, but they like Fritos. Fritos are made of corn, and difficult to eat with a cat in the room.
I'm not stalking you. I just have a notify on your user pics. I swear there's a difference!
Edited at 2008-02-15 09:39 pm (UTC)
|Date:||February 16th, 2008 05:29 am (UTC)|| |
> just have a notify on
And here I was thinking it was an awesome co-incidence that I would have the perfect opportunity to use my new icon! Har.
(I didn't actually know there was such a thing as user pic notification.)
|Date:||February 16th, 2008 12:13 pm (UTC)|| |
Yup! When you look at somebody's user pics, it says "click here to be notified when they upload a new one," or something like that.
My point is, if you don't use this icon, I'm going to start using it myself.
|Date:||February 16th, 2008 10:29 pm (UTC)|| |
Regardless of whether or not you use mine, I am so TOTALLY using yours! (Did dubaiwalla let on that gin was my favourite booze?)
|Date:||February 17th, 2008 12:49 am (UTC)|| |
It was in a comment on his journal that you mentioned it. I like it, too. =)