Log in

No account? Create an account
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.
February 5th, 2008
09:32 am
[User Picture]


Previous Entry Share Next Entry
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

Exxxcellent, Smithers!
"Exxxcellent, Smithers!"

Current Location: T2N 1N4
Current Mood: blahblah
Current Music: Ellen McLain -- Still Alive
Tags: , ,

(7 comments , Leave a comment)

[User Picture]
Date:February 5th, 2008 05:06 pm (UTC)
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.
[User Picture]
Date:February 5th, 2008 05:30 pm (UTC)
It generates segfaults 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).
[User Picture]
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)
[User Picture]
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.)
[User Picture]
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.
[User Picture]
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?)
[User Picture]
Date:February 17th, 2008 12:49 am (UTC)

It was in a comment on his journal that you mentioned it. I like it, too. =)
Beware of Road Surprises Powered by LiveJournal.com