« first day (240 days earlier)    last day (1 day later) » 

10:23 AM
0
Q: Is it possible to do dependent types in Shen?

hawkeyeWe see the benefits of Dependent Types in a paper written by Ana Bove and Peter Dybjer: Dependent types are types that depend on elements of other types. An example is the type An of vectors of length n with components of type A. Another example is the type Amn of m n-matrices. We say that th...

 
 
9 hours later…
6:59 PM
0
Q: macros in Clojure, evaluation and quoting

sumekI'm trying to write a macro to conditionally wrap compojure handler in a middleware only in certain environmets. I seem to be lost in the evaluation order and what/how should I quote. My current attempt is as follows: (defn empty-middleware [handler] (fn [request] (handler request))) (defmacr...

 
 
3 hours later…
10:04 PM
0
Q: (Lisp) Can i make this more efficient?

Rebecca WildeDoing a count the change style problem and i wrote this recursive in lisp, i was wondering if anyone had any tips for making this more efficient? if the numbers get too big, its just starts to break and takes about 3 minutes to compute the equivalent of £10 of different combinations! Even pointin...

 

« first day (240 days earlier)    last day (1 day later) »