comp.lang.haskell Google Group

Re: Transparent results cache

mark.carr...@aetion.com (Mark T. B. Carroll) — Fri, 20 Лис 2009 22:23:42 UT

Huh, yes, I seem good at reinventing wheels. (The lessons stick with me
better that way though!) Thank you. Some of that code looks rather familiar!
Mmm. I'm hoping that it doesn't become enough of a problem that I have
to try to put together a simple test case that evinces the bug.
Mark

Re: Transparent results cache

dan.d...@gmail.com (Dan Doel) — Fri, 20 Лис 2009 22:13:34 UT

You may be interested in this paper:
[link]
And, I do think you probably want NOINLINE on the call of cached (otherwise
the call may be inlined, and you may end up with multiple separately
memoized functions), but I'm not 100% sure. I'm not sure why that'd be

Re: Transparent results cache

mark.carr...@aetion.com (Mark T. B. Carroll) — Fri, 20 Лис 2009 16:14:36 UT

I did indeed grow doubtful about where I'd put it and have tried moving
it around and thinking about it more.
Still, now I'm getting the occasional segmentation fault from my code.
I'm not knowingly using threading or concurrency, unless
Control.Parallel.Strategies.rn f does it behind the scenes in a way that

Transparent results cache

mark.carr...@aetion.com (Mark T. B. Carroll) — Wed, 18 Лис 2009 18:29:07 UT

I wrote something that is possibly a bit horrifying. I seem to have got
away with it for now. I don't normally use things like unsafePerformIO
but it occurred to me that I could write a kind of transparent results
cache for functions. I'd certainly be interested in comments about how
I screwed it up or shouldn't even be thinking such awful things. At

Shaved Bare - Shaved Asians Movie

toneyrish...@gmail.com (shape Toney) — Wed, 04 Лис 2009 15:58:12 UT

============================== ============================== =============
========= My sister shave her pussy: hidden cam
=========
VVVVVVVVVVVVVVVVVVVVVVVVVVVVVV VVVVVVVVVVVVVVVVVVVVVVVVVVVVVV VVVVVVVVVVVV
========= ENTER HERE:
=========
========= [link]

best buy nike shoes,cheap supra shoes,nike air jordans,jordan fusions,newest SUPRA sneaker,China Cheap Nike Sneakers,Supra Shoes Wholesale Gucci Sneakers

xiaolong0...@126.com (nicejordan) — Wed, 04 Лис 2009 12:01:28 UT

Welcome to visit [link] hottest Nike Shoes, Nike Jordans,
Nike Air Jordans, Air Jordan Fusion,Sell nike shoes air jordan,Jordan
fusions,Air jordan women fusins,AJ fusions,AJ Fusions low,cheap Prada
shoes, Gucci shoes, Adidas shoes, Nike shoes, Puma shoes,Cheap brand
jeans:Coogi pants, Evisu jeans, RMC jeans, Crown Holder, Aftful Dodger

Wholesale Women's and Men's Shoes and sneakers,Discount Prices Supra Shoes,China Factory Cheap Price Sell air Jordan Shoes

xiaolong0...@126.com (nicejordan) — Wed, 04 Лис 2009 12:00:29 UT

Re: happs coming alone?

mark.carr...@aetion.com (Mark T. B. Carroll) — Fri, 30 Жов 2009 17:09:12 UT

It's not something I've had to know about. I remember some talk of a
fork - see [link] - but I have no experience with either.
Also, for dynamic sites,
[link] may be useful.
Mark

Re: happs coming alone?

gavcom...@gmail.com (gavino) — Fri, 30 Жов 2009 05:21:50 UT

coming along I meant
nice youtube vid by the way
how about some demo sites?
something like a mock craigslist or digg would be cool

happs coming alone?

gavcom...@gmail.com (gavino) — Fri, 30 Жов 2009 04:51:35 UT

see this? [link] lisp has a nice webserver

Re: monads for lambda calculus

dthierb...@usenet.arcornews.de (Dirk Thierbach) — Wed, 21 Жов 2009 07:57:24 UT

Exactly. Though in don't see what the latter has to do with the former :-)
If you haven't done already, I recommend reading up on F-Algebras.
Exactly. It's superficial, it's unnatural, it doesn't fit the intended
use. So why insist on it?
In general, they don't necessarily exist. If you look at it categorically,

Re: monads for lambda calculus

jon.gallagher...@gmail.com (jon.gallagher.04) — Wed, 21 Жов 2009 07:13:34 UT

Right, that's the point of data in the lambda calculus. Inductive
data types are there own folds. So that
nil = \nc.n
cons a l = \nc. c a (l n c) <=>
cons = \al.\nc.c a (l n c)
Then
fold v f l = l v f <=>
fold = \vfl.lvf
And
map f l = fold nil (\a m. cons (f a) m) l <=>
map = \f l . fold nil (\am.cons (f a) m) l

Re: monads for lambda calculus

dthierb...@usenet.arcornews.de (Dirk Thierbach) — Tue, 20 Жов 2009 21:59:40 UT

BTW, if you define the representation this way, a nice test case is
(\x.x x)(\x.x x). If that doesn't work like it should, you need to improve
the alpha-conversion handling :-)
BTW, one can define fold and (f)map for every covariant ADT, so that's
in no way special to Lambda. Though I think it's a bit roundabout to

monads for lambda calculus

jon.gallagher...@gmail.com (jon.gallagher.04) — Tue, 20 Жов 2009 05:04:28 UT

Greetings Comp.Lang.Haskell Community,
I have a program that serves a lambda calculus reducer, but I want to
play with it and see what various class representations give, such as
functors and monads.
So consider
Then, of course fold,
So that we can give an instance of functor,
Next we can try to write an instance of monads. We have an obvious

* extended deadline: FLOPS 2010: Last Call for Papers *

matthias.bl...@gmail.com (Matthias) — Tue, 20 Жов 2009 02:42:40 UT

------------------------------ ------------------------------ ----------------
LAST CALL FOR PAPERS
Tenth International Symposium on Functional and Logic Programming
(FLOPS 2010)
April 19-21, 2010
Sendai, Japan
[link]
** EXTENDED SUBMISSION DEADLINES **

comp.lang.haskell Google Group

Re: Transparent results cache

Re: Transparent results cache

Re: Transparent results cache

Transparent results cache

Shaved Bare - Shaved Asians Movie

best buy nike shoes,cheap supra shoes,nike air jordans,jordan fusions,newest SUPRA sneaker,China Cheap Nike Sneakers,Supra Shoes Wholesale Gucci Sneakers

Wholesale Women's and Men's Shoes and sneakers,Discount Prices Supra Shoes,China Factory Cheap Price Sell air Jordan Shoes

Re: happs coming alone?

Re: happs coming alone?

happs coming alone?

Re: monads for lambda calculus

Re: monads for lambda calculus

Re: monads for lambda calculus

monads for lambda calculus

*** extended deadline: FLOPS 2010: Last Call for Papers ***

* extended deadline: FLOPS 2010: Last Call for Papers *