xax | Nov. 9th, 2015

S	M	T	W	T	F	S
				1	2	3
4	5	6	7	8	9	10
11	12	13	14	15	16	17
18	19	20	21	22	23	24
25	26	27	28	29	30	31

nanowrimo day 8

word count for the day: 0

oh nooooo

that being said i wrote like ~1200 words of other fic, mostly i just... really wanted to break out of this thing where i wait until ten to start writing. so tomorrow hopefully i'll start writing early and make up for today and then some. hopefully!!

Current Mood: pained
Current Music: Of Monsters And Men - Slow and Steady

posted @ 11:42 am

also yesterday i threw out my back, which, ow. so i've been kind of in a considerable amount of pain for the past while, which is... probably affecting my mood.

well not "considerable", just, you know, whenever i try to bend down.

Tags:

code,
programming

posted @ 01:46 pm

{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances,
UndecidableInstances, TypeFamilies #-}

class Appl fun arg t where
  appl :: fun -> arg -> t

instance (a ~ a') => Appl (a -> b) a' b where
  appl = id

instance {-# OVERLAPPING #-} Appl fun arg (b -> t) => Appl fun (b, arg) t where
  appl f (n, rs) = appl f rs n

class Appr fun arg t where
  appr :: fun -> arg -> t

instance (a ~ a') => Appr (a -> b) a' b where
  appr f = f

instance {-# OVERLAPPING #-} (a ~ a', Appr fun arg t) => Appr (a -> fun) (a', arg) t where
  appr f (a, x) = appr (f a) x

s/o to lyxia @ #haskell who wrote the appr half of this, which was enough to finally get me to comprehend all these messed-up recursive instances

(this generalizes the series of functions i enumerated here. the end goal is as always to unify all the render* functions in this code, which is a more complicated step, but now one i'm a lot more confident that i can figure out.)

(also as you might discover if you try to use this code, it requires type hints for everything: function, argument, and result. there might be some way for fundeps to fix that, but i haven't figured that out yet either. i don't know how annoying that would be in practice, since in practice i think the types would be pinned down by use elsewhere.)

let it leave me like a long breath

let it dissipate or fade in the background

Nov. 9th, 2015

Profile

Nav

Tags

May 2025

Nov. 9th, 2015

nanowrimo day 8

Style Credit