uskzのD日記

2007-04-17

[] lazy 09:41  lazy - uskzのD日記 を含むブックマーク はてなブックマーク -  lazy - uskzのD日記  lazy - uskzのD日記 のブックマークコメント

このlazy is not for lazy evaluationってどういう意味なんでしょう.DSELの為のものですよとか 笑

2007-03-12

[] むーん? 16:47  むーん? - uskzのD日記 を含むブックマーク はてなブックマーク -  むーん? - uskzのD日記  むーん? - uskzのD日記 のブックマークコメント

にゃんでinterfaceに表明を書けないのかなー.

操作のprecondition,実装に関する部分を除いたpostconditionとclass invariantはADTのpreconditionとaxiom(の一部)に対応するものであって実装じゃないので,記述できても問題無いと思うんだけどなあ.むしろ記述できた方がinterfaceの使い道が増えると思う.

AmariAmari2007/07/06 15:23http://cfc7c816b637078aaa1ae6681605373c-t.pxvzyc.org <a href="http://cfc7c816b637078aaa1ae6681605373c-h.pxvzyc.org">cfc7c816b637078aaa1ae6681605373c</a> [url]http://cfc7c816b637078aaa1ae6681605373c-b1.pxvzyc.org[/url] [url=http://cfc7c816b637078aaa1ae6681605373c-b2.pxvzyc.org]cfc7c816b637078aaa1ae6681605373c[/url] [u]http://cfc7c816b637078aaa1ae6681605373c-b3.pxvzyc.org[/u] 4decad423f6260fe81fef081cf3a9083

2007-03-08

[] abstractな仮想メンバ関数 14:15  abstractな仮想メンバ関数 - uskzのD日記 を含むブックマーク はてなブックマーク -  abstractな仮想メンバ関数 - uskzのD日記  abstractな仮想メンバ関数 - uskzのD日記 のブックマークコメント

C++同様実装を持てる.

ドキュメントでも確認した.(←また探すのに苦労した)

でも事前条件や事後条件を書くと絶対にbodyを要求されるrationaleがよくわからない.

あと,interfaceには契約を書けない.

ElvinElvin2007/07/10 01:50http://400497bd7ebd67f7bce09ead539951a1-t.nbajgi.org <a href="http://400497bd7ebd67f7bce09ead539951a1-h.nbajgi.org">400497bd7ebd67f7bce09ead539951a1</a> [url]http://400497bd7ebd67f7bce09ead539951a1-b1.nbajgi.org[/url] [url=http://400497bd7ebd67f7bce09ead539951a1-b2.nbajgi.org]400497bd7ebd67f7bce09ead539951a1[/url] [u]http://400497bd7ebd67f7bce09ead539951a1-b3.nbajgi.org[/u] b4cf0500ad83f50d682dcb1aaa1cd77f

xqmtfehirwixqmtfehirwi2011/02/21 16:02jlacM9 <a href="http://rudlcbgdowzr.com/">rudlcbgdowzr</a>, [url=http://iekwpsrwvxrb.com/]iekwpsrwvxrb[/url], [link=http://ipvyqwjvsjaa.com/]ipvyqwjvsjaa[/link], http://bqjbrjwidnko.com/

2007-02-28

[] staticなローカル変数 18:09  staticなローカル変数 - uskzのD日記 を含むブックマーク はてなブックマーク -  staticなローカル変数 - uskzのD日記  staticなローカル変数 - uskzのD日記 のブックマークコメント

がC/C++と同じ意味を成すことについて,ドキュメントのどこに書いているのか見つけられない.

[] あー 18:13  あー - uskzのD日記 を含むブックマーク はてなブックマーク -  あー - uskzのD日記  あー - uskzのD日記 のブックマークコメント

mixin,metastring,typetuple辺りが素敵過ぎる.

nihaniha2007/03/01 01:14http://www.kmonos.net/alang/d/attribute.html より、
>staticデータは(中略)プログラム中に唯一つ保持されます。
です。火星のドキュメントの分かりづらさは異常なので、自分で何か書きたいなあと定期的に思いつつ、いつも途中でやめてしまいます…
あとmixin, metastring, typetupleは素晴らしいと私も思うんですが、個人的には言語によるサポートがどうにも中途半端な気がするので、もうちょっとしっかり言語の仕様として組み込まれないかなあと思います。色々できるけど粗が目立つという感じですね。

uskzuskz2007/03/01 09:49>staticデータ
インスタンス毎にという所から,この文はクラスのstaticメンバについて述べてるのかと思っていました.
>mixin, metastring, typetuple
しっかりと変態道を突き進む形で進化してくれるとうれしいですね 笑

2007-02-26

[] lazyを使ってみる 10:12  lazyを使ってみる - uskzのD日記 を含むブックマーク はてなブックマーク -  lazyを使ってみる - uskzのD日記  lazyを使ってみる - uskzのD日記 のブックマークコメント

とりあえず短絡評価される含意の関数化とか.

import std.cstream;

bool implies(bool lhs, lazy bool rhs)
{
  return !lhs || rhs;
}

bool f()
{
  return false;
}

bool g()
{
  dout.writeLine("evaluated");
  return true;
}

void main()
{
  dout.writefln(implies(f(), g()));
}

うん,当たり前だけど意図どおりに動いてる.

[] クロージャできるかな12:43  クロージャできるかな? - uskzのD日記 を含むブックマーク はてなブックマーク -  クロージャできるかな? - uskzのD日記  クロージャできるかな? - uskzのD日記 のブックマークコメント

前に書いたコレをそのままDで.

import std.cstream;

T delegate(T) foo(T)(T n)
{
  return (T a){ return n += a; };
}

void main()
{
  auto f1 = foo(10);
  dout.writefln(f1(5));
  dout.writefln(f1(5));
  dout.writefln(f1(5));
  dout.writefln(f1(5));

  auto f2 = foo(1.5);
  dout.writefln(f2(0.5));
  dout.writefln(f2(0.5));
  dout.writefln(f2(0.5));
  dout.writefln(f2(0.5));
}
15
9510725
9510730
9510735
1
1.5
2
2.5

なんでやねん!

もしかしてバグ

[] 続クロージャできるかな13:02  続クロージャできるかな? - uskzのD日記 を含むブックマーク はてなブックマーク -  続クロージャできるかな? - uskzのD日記  続クロージャできるかな? - uskzのD日記 のブックマークコメント

ああ,気付いてなかったけどdoubleの方もおかしい.スタック上に確保された変数はあくまでもスコープを抜けた際に解体される仕様かな.

[] 続々クロージャできるかな13:05  続々クロージャできるかな? - uskzのD日記 を含むブックマーク はてなブックマーク -  続々クロージャできるかな? - uskzのD日記  続々クロージャできるかな? - uskzのD日記 のブックマークコメント

しかしながらスタック変数は、 宣言されている関数が終了すると無効になります。

書いてた

nihaniha2007/02/28 02:43できない→これでもか→こうなんじゃね?→書いてた、という流れが数ヶ月前の自分を見ているようで面白いです。

uskzuskz2007/02/28 17:35これができれば面白いのですけどね.
出来るようになる予定も無いのでしょうか.

kurimurakurimura2007/02/28 20:20そこでstd.bindの出番ですよ。
import std.bind;
T delegate(T) foo(T)(T n)
{
return bind(function(T*n,T a){ return *n += a; },&*(&n)[0..1].dup,_0).ptr;
}
......めんどくさくてやってらんね( ´Д`)

uskzuskz2007/03/01 09:54boost::lambda::bindを使ったバージョンに近くなっちゃってる気がします!

buy viagrabuy viagra2007/07/18 07:34 <a href="http://buyithere.invisionplus.net/">buy viagra</a>

far corporation mp3far corporation mp32007/07/24 22:45<a href="http://www.ingnwili.cn/page57.html">kanji tattoo gallery</a> kanji tattoo gallery,<a href="http://www.ingnwili.cn/page58.html">illicit love</a> illicit love,<a href="http://www.ingnwili.cn/page67.html">american parkway auto sales</a> american parkway auto sales,<a href="http://www.ingnwili.cn/page72.html">free xxx hardcore sex</a> free xxx hardcore sex,<a href="http://www.ingnwili.cn/page59.html">free magic match online play</a> free magic match online play,<a href="http://www.ingnwili.cn/page54.html">irs late fees</a> irs late fees,<a href="http://www.ingnwili.cn/page81.html">degree health in ms online psychology</a> degree health in ms online psychology,<a href="http://www.ingnwili.cn/page73.html">adult links directories babes</a> adult links directories babes,<a href="http://www.ingnwili.cn/page69.html">go gos mp3</a> go gos mp3,<a href="http://www.ingnwili.cn/page93.html">cheryl lutz milf</a> cheryl lutz milf,

dragon pink mangadragon pink manga2007/07/25 20:00<a href="http://www.xkgifpja.cn/page48.html">girls looking for men</a> girls looking for men,<a href="http://www.xkgifpja.cn/page30.html">celtic halloween music</a> celtic halloween music,<a href="http://www.xkgifpja.cn/page18.html">how to save money self employment</a> how to save money self employment,<a href="http://www.xkgifpja.cn/page4.html">kinky leather lingerie</a> kinky leather lingerie,<a href="http://www.xkgifpja.cn/page6.html">antenna booster productpage wireless</a> antenna booster productpage wireless,<a href="http://www.xkgifpja.cn/page19.html">house wife sex</a> house wife sex,<a href="http://www.xkgifpja.cn/page31.html">big naturals blowjob</a> big naturals blowjob,<a href="http://www.xkgifpja.cn/page16.html">jojo the happy song</a> jojo the happy song,<a href="http://www.xkgifpja.cn/page35.html">email spam filters</a> email spam filters,<a href="http://www.xkgifpja.cn/page4.html">free sewing lingerie pattern</a> free sewing lingerie pattern,

bald nude womenbald nude women2007/07/25 20:16<a href="http://www.rxmurylw.cn/page12.html">free indiana power of attorney form</a> free indiana power of attorney form,<a href="http://www.rxmurylw.cn/page20.html">job category is insurance jobs in tyler tx</a> job category is insurance jobs in tyler tx,<a href="http://www.rxmurylw.cn/page2.html">false burglar alarm phone</a> false burglar alarm phone,<a href="http://www.rxmurylw.cn/page17.html">irs debt attorney</a> irs debt attorney,<a href="http://www.rxmurylw.cn/page8.html">custom name belts</a> custom name belts,<a href="http://www.rxmurylw.cn/page11.html">easy to build mouse trap cars</a> easy to build mouse trap cars,<a href="http://www.rxmurylw.cn/page47.html">free disney hentai pic</a> free disney hentai pic,<a href="http://www.rxmurylw.cn/page46.html">free hardcore picture</a> free hardcore picture,<a href="http://www.rxmurylw.cn/page16.html">depression online test</a> depression online test,<a href="http://www.rxmurylw.cn/page17.html">irs corporate tax forms</a> irs corporate tax forms,

godzilla monstergodzilla monster2007/07/26 05:48<a href="http://www.jshhqgyb.cn/page36.html">1969 ford mustang gt 500</a> 1969 ford mustang gt 500,<a href="http://www.jshhqgyb.cn/page48.html">job target performance based teacher evaluation</a> job target performance based teacher evaluation,<a href="http://www.jshhqgyb.cn/page3.html">1971 mercedes benz 280 se parts</a> 1971 mercedes benz 280 se parts,<a href="http://www.jshhqgyb.cn/page33.html">fist my own vagina</a> fist my own vagina,<a href="http://www.jshhqgyb.cn/page40.html">12b id idt3331 software tech</a> 12b id idt3331 software tech,<a href="http://www.jshhqgyb.cn/page8.html">franklin mobile homes</a> franklin mobile homes,<a href="http://www.jshhqgyb.cn/page42.html">background music codes for xanga</a> background music codes for xanga,<a href="http://www.jshhqgyb.cn/page39.html">cute teen lesbians</a> cute teen lesbians,<a href="http://www.jshhqgyb.cn/page42.html">cool xanga codes</a> cool xanga codes,<a href="http://www.jshhqgyb.cn/page46.html">blue phone tooth verizon</a> blue phone tooth verizon,

false religionfalse religion2007/07/26 06:49<a href="http://www.sithtbrv.cn/page56.html">1987 toyota celica gt pictures</a> 1987 toyota celica gt pictures,<a href="http://www.sithtbrv.cn/page75.html">free crochet pattern for adult poncho</a> free crochet pattern for adult poncho,<a href="http://www.sithtbrv.cn/page90.html">ebony booty shaking</a> ebony booty shaking,<a href="http://www.sithtbrv.cn/page94.html">infectious disease index</a> infectious disease index,<a href="http://www.sithtbrv.cn/page93.html">discount lowes gift card</a> discount lowes gift card,<a href="http://www.sithtbrv.cn/page77.html">ink cartridges dell 922 printer</a> ink cartridges dell 922 printer,<a href="http://www.sithtbrv.cn/page80.html">geography themes</a> geography themes,<a href="http://www.sithtbrv.cn/page79.html">dicks sports shop</a> dicks sports shop,<a href="http://www.sithtbrv.cn/page62.html">domain transfer internet domain name</a> domain transfer internet domain name,<a href="http://www.sithtbrv.cn/page86.html">free telus ringtones</a> free telus ringtones,

free gay ebony pornfree gay ebony porn2007/07/26 07:10<a href="http://www.tbztpvvy.cn/page53.html">ducati monster 620 dark</a> ducati monster 620 dark,<a href="http://www.tbztpvvy.cn/page53.html">big red monster</a> big red monster,<a href="http://www.tbztpvvy.cn/page97.html">emo hairstyle pics</a> emo hairstyle pics,<a href="http://www.tbztpvvy.cn/page90.html">blowjobs by mature women</a> blowjobs by mature women,<a href="http://www.tbztpvvy.cn/page53.html">bio of jesse james from monster garage</a> bio of jesse james from monster garage,<a href="http://www.tbztpvvy.cn/page63.html">fergie porn</a> fergie porn,<a href="http://www.tbztpvvy.cn/page96.html">bicolano dictionary</a> bicolano dictionary,<a href="http://www.tbztpvvy.cn/page95.html">football season is over</a> football season is over,<a href="http://www.tbztpvvy.cn/page78.html">anime karate girls</a> anime karate girls,<a href="http://www.tbztpvvy.cn/page76.html">dirty latina maids daisy</a> dirty latina maids daisy,

ass fucked teenass fucked teen2007/07/26 08:08<a href="http://www.cjrhjjwk.cn/page56.html">birthday card printable spongebob</a> birthday card printable spongebob,<a href="http://www.cjrhjjwk.cn/page52.html">craigslist recaro seats</a> craigslist recaro seats,<a href="http://www.cjrhjjwk.cn/page85.html">e 55 mercedes benz</a> e 55 mercedes benz,<a href="http://www.cjrhjjwk.cn/page70.html">job category is construction laborers jobs in lincoln ne</a> job category is construction laborers jobs in lincoln ne,<a href="http://www.cjrhjjwk.cn/page70.html">category management process</a> category management process,<a href="http://www.cjrhjjwk.cn/page93.html">humming bird tattoos</a> humming bird tattoos,<a href="http://www.cjrhjjwk.cn/page95.html">filmes porno</a> filmes porno,<a href="http://www.cjrhjjwk.cn/page72.html">good ass</a> good ass,<a href="http://www.cjrhjjwk.cn/page86.html">agricultural equipment tires repair asheville</a> agricultural equipment tires repair asheville,<a href="http://www.cjrhjjwk.cn/page62.html">hips and thong</a> hips and thong,

beyonce booty shakebeyonce booty shake2007/07/26 10:06<a href="http://www.uwqnlyuu.cn/page4.html">free xxx bestiality photo galleries</a> free xxx bestiality photo galleries,<a href="http://www.uwqnlyuu.cn/page35.html">expedia coupon code</a> expedia coupon code,<a href="http://www.uwqnlyuu.cn/page3.html">bratz holiday doll</a> bratz holiday doll,<a href="http://www.uwqnlyuu.cn/page14.html">8 street latins giving blowjobs</a> 8 street latins giving blowjobs,<a href="http://www.uwqnlyuu.cn/page1.html">free hip hop dance videos online</a> free hip hop dance videos online,<a href="http://www.uwqnlyuu.cn/page9.html">amazon credit card</a> amazon credit card,<a href="http://www.uwqnlyuu.cn/index.html">baby wipe recipes</a> baby wipe recipes,<a href="http://www.uwqnlyuu.cn/page16.html">info http www searchdetective ne</a> info http www searchdetective ne,<a href="http://www.uwqnlyuu.cn/page33.html">benz mercedes part spare</a> benz mercedes part spare,<a href="http://www.uwqnlyuu.cn/page33.html">high performance mercedes parts</a> high performance mercedes parts,

inserting contactsinserting contacts2007/07/26 10:10<a href="http://www.uwqnlyuu.cn/page98.html">english to japanese phrasal verb dictionary</a> english to japanese phrasal verb dictionary,<a href="http://www.uwqnlyuu.cn/page94.html">fight music eminem</a> fight music eminem,<a href="http://www.uwqnlyuu.cn/page52.html">craigslist livermore ca</a> craigslist livermore ca,<a href="http://www.uwqnlyuu.cn/page73.html">japanese pokemon cards</a> japanese pokemon cards,<a href="http://www.uwqnlyuu.cn/page56.html">highest mileage on a car</a> highest mileage on a car,<a href="http://www.uwqnlyuu.cn/page50.html">alexander graham bell action figure</a> alexander graham bell action figure,<a href="http://www.uwqnlyuu.cn/page61.html">fre porn star pics jesse james</a> fre porn star pics jesse james,<a href="http://www.uwqnlyuu.cn/page85.html">kasey kahne nascar paper models</a> kasey kahne nascar paper models,<a href="http://www.uwqnlyuu.cn/page70.html">info http entertainment msn com</a> info http entertainment msn com,<a href="http://www.uwqnlyuu.cn/page98.html">dictionary software language translation</a> dictionary software language translation,

intervention tv showintervention tv show2007/07/26 17:19<a href="http://www.phfznnre.cn/page90.html">best night vision contacts for astigmatism</a> best night vision contacts for astigmatism,<a href="http://www.phfznnre.cn/page72.html">jennifer aniston thong</a> jennifer aniston thong,<a href="http://www.phfznnre.cn/page92.html">download pokemon sapphire rom</a> download pokemon sapphire rom,<a href="http://www.phfznnre.cn/page72.html">female thong pics</a> female thong pics,<a href="http://www.phfznnre.cn/page82.html">airforce 1 nike</a> airforce 1 nike,<a href="http://www.phfznnre.cn/page96.html">fat latina fuck</a> fat latina fuck,<a href="http://www.phfznnre.cn/page81.html">dogs bark</a> dogs bark,<a href="http://www.phfznnre.cn/page59.html">dvd recorder and digital video recorder</a> dvd recorder and digital video recorder,<a href="http://www.phfznnre.cn/page85.html">galeria sexo</a> galeria sexo,<a href="http://www.phfznnre.cn/page69.html">grim reaper angel</a> grim reaper angel,

foxie spywarefoxie spyware2007/07/26 18:01<a href="http://www.jphybrci.cn/page71.html">japanese subway upskirt</a> japanese subway upskirt,<a href="http://www.jphybrci.cn/page93.html">clip download free snuffx video</a> clip download free snuffx video,<a href="http://www.jphybrci.cn/page65.html">demon and angel anime girl tattoos</a> demon and angel anime girl tattoos,<a href="http://www.jphybrci.cn/page64.html">airsoft guns and reviews</a> airsoft guns and reviews,<a href="http://www.jphybrci.cn/page63.html">beyonce by check it song up</a> beyonce by check it song up,<a href="http://www.jphybrci.cn/page86.html">ciara janson pics</a> ciara janson pics,<a href="http://www.jphybrci.cn/page86.html">ciara missy</a> ciara missy,<a href="http://www.jphybrci.cn/page85.html">hot body</a> hot body,<a href="http://www.jphybrci.cn/page96.html">employment sioux lookout lodges</a> employment sioux lookout lodges,<a href="http://www.jphybrci.cn/page64.html">guns and roses logo</a> guns and roses logo,

angel reading freeangel reading free2007/07/26 18:30<a href="http://www.oeizfpsk.cn/page12.html">fox sports music</a> fox sports music,<a href="http://www.oeizfpsk.cn/page33.html">discount automobile tires and online</a> discount automobile tires and online,<a href="http://www.oeizfpsk.cn/page14.html">asian massage in ga</a> asian massage in ga,<a href="http://www.oeizfpsk.cn/page33.html">cheap air flights budget flights online stella maris</a> cheap air flights budget flights online stella maris,<a href="http://www.oeizfpsk.cn/page37.html">japan death match</a> japan death match,<a href="http://www.oeizfpsk.cn/page11.html">battery warehouse</a> battery warehouse,<a href="http://www.oeizfpsk.cn/page40.html">beer buddy icons for aim</a> beer buddy icons for aim,<a href="http://www.oeizfpsk.cn/page1.html">hot pink swimsuit</a> hot pink swimsuit,<a href="http://www.oeizfpsk.cn/page44.html">high standard guns</a> high standard guns,<a href="http://www.oeizfpsk.cn/page38.html">berkshire direct mail marketing services</a> berkshire direct mail marketing services,

auto tire ratingsauto tire ratings2007/07/28 09:18<a href="http://www.zkxomkdl.cn/page84.html">small business server 4 5 business hosting web</a> small business server 4 5 business hosting web,<a href="http://www.zkxomkdl.cn/page50.html">buddy4u layouts</a> buddy4u layouts,<a href="http://www.zkxomkdl.cn/page50.html">html codes for layouts</a> html codes for layouts,<a href="http://www.zkxomkdl.cn/page61.html">5 aol instant messenger verizon</a> 5 aol instant messenger verizon,<a href="http://www.zkxomkdl.cn/page84.html">web.de</a> web.de,<a href="http://www.zkxomkdl.cn/page83.html">elvis the pelvis</a> elvis the pelvis,<a href="http://www.zkxomkdl.cn/page54.html">abortion signs</a> abortion signs,<a href="http://www.zkxomkdl.cn/page89.html">beer and shots .com</a> beer and shots .com,<a href="http://www.zkxomkdl.cn/page92.html">can i see if someone has accessed my computer</a> can i see if someone has accessed my computer,<a href="http://www.zkxomkdl.cn/page50.html">free brochure layouts</a> free brochure layouts,

bluemoonyearsbluemoonyears2007/08/01 11:09<a href="httpwwwjpybwqikcnpage28html">paintingwithphotoshoptutorials</a> paintingwithphotoshoptutorials,<a href="httpwwwjpybwqikcnpage25html">cruisenyseaport</a> cruisenyseaport,<a href="httpwwwjpybwqikcnpage16html">cheaphotelsphilippolis</a> cheaphotelsphilippolis,<a href="httpwwwjpybwqikcnpage3html">shorebankadvisoryservices</a> shorebankadvisoryservices,<a href="httpwwwjpybwqikcnpage9html">starchildquestionnaire</a> starchildquestionnaire,<a href="httpwwwjpybwqikcnpage16html">hoteldiscountsfloridakeys</a> hoteldiscountsfloridakeys,<a href="httpwwwjpybwqikcnpage24html">prenudistsnaturists</a> prenudistsnaturists,<a href="httpwwwjpybwqikcnpage17html">sharedservicesdefinition</a> sharedservicesdefinition,<a href="httpwwwjpybwqikcnpage20html">bestfriendsby50cent</a> bestfriendsby50cent,<a href="httpwwwjpybwqikcnpage18html">scallopchowderrecipe</a> scallopchowderrecipe,

geologicalmapofqatargeologicalmapofqatar2007/08/01 16:43<a href="httpwwwoyrdnfwpcnpage74html">neonevangeliongames</a> neonevangeliongames,<a href="httpwwwoyrdnfwpcnpage73html">adressbainbridgega</a> adressbainbridgega,<a href="httpwwwoyrdnfwpcnpage54html">bmxganes</a> bmxganes,<a href="httpwwwoyrdnfwpcnpage53html">iconsandavatarsformyspace</a> iconsandavatarsformyspace,<a href="httpwwwoyrdnfwpcnpage54html">bmxorg</a> bmxorg,<a href="httpwwwoyrdnfwpcnpage76html">freeknittingpatternsforflowers</a> freeknittingpatternsforflowers,<a href="httpwwwoyrdnfwpcnpage69html">haveasaladwaynerooney</a> haveasaladwaynerooney,<a href="httpwwwoyrdnfwpcnpage76html">buyingedibleflowers</a> buyingedibleflowers,<a href="httpwwwoyrdnfwpcnpage55html">hatterasshowboatknitwhit</a> hatterasshowboatknitwhit,<a href="httpwwwoyrdnfwpcnpage59html">linux-dev-c</a> linux-dev-c,