# brianbec's WebLog

### Programming

##### Late-Bound Fixed Point

I wasn’t sure I was going to report a version of Y using Object rather than explicit recursive types, but it turned out to be so easy and pretty that I couldn’t resist. It’s rather a dead-end, evolutionarily speaking, since future development will use the template of the explicit Universal type presented last time, but it’s amusing enough for a blog entry:

REM (λ a -> z z a)

Class OfA

Private Z As Object

Sub New(ByVal Z As Object)

Me.Z = Z

End Sub

Function [Of](ByVal a As Object) As Object

Return Z.[Of](Z).[Of](a)

End Function

End Class

REM [λ z -> h(λ a -> z z a)]

Class OfZ

Private H As Object

Sub New(ByVal H As Object)

Me.H = H

End Sub

Function [Of](ByVal z As Object) As Object

Return H.[Of](New OfA(z))

End Function

End Class

REM y h = [λ z -> h(λ a -> z z a)] [λ z -> h(λ a -> z z a)]

Class Y

Function [Of](ByVal h As Object) As Object

Dim z As New OfZ(h)

Return z.[Of](z)

End Function

End Class

REM λ n -> if n=0 return 1 else return n * fact(n - 1)

Class OfN

Private fact As Object

Sub New(ByVal h As Object) REM inflate the closure

Me.fact = h

End Sub

Function [Of](ByVal N As Object) As Object

If N < 0 Then

Return N

End If

If N = 0 Then

Return 1

Else

Return N * fact.[Of](N - 1)

End If

End Function

End Class

REM Currying: λ g -> (λ n -> ...). This is our target for y.

Class f

Function [Of](ByVal fact As Object) As Object

Return New OfN(fact)

End Function

End Class

Module Module1

Sub Main()

Dim y = New Y()

Dim fact = y.[Of](New f)

Dim result As Object = 1

While result > 0

Console.Write("Enter an Integer Number (negative to stop): ")

Console.WriteLine("{0}", result)

End While

End Sub

End Module

Published Tuesday, June 06, 2006 7:38 AM by brianbec

Filed under: , ,

#### # Late-Bound Fixed Point | Developers Blog@ Tuesday, July 19, 2011 5:28 AM

Pingback from  Late-Bound Fixed Point | Developers Blog

Late-Bound Fixed Point | Developers Blog

#### # re: Late-Bound Fixed Point@ Thursday, October 18, 2012 3:36 PM

Their ugliest path to lose somebody is intended to be perched top by these animals knowing that you can easily‘p you can keep them.

sac a main louis vuitton http://www.ruezalando.fr/

sac a main louis vuitton

#### # re: Late-Bound Fixed Point@ Thursday, October 18, 2012 3:41 PM

Real love is frail towards start, yet it expands much more powerful as we grow older the expense of adequately provided with.

sarenzalando chaussuresnikepascherfr.blogspot.com

sarenzalando

#### # re: Late-Bound Fixed Point@ Sunday, October 21, 2012 4:21 PM

Appreciate, accord, consider, may not unite many people as much as a familiar hate with a problem.

chaussure nike nikepascher2013.blogspot.com

chaussure nike

#### # re: Late-Bound Fixed Point@ Sunday, October 21, 2012 6:07 PM

To everyone you should be one person, but nonetheless , to just one guy or girl you should be the whole world.

nike pas cher chaussurenikepascherfr.blogspot.com

nike pas cher

#### # re: Late-Bound Fixed Point@ Thursday, October 25, 2012 9:37 PM

Peace is really aroma a person dans le but de relating to the rest without any looking for a some reduces relating to your.

air max bw www.chaussuresnike2013.com

air max bw

#### # re: Late-Bound Fixed Point@ Wednesday, November 14, 2012 8:20 PM

Acquaintance may be the golden thread it jewelry often the hearts and minds of the modern world.

white beats by dre studio www.monsterbeatsbydrdresolode.com/beats-by-dr-dre-studio-high-definition-kopfh&

white beats by dre studio

#### # re: Late-Bound Fixed Point@ Monday, November 26, 2012 8:50 PM

The very toughest ways to missed one is working suitable adjacent to all of them once you learn it's possible to‘p buy them.

Echarpe Burberry http://www.fr-marque.com/

Echarpe Burberry

#### # re: Late-Bound Fixed Point@ Sunday, December 16, 2012 9:16 AM

Where exactly you have matrimony without love, you will see love without matrimony.

nike pas cher chine

#### # re: Late-Bound Fixed Point@ Tuesday, December 18, 2012 7:17 AM

Your least beneficial ways to miss out the person thought of as as well as best suited invariably the whole bunch knowing it is easy to‘h ask them to.

Ckgucci.com

#### # re: Late-Bound Fixed Point@ Saturday, January 05, 2013 2:32 AM

After examine just a number of of the weblog posts in your website now, and I actually like your way of blogging. I bookmarked it to my bookmark website record and can be checking again soon. Pls try my website as well and permit me know what you believe.

moncler womens coats www.2013moncleroutletsale.com/moncler-womens-coats-c-876_886.html

moncler womens coats

#### # re: Late-Bound Fixed Point@ Friday, January 11, 2013 11:33 AM

A fact affinity foresees the requirements of another and not just laud it happens to be possess.

destockchine www.destockchinefr.fr/.../serie-a-pas-cher

destockchine

#### # re: Late-Bound Fixed Point@ Monday, March 11, 2013 11:56 PM

Due to the fact any individual doesn‘big t accept you and the choice of desire them in,doesn‘big t convey they can assume‘big t accept you operating they may have. destockchine www.b77.fr/chaussure-femme-c-4.html

nryowgt@gmail.com

#### # re: Late-Bound Fixed Point@ Sunday, March 17, 2013 10:04 AM

Please don't socialize more happy to get along with. Socialize that will strain that you pry your spouse it. casquette obey http://www.b44.fr/

yuaudwb@gmail.com

#### # re: Late-Bound Fixed Point@ Tuesday, March 19, 2013 12:45 PM

that it is truly informative. I am going to watch out for brussels.

I'll be grateful if you continue this in future. Lots of people will be benefited from your writing. Cheers!

Crane

#### # re: Late-Bound Fixed Point@ Saturday, March 23, 2013 4:09 PM

I enjoy this program you do not due to your identity, but yet due to whom Now i am agonizing in the morning along. casquette swagg http://e33.fr/

ygshtsf@gmail.com

#### # re: Late-Bound Fixed Point@ Saturday, March 23, 2013 10:09 PM

I adore you do not on account of what you are about, on the contrary on account of just who I  am people 'm you have made. bonnet casquette http://e22.fr/

gfiyzbweh@gmail.com

#### # re: Late-Bound Fixed Point@ Wednesday, March 27, 2013 1:17 PM

Really don't connect with others who ? re pleasant to be with. Connect with others that will force 1 lever tumbler you and your family upwards. usine23 http://d77.fr/

kyygty@gmail.com

#### # re: Late-Bound Fixed Point@ Tuesday, April 02, 2013 3:26 PM

Pretty sure he's going to have a very good read. I appreciate you for sharing!

Alba

#### # re: Late-Bound Fixed Point@ Wednesday, April 03, 2013 6:14 AM

Your means of describing all in this piece of writing is

in fact nice, all be able to easily understand it, Thanks a lot.

Durden

#### # re: Late-Bound Fixed Point@ Thursday, April 04, 2013 11:29 AM

Hey! This is my first visit to your blog! We are a group of volunteers and starting a new initiative in a community in

the same niche. Your blog provided us beneficial information to work on.

You have done a marvellous job!

Craft

#### # re: Late-Bound Fixed Point@ Thursday, April 04, 2013 5:14 PM

The buddy for you to spend money on due to features are likely to be purchased from you and your family. casquette chicago bulls http://www.laredoutecode.fr/

ctuusyctx@gmail.com

#### # re: Late-Bound Fixed Point@ Thursday, April 04, 2013 5:17 PM

Hi there friends, fastidious paragraph and good arguments commented at this place, I am truly enjoying by these.

Guyton

#### # re: Late-Bound Fixed Point@ Monday, April 08, 2013 10:59 PM

An honest buddy is a diet whom overlooks your favorite problems and so can handle your favorite achievements. g88.fr http://www.g88.fr/

bhwzhhpw@gmail.com

#### # re: Late-Bound Fixed Point@ Tuesday, April 09, 2013 3:02 PM

Appreciate stands out as the busy headache on your life span and therefore the growth of truley what many of us adore. chaussea http://ruemee.com/

bmtrge@gmail.com

#### # re: Late-Bound Fixed Point@ Wednesday, April 10, 2013 1:11 PM

It's enormous that you are getting ideas from this post as well as from our dialogue made at this time.

Garner

#### # re: Late-Bound Fixed Point@ Friday, April 12, 2013 10:46 AM

Adore, a friendly relationship, dignity, never bring together customers over a standard hate to anything at all. groupon belgique http://grouponfr.fr/

uhcemus@gmail.com

#### # re: Late-Bound Fixed Point@ Friday, April 12, 2013 12:18 PM

Joy and happiness rrs really a aromatize it's not possible to pour out along a number of people not including ending up with a a small number of loses along yourself. code promo zalando http://i88.fr/

tciczcd@gmail.com

#### # re: Late-Bound Fixed Point@ Saturday, April 13, 2013 10:15 AM

Could be Idol requests united states based on quite a few improper people young and old sooner than gathering right, to ensure that weight lifting does not in the end meet the man or women, i will have learned to you should be grateful. casquette raiders http://e66.fr/

rqccjen@gmail.com

#### # re: Late-Bound Fixed Point@ Sunday, April 14, 2013 7:04 AM

I don抰 even know how I ended up here, but I thought this post was good. I do not know who you are but certainly you are going to a famous blogger if you aren't already ;) Cheers!

yqeesfvexpr@gmail.com

#### # re: Late-Bound Fixed Point@ Sunday, April 14, 2013 11:09 AM

I like the entire group! They can indeed be fantastic for carrying combined with increase clean for you to our attires! Many people use a little sizeable unfortunately...outside acquire a single sizing reducing by means of our common Buy Burberry sizing.

mnsnny@gmail.com

#### # re: Late-Bound Fixed Point@ Sunday, April 14, 2013 4:15 PM

Buy Miu Miu magnifique, tant davantage gracieux qu'en photographie, message rapide, indulgence

ipenxztaejd@gmail.com

#### # re: Late-Bound Fixed Point@ Monday, April 15, 2013 11:32 AM

Hmm it looks like your website ate my first comment (it was super long) so I guess I'll just sum it up what I submitted and say, I'm thoroughly

enjoying your blog. I as well am an aspiring blog writer but I'm still new to everything. Do you have any tips for novice blog writers? I'd definitely appreciate it.

Tremblay

#### # re: Late-Bound Fixed Point@ Tuesday, April 16, 2013 9:14 AM

Friendly relationship may Coptis trifolia groenlandica which usually connections these minds skin color environment. frmarque http://frmarquefr.fr/

bcfzkqjij@gmail.com

#### # re: Late-Bound Fixed Point@ Tuesday, April 16, 2013 9:35 AM

For riches our acquaintances be familiar with us all; when it comes to hardship can certainly our acquaintances. casquette YMCMB http://www.a44.fr/

saugjw@gmail.com

#### # re: Late-Bound Fixed Point@ Tuesday, April 16, 2013 2:03 PM

Friends that you just simply order with the help of presents are bought from customers. i11.fr http://i11.fr/

ktjajvom@gmail.com

#### # re: Late-Bound Fixed Point@ Tuesday, April 16, 2013 7:25 PM

If you want a new accounting of our truly, calculate pals. casquette snapback http://www.a88.fr/

mmcsaih@gmail.com

#### # re: Late-Bound Fixed Point@ Tuesday, April 16, 2013 8:12 PM

Possibly Lord requires u . s . to meet up with a few false people young and old prior to now joining right, with the intention that whenever we definitely satisfy the human being, we shall understand how to stay happier. g44 http://g44.fr/

mfexjgr@gmail.com

#### # re: Late-Bound Fixed Point@ Tuesday, April 16, 2013 10:50 PM

If you might you want to keep mysterious by way of an opponent, explain to it again to fail to partner. frmarquefr.com http://frmarquefr.com/

kmxugxs@gmail.com

#### # re: Late-Bound Fixed Point@ Wednesday, April 17, 2013 3:00 PM

Really enjoy, association, deference, be careful not to join forces families as much as a regular hatred for the purpose of anything at all.

kxciqdearg@gmail.com

#### # re: Late-Bound Fixed Point@ Thursday, April 18, 2013 12:21 PM

To everyone you should be one person, yet unfortunately to one customer you should be the globe. ck gucci http://ckgucci.fr/

mkdgazk@gmail.com

#### # re: Late-Bound Fixed Point@ Thursday, April 18, 2013 3:04 PM

Hi there! Do you know if they make any plugins to help with SEO?

I'm trying to get my blog to rank for some targeted keywords but I'm not seeing very

good gains. If you know of any please share.

Thanks!

Bowden

#### # re: Late-Bound Fixed Point@ Friday, April 19, 2013 1:24 PM

Hi, its nice piece of writing regarding media print,

we all be aware of media is a wonderful source of information.

Calvert

#### # re: Late-Bound Fixed Point@ Friday, April 19, 2013 8:10 PM

I seriously love your blog.. Pleasant colors & theme. Did you

create this web site yourself? Please reply back as I'm wanting to create my very own website and would love to learn where you got this from or what the theme is called. Kudos!

Rutledge

#### # re: Late-Bound Fixed Point@ Sunday, April 21, 2013 6:09 AM

I have been exploring for a little for any high-quality articles or weblog posts in this kind of

space . Exploring in Yahoo I eventually stumbled

upon this site. Reading this info So i am happy to convey that I have an incredibly

excellent uncanny feeling I discovered just what I needed.

I such a lot unquestionably will make sure to don?t forget this site and provides it a glance on a relentless basis.

Pogue

#### # re: Late-Bound Fixed Point@ Sunday, April 21, 2013 3:27 PM

I'd like to find out more? I'd want to find out some additional information.

Bigelow

#### # re: Late-Bound Fixed Point@ Monday, April 22, 2013 6:07 PM

fantastic among the very unit.  Wore they  neverwinter power leveling www.mmogm.com/.../neverwinter-power-leveling.html all the way through snowy days the rocks during Germany.  fashion and durable see how to avoid snow--just not necessarily during fingerprints or maybe slush.  Lots of enhances about structure.

jneuoq@gmail.com

#### # re: Late-Bound Fixed Point@ Monday, April 22, 2013 6:47 PM

You should not it's the perfect time that are functional to be with. Socialize who will power want you to prize your in place. tn pas cher http://www.5fr.fr/

ptzshyyk@gmail.com

#### # re: Late-Bound Fixed Point@ Tuesday, April 23, 2013 8:37 AM

This design is steller! You definitely know how to keep a reader amused.

Between your wit and your videos, I was almost moved to start my own blog (well,

almost...HaHa!) Wonderful job. I really loved what you had to say, and more

than that, how you presented it. Too cool!

Parent

#### # re: Late-Bound Fixed Point@ Thursday, April 25, 2013 4:16 AM

It's the little changes that produce the biggest changes. Thanks for sharing!

Stallworth

#### # re: Late-Bound Fixed Point@ Thursday, April 25, 2013 2:49 PM

These kinds of wow power leveling are wonderful! I produce my personal wow power leveling you'll find time of day so i appreciate these people! My pals have a minimum of one binocular. I like My favorite wow power leveling!!!

ysvjswixbjr@gmail.com

#### # re: Late-Bound Fixed Point@ Thursday, April 25, 2013 3:12 PM

This video post is really enormous, the sound quality and the picture feature of this film post is truly awesome.

ylxtgktx@gmail.com

#### # re: Late-Bound Fixed Point@ Saturday, April 27, 2013 8:33 PM

Peaceful home life my own shiny archeage power leveling!  So much fun & highly christmas.

eozxbsqqo@gmail.com

#### # re: Late-Bound Fixed Point@ Thursday, May 02, 2013 12:30 AM

Well I definitely liked studying it. This information offered by you is very practical for proper planning. michael kors outlet www.dougthompson.ca/outlet.html

michaelkorsoutlet@gmail.com

#### # re: Late-Bound Fixed Point@ Thursday, May 02, 2013 11:28 AM

Hi there,  You have done an excellent job. I will certainly digg it and personally recommend to my friends. I am sure they will be benefited from this site. michael kors bags www.dougthompson.ca/michaelkorsbags.html

michaelkorsoutlet@gmail.com

#### # re: Late-Bound Fixed Point@ Saturday, May 04, 2013 4:50 AM

I've been absent for a while, but now I remember why I used to love this site. Thanks , I¡¦ll try and check back more frequently. How frequently you update your website? michael kors outlet www.dougthompson.ca/kors.html

michaelkorsoutlet@gmail.com

#### # re: Late-Bound Fixed Point@ Monday, May 06, 2013 8:58 AM

Thanks a lot for sharing this with all people you actually recognise what you are speaking approximately! Bookmarked. Kindly additionally consult with my website =). We can have a link trade arrangement between us! True Religion www.semfazonline.com/.../true-religion.html

14pmjerseys@gmail.com

#### # re: Late-Bound Fixed Point@ Tuesday, May 07, 2013 4:18 PM

Simply want to say your article is as astonishing. The clearness in your post is simply excellent and i can assume you are an expert on this subject. Fine with your permission let me to grab your RSS feed to keep up to date with forthcoming post. Thanks a million and please keep up the rewarding work. Football Jerseys www.footballcheapjerseys.com

62pmjerseys@gmail.com

#### # re: Late-Bound Fixed Point@ Tuesday, May 07, 2013 9:01 PM

I love every single kind of hermes wallets we have purchased. I really enjoy all of these with the exception that I will certainly not purchase them concerning legs with out them acquiring ten mins to find these folks regarding.

fusogglupty@gmail.com

#### # re: Late-Bound Fixed Point@ Thursday, May 09, 2013 11:53 AM

It¡¦s really a great and useful piece of info. I am satisfied that you just shared this helpful info with us. Please stay us up to date like this. Thanks for sharing. True Religion Jeans www.printsbooks.com/.../true-religion-jeans.html

22pms@gmail.com

#### # re: Late-Bound Fixed Point@ Friday, May 10, 2013 9:52 AM

Incredible points. Sound arguments. Keep up the good spirit. True Religion Jeans www.semfazonline.com/.../true-religion-jeans.html

22pms@gmail.com

#### # re: Late-Bound Fixed Point@ Friday, May 10, 2013 11:03 AM

When some one searches for his necessary thing, therefore he/she

desires to be available that in detail, thus that thing is maintained over here.

Tenney

#### # re: Late-Bound Fixed Point@ Friday, May 10, 2013 5:28 PM

My brother recommended I might like this web site. He was entirely right.

This post truly made my day. You can not imagine simply how much time

I had spent for this info! Thanks!

Mortensen

#### # re: Late-Bound Fixed Point@ Saturday, May 11, 2013 10:36 PM

What's up, always i used to check weblog posts here early in the morning, as i like to gain knowledge of more and more.

Usher

#### # re: Late-Bound Fixed Point@ Sunday, May 12, 2013 6:19 AM

Hi there! I could have sworn I've visited this website before but after looking at a few of the posts I realized it's new to me. Anyways, I'm certainly delighted I stumbled upon it and I'll be bookmarking it and checking back often!

dcomdvtygx@gmail.com

#### # re: Late-Bound Fixed Point@ Sunday, May 12, 2013 8:39 AM

It's hard to find experienced people for this topic, however, you seem like you know what you're talking about!

Thanks

Fleck

#### # re: Late-Bound Fixed Point@ Friday, May 17, 2013 2:40 AM

I do agree with all of the concepts you've presented to your post. They're very convincing and will certainly work. Nonetheless, the posts are very brief for novices. Could you please lengthen them a bit from next time? Thanks for the post. sneakers isabel marant www.asvelassociation.com/.../sneakers-isabel-marant.html

992pms@gmail.com

#### # re: Late-Bound Fixed Point@ Saturday, May 18, 2013 3:14 AM

Hi there i am kavin, its my first time to commenting anyplace,

post.

Mcgraw

#### # re: Late-Bound Fixed Point@ Monday, May 20, 2013 5:06 PM

I always emailed this webpage post page to all my contacts, because if like to read it then my links will too. Isabel marant basket www.asvelcorporate.com/.../sneakers-isabel-marant.html

992pms@gmail.com