ラムダ計算 - Wikipedia
ã“ã®è¨˜äº‹ã«ã¯å‚考文献や外部リンクã®ä¸€è¦§ãŒå«ã¾ã‚Œã¦ã„ã¾ã™ãŒã€è„šæ³¨ã«ã‚ˆã‚‹å‚ç…§ãŒä¸å分ã§ã‚ã‚‹ãŸã‚ã€æƒ…å ±æºãŒä¾ç„¶ä¸æ˜Žç¢ºã§ã™ã€‚ é©åˆ‡ãªä½ç½®ã«è„šæ³¨ã‚’è¿½åŠ ã—ã¦ã€è¨˜äº‹ã®ä¿¡é ¼æ€§å‘上ã«ã”å”力ãã ã•ã„。（2020å¹´5月） ラムダ計算（ラムダã‘ã„ã•ã‚“ã€è‹±èªž: lambda calculus）ã¯ã€è¨ˆç®—模型ã®ã²ã¨ã¤ã§ã€è¨ˆç®—ã®å®Ÿè¡Œã‚’関数ã¸ã®å¼•æ•°ã®è©•ä¾¡ï¼ˆè‹±èªž: evaluation）ã¨é©ç”¨ï¼ˆè‹±èªž: application）ã¨ã—ã¦ãƒ¢ãƒ‡ãƒ«åŒ–・抽象化ã—ãŸè¨ˆç®—体系ã§ã‚る。ラムダ算法ã¨ã‚‚言ã†ã€‚関数を表ç¾ã™ã‚‹å¼ã«æ–‡å—ラムダ (λ) を使ã†ã¨ã„ã†æ…£ç¿’ã‹ã‚‰ãã®åãŒã‚る。アãƒãƒ³ã‚¾ãƒ»ãƒãƒ£ãƒ¼ãƒã¨ã‚¹ãƒ†ã‚£ãƒ¼ãƒ´ãƒ³ãƒ»ã‚³ãƒ¼ãƒ«ãƒ»ã‚¯ãƒªãƒ¼ãƒã«ã‚ˆã£ã¦1930年代ã«è€ƒæ¡ˆã•ã‚ŒãŸã€‚1936å¹´ã«ãƒãƒ£ãƒ¼ãƒã¯ãƒ©ãƒ ダ計算を用ã„ã¦ä¸€éšŽè¿°èªžè«–ç†ã®æ±ºå®šå¯èƒ½æ€§å•é¡Œã‚’（å¦å®šçš„ã«ï¼‰è§£ã„ãŸã€‚ラムダ計算ã¯ã€Œè¨ˆç®—å¯èƒ½ãªé–¢æ•°ã€ã¨ã¯ãªã«ã‹ã‚’定義ã™ã‚‹ãŸã‚ã«ç”¨ã„られるã“ã¨ã‚‚ã‚る。計算ã®æ„味論や型ç†è«–
Y combinator « Python recipes « ActiveState Code
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 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 ''' Implementation of the fixed point combinator Y. ----------------------------------------------- The Y combinator is a higher order function that suffices following relation: Y(F) = F(Y(F)) From the fixed point property we can get an idea on
「Javaã«ä¸¦åˆ—処ç†ã¨é–¢æ•°åž‹è¨€èªžã®è¦ç´ ã‚’ã€ã€ãƒ†ã‚£ãƒ ãƒ»ãƒ–ãƒ¬ã‚¤æ° â€• ï¼ IT
ã“ã‚Œã¾ã§CPUã¯ãƒ ーアã®æ³•å‰‡ã«å¾“ã£ã¦é«˜é€ŸåŒ–ã—ã¦ããŸãŒã€ä»Šå¾Œã€CPUã¯é«˜é€ŸåŒ–よりも並列化ãŒé€²ã‚€ã€‚「ã“ã‚Œã¾ã§ã¯å‹•ä½œã®é…ã„プãƒã‚°ãƒ©ãƒ ã§ã‚‚ã€æ¥å¹´ã«ã¯é«˜é€Ÿã«å‹•ãã¨ã„ã†ã®ãŒå¸¸è˜ã§ã—ãŸã€‚ã—ã‹ã—ã€ã“ã‚Œã¯ã‚‚ã¯ã‚„ç¾åœ¨ã®çŠ¶æ³ã«ã¯å½“ã¦ã¯ã¾ã‚Šã¾ã›ã‚“ã€ã€‚サン・マイクãƒã‚·ã‚¹ãƒ†ãƒ ズã§Webテクノãƒã‚¸ãƒ¼é–¢é€£ã®ãƒ‡ã‚£ãƒ¬ã‚¯ã‚¿ãƒ¼ã‚’å‹™ã‚るティム・ブレイ（Tim Bray）æ°ã¯ã€è¿‘ã„å°†æ¥ã«ãƒ—ãƒã‚°ãƒ©ãƒžãŒç›´é¢ã™ã‚‹å•é¡Œã¯ã€CPUã®ã‚³ã‚¢æ•°ãŒå¢—ãˆã¦ãƒãƒ¼ãƒ‰ã‚¦ã‚§ã‚¢ã®ä¸¦åˆ—化ãŒé€²ã‚€ã®ã«å¯¾ã—ã¦ã€ç¾åœ¨ä½¿ã‚ã‚Œã¦ã„る言語ã®å¤šãã§ä¸¦åˆ—プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®ã‚µãƒãƒ¼ãƒˆãŒå分ã§ãªã„ã“ã¨ã ã¨ã„ã†ã€‚ 「UltraSparc T1ã§ã¯8コア32スレッドã®ä¸¦åˆ—処ç†ãŒå¯èƒ½ã§ã™ã€‚IBMã‚„AMDã€ã‚¤ãƒ³ãƒ†ãƒ«ã‚‚CPUã®ã‚³ã‚¢ã®æ•°ã‚’増やã—ã¤ã¤ã‚ã‚Šã¾ã™ã€‚JavaEEを使ãˆã°ã‚¹ãƒ¬ãƒƒãƒ‰ã‚µãƒãƒ¼ãƒˆã«ã‚ˆã‚‹ä¸¦åˆ—化ã®æ©æµã«ã‚ãšã‹ã‚Œã¾ã™ãŒã€ãã†ã§ãªã„言語も多ãã‚ã‚Šã¾ã™ã€ã€‚ ブレイæ°ã¯ã€ã“ã†ã—ãŸå•é¡Œã«å¯¾ã—ã¦2ã¤ã®æ–¹
ã¯ã¦ãªãƒ–ãƒã‚° | 無料ブãƒã‚°ã‚’作æˆã—よã†
ベルギーã«è¡Œã£ãŸ 先日ã€ãƒ™ãƒ«ã‚®ãƒ¼ã«è¡Œãã¾ã—ãŸã€‚ マグリットã®çµµã¨ãƒ«ãƒ¼ãƒ™ãƒ³ã‚¹ã®çµµã‚’見るã®ãŒç›®çš„。 ã‚ã¾ã‚Šæ™‚é–“ã‚‚ãªãã€ãƒ–リュッセルã¨ã‚¢ãƒ³ãƒˆãƒ¯ãƒ¼ãƒ—を駆ã‘足気味ã§å·¡ã‚‹ã“ã¨ã«ã€‚ ミュンヘンã‹ã‚‰è»Šã§10時間近ãã‹ã‹ã‚Šã€ãªã‚“ã§ã“ã‚“ãªç„¡èŒ¶ã‚’ã—ã¦ã—ã¾ã£ãŸã®ã‹ã¨ã‚‚æ€ã„ã¾ã—ãŸãŒã€ãƒ¨ãƒ¼ãƒãƒƒãƒ‘ã®æ–¹â€¦
オブジェクト指å‘ã¨é–¢æ•°åž‹ã¨ç§ - lethevert is a programmer
[id:m-hiyama:20060615]ã‹ã‚‰TBãŒãã¦ã€æ”¹ã‚ã¦è€ƒãˆã‚’ã¾ã¨ã‚る。（å‰ã®è¨˜äº‹ã¯ã€ã‚ªãƒ–ジェクト指å‘ã®è©±ã˜ã‚ƒãªãã£ã¦ã‚ャリアã®è©±ã ã£ãŸã®ã§ï¼‰*1 - ã¨ã„ã£ã¦ã‚‚ã€æ£ç›´ã«è¨€ã£ã¦ã€ç§ãŒã¡ã‚ƒã‚“ã¨ç†è§£ã—ã¦ã„ã‚‹ã¨è¨€ãˆã‚‹ã‚ªãƒ–ジェクト指å‘言語ã¯ã€Javaãらã„ã—ã‹ãªã„ã®ã§ã€çµå±€ã¯Javaã®è©±ãªã®ã§ã™ãŒã€‚ 最近ã€è„³å†…ã§ã€Javaã¨Schemeã®å·®ãŒã©ã‚“ã©ã‚“ãªããªã£ã¦ã„ãã®ã‚’æ„Ÿã˜ã‚‹ã®ã§ã™ã€‚ã¯ã£ãり言ã£ã¦ã€ã€ŽJavaã®ã‚ªãƒ–ジェクト ï¼ Schemeã®ã‚¯ãƒãƒ¼ã‚¸ãƒ£ã€ã¨ã—ã‹æ€ãˆãªã„ã§ã™ã€‚ å‰ã«ã€ã“ã®ãƒ–ãƒã‚°å†…ã§ã€Smalltalkã®ã‚ªãƒ–ジェクトã¨Schemeã®ã‚¯ãƒãƒ¼ã‚¸ãƒ£ã¯éžå¸¸ã«è¿‘ã„関係ã ã¨ã„ã†è©±ãŒã‚ã‚Šã¾ã—ãŸãŒï¼ˆsee: [id:lethevert:20060117:p1], [id:lethevert:20060118:p2]）ã€ãã“ã§è¨€ã‚ã‚Œã¦ã„ãŸã“ã¨ã‚’Javaã§å®Ÿæ„Ÿã™ã‚‹ã‚ˆã†ã«ãªã£ã¦ããŸã¨ã„ã†ã“ã¨ãªã®ã§ã—
関数型言語 C++ - 兼雑記
C++ 㯠JS ã»ã©ã˜ã‚ƒãªã„ã«ã›ã‚ˆã€èª¤è§£ã•ã‚Œã¦ããŸè¨€èªžã ã¨æ€ã„ã¾ã™ã€‚ã„ã‚„ã€è¤‡é›‘ã ã¨ã‹ã„ã†ã®ã¯èª¤è§£ã§ã¯ãªãç´›ã†ã“ã¨ãªã真実ãªã®ã§ã™ãŒã€ãã®è¤‡é›‘ã•ãŒãŸã パラノイアã‹ã‚‰æ¥ãŸè¤‡é›‘ãªã ã‘ã®ã‚‚ã®ã§ã¯ãªãã€ä¸€å¿œã®æœ‰ç”¨æ€§ã‚’ä¼´ã†ã‚‚ã®ã …ã£ã¦ã„ã‚„ãã‚Œã¯ã‚ã‹ã£ã¦ãã†ãªæ°—ã¯ã™ã‚‹ã®ã§ã€èª¤è§£ã¨ã„ã†ã»ã©ã®ã“ã¨ã§ã‚‚ãªã„ã‚ã‘ã§ã™ãŒã€æ˜¨ä»Šã«æ¯”ã¹ã¦ã€ãªã‚“ã‹æœ‰ç”¨ãã†ãªã‚‚ã®ã§ã‚ã‚‹ã€ã¨ã„ã†èªè˜ã¯ä½Žã‚ã ã£ãŸã‚ˆã†ã«æ€ã„ã¾ã™ã€‚ ãŸã 今度ã¯ã€ãªã‚“ã‹é–¢æ•°åž‹ãªé›°å›²æ°—らã—ーãœã€ã¨ã„ã†ã ã‘ã®å˜èªžãŒä¸€äººæ©ã気味ãªæ°—ãŒã—ã¾ã™ã€‚ãªã‚“ã‹ã‚ã‹ã‚‰ã‚“ã‘ã© C++ ã™ã’ーã€ã¿ãŸã„ãªã€ä¸€æ˜”å‰ã® Haskell ãŒå¾—ã¦ã„ãŸã‚ˆã†ãªã‚¤ãƒ¤ãªåœ°ä½ã‚’ゲットã—ã¦ã„るよã†ãªæ°—ãŒã—ã¦ã€ãã‚Œã¯ãã‚Œã§åˆ¥ã®ç¨®é¡žã®ã€ã‚る種ã®èª¤è§£ã§ã‚るよã†ã«æ€ã£ãŸã®ã§ã—ãŸã€‚ ã¨ã„ã†ã‚ã‘ã§ãƒžãƒ«ãƒãƒ‘ラダイム言語 C++ ã«ã¤ã„ã¦ã€é–¢æ•°åž‹è¨€èªžã¨ã—ã¦ã®æ©Ÿèƒ½ã«ã¤ã„ã¦åƒ•ã®è¦‹æ–¹ã‚’。 ã¾ãšçµ¶å¯¾ã«æ„è˜ã—ã¦æ¬²ã—ã„部分ãªã®ã§ã™ãŒ
J　- 関数型言語ã¯C言語よりも高速
23 ã‚„ã¹ãƒ¼ã‚„る気出ãー。 一週間ãらã„放置ã—ã¦ãŸã‚‰ã‚„る気出るã‹ã¨æ€ã£ã¦ãŸã‚“ã ã‘ã©ã€å…¨ç„¶ä½•ã‚‚ã—ã¦ãªã„ã®ã ã£ãŸã€‚ ã¨ã„ã†ã‚ã‘ã§ã€ãƒªãƒãƒ“リãŒã¦ã‚‰ãªã‚“ã‹æ›¸ã“ã†ã€‚関数型言語ãŒC言語よりも高速ã ã¨ã„ã†è©±ã€‚ http://d.hatena.ne.jp/w_o/20050924#p2 ã“ã“らã¸ã‚“ã®è©±ã®é–¢é€£ã€‚C言語ã§ã¯ã€æ“作ãŒã€ã€Œãƒ¡ãƒ¢ãƒªã‚’変更ã™ã‚‹ã€ã¨ã„ã†å…·ä½“çš„ãªã‚‚ã®ã«ãªã£ã¦ã—ã¾ã†ã®ã§ã€æœ€é©åŒ–ãŒé›£ã—ã„ã¨ã„ã†è©±ã€‚ 次ã®ã‚³ãƒ¼ãƒ‰ã‚’考ãˆã‚ˆã†ã€‚ struct stack { char *buf; int pos; }; void push( struct stack *stk, char v ) { stk->buf[stk->pos] = v; ++stk->pos; } void pop( struct stack *stk ) { --stk->pos; }; void nop( struct stack *s
ã¯ã¦ãªãƒ–ãƒã‚° | 無料ブãƒã‚°ã‚’作æˆã—よã†
賃貸暮らã—ã®ã‚ãŒå®¶ã®åœ°éœ‡å¯¾ç–ã€æºã‚Œã‹ã‚‰å‘½ã‚’守る編】 以å‰ã®ãƒ–ãƒã‚°ã§ã‚‚記載ã—ãŸã€é˜²ç½ã®å„ªå…ˆé †ä½ã«åŸºã¥ã„ã¦å¯¾ç–を進ã‚ã¦ã„ã¾ã™ã€‚ã¾ã 手をã¤ã‘られã¦ã„ãªã„部分もã‚ã‚Šã¾ã™ãŒã€ã‚る程度ã¾ã¨ã¾ã£ã¦ããŸã®ã§ã–ã£ãã‚Šã¨ã”紹介ã—ã¦ã„ãã¾ã™ã€‚ å„ªå…ˆé †ä½åˆ¥ã«æ”¹å–„ã—ã¦ã„ã£ã¦ã„ã‚‹ãŸã‚ã€ä»Šå›žã¯ä¸»ã«åœ°éœ‡ã®æºã‚Œå¯¾ç–ãŒãƒ¡ã‚¤ãƒ³ã«ãªã‚Šã¾ã™ã€‚…
[javascript] Javascriptã§Map by Method
[ruby] Rubyã§Map by Methodã‚’Javascriptã«ç§»æ¤ã—ã¦ã¿ãŸã€‚ SpiderMonkeyé™å®šã«ãªã‚‹ã®ãŒã¨ã¦ã‚‚イタイã®ã§ã™ãŒã€IEã§ã‚‚åŒã˜ã‚ˆã†ãªæ–¹æ³•ãŒè©¦ã›ãªã„ã‹ã‚ã¨ã§è€ƒãˆã‚‹ã€‚(定義ã•ã‚Œã¦ã„ãªã„メソッドを呼ã³å‡ºã—ãŸéš›ã«å‘¼ã³å‡ºã™ãƒ•ãƒƒã‚¯ãƒ¡ã‚½ãƒƒãƒ‰ã‚’定義ã™ã‚‹ã“ã®æ–¹æ³•ã¯ä½•ã¦åå‰ãŒã¤ã„ã¦ã‚‹ã‚“ã ã‚ã†ï¼Ÿèª°ã‹æ•™ãˆã¦ãã ã•ã„。) String.prototype.singularize = function() { // 手抜ã実装 return this.replace(/s$/, ''); } Array.prototype.map = function(lambda) { var ret = []; for(var i=0,l=this.length;i<l;i++) ret[i] = lambda(this[i]); return ret; } Array.prototype.c
[ruby] Rubyã§Map by Method
2å¹´å‰PHPã§ã‚¬ãƒªã‚¬ãƒªã¨ä½œã£ã¦å·¥å¤«ã‚’ã“らã—考ãˆã¦ã„ãŸã¨ãã«ã¯ã€è©¦è¡ŒéŒ¯èª¤ã‚’ç¹°ã‚Šè¿”ã—ã¦ã„ãŸãŒã€Railsを使ã„出ã—ã¦ã‹ã‚‰ã¤ã„ã¤ã„Rails内ã®æ©Ÿèƒ½ã§æº€è¶³ã—ã¦ã—ã¾ã†ã€‚ よã»ã©æ°—ã‚’ã¤ã‘ã¦ã„ãªã„ã¨ã€ãã“ã«ã¯æ”¹å–„ã™ã¹ãé¢ç™½ã„機能ãŒãŸãã•ã‚“ã‚ã‚‹ã®ã«ãれを見逃ã—ã¦ã—ã¾ã†ã€‚多少é¢å€’ã§ã‚‚Ruby&Railsã®å分ãªæ©æµã«ã‚ãšã‹ã£ã¦ã„ã¦ã€ãã‚Œã§å分簡å˜ã ã¨æ€ã„込んã§ã—ã¾ã†ã€‚ 例ãˆã°Symbol#to_procを使用ã—ãŸæ¬¡ã®ã‚ˆã†ãªã‚³ãƒ¼ãƒ‰ã‚’よã書ã。 Person.find(:all).map(&:username) Person.find(:all).map {|obj| [obj.username, obj.age]} Symbol#to_procã¯ã€ã¨ã¦ã‚‚美ã—ã„ã便利ã§ã‚ˆã利用ã™ã‚‹åˆ†ã ã‘ã€ã“ã®ã‚³ãƒ¼ãƒ‡ã‚£ãƒ³ã‚°ãŒå†—é•·ã«æ€ãˆã¦ãる。 method_missingを利用ã—ã¦ãƒ¡ã‚½ãƒƒãƒ‰ã‚’mapメソッドã¨é–¢é€£ä»˜ã‘Dynami
æ•°ç†ç§‘å¦çš„ãƒã‚°æ’²æ»…方法論ã®ã™ã™ã‚ 第4回　関数型言語ã¨ã‚ªãƒ–ジェクト指å‘，ãŠã‚ˆã³OCamlã®"O"ã«ã¤ã„ã¦
関数型言語ã¨ã‚ªãƒ–ジェクト指å‘ã¯ç›¸å®¹ã‚Œãªã„，ã¨ã„ã†èª¬ã‚’よãèžã。ãŸã—ã‹ã«ã€Œã‚ªãƒ–ジェクトã¯çŠ¶æ…‹ã‚’æŒã¤ã€ã€Œé–¢æ•°åž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã§ã¯ï¼Œã§ãã‚‹ã ã‘ç ´å£Šçš„ä»£å…¥ã‚’è¡Œã‚ãªã„ã€ã¨ã™ã‚Œã°ï¼ŒäºŒã¤ã®æ¦‚念ã¯çŸ›ç›¾ã—ã¦ã„るよã†ã«ã‚‚æ€ã‚れる。ã¾ãŸï¼ŒæŠ€è¡“的観点以外ã«ã‚‚，「ã¨ã‹ãシンプルã•ã‚’好む多ãã®é–¢æ•°åž‹è¨€èªžãƒ—ãƒã‚°ãƒ©ãƒžãŒï¼Œä½•ã‹ã¨ç‰©äº‹ã‚’複雑ã«ã™ã‚‹ï¼ˆã¨æ€ã‚ã‚Œã¦ã„る）オブジェクト指å‘ã‚’å«Œã£ã¦ã„ã‚‹ã€ã¨ã„ã†é¢ãŒã‚ã‚‹ã‹ã‚‚ã—ã‚Œãªã„。 ã—ã‹ã—，個人ã®å¥½ãå«Œã„ã¯ã•ã¦ãŠã，実際å•é¡Œã¨ã—ã¦ï¼Œé–¢æ•°åž‹è¨€èªžã¨ã‚ªãƒ–ジェクト指å‘ã¯å¤§ã„ã«é–¢ä¿‚ãŒã‚る。むã—ã‚，基礎ç†è«–ã«ã¤ã„ã¦ã¯ï¼Œã»ã¨ã‚“ã©åŒã˜ã‚³ãƒŸãƒ¥ãƒ‹ãƒ†ã‚£ã®äººãŸã¡ãŒå–り組んã§ã„る，ã¨è¨€ã£ã¦ã‚‚ã„ã„。例ãˆã°ï¼Œä»¥ä¸‹ã®ã‚ˆã†ãªç ”究ãŒï¼Œ1980年代ã‹ã‚‰ç¾åœ¨ã«è‡³ã‚‹ã¾ã§è¡Œã‚ã‚Œã¦ã„る。 関数型言語ã®ãƒ¢ãƒ‡ãƒ«ã§ã‚るλ計算ã¨ã„ã†ä½“ç³»ã«ãŠã„ã¦ï¼Œã‚ªãƒ–ジェクトを表ç¾ã™ã‚‹ç ”究（å‚考リンクãªã©ï¼‰ λ計算ã«ãªã‚‰ã„，（プãƒãƒˆã‚¿ã‚¤ãƒ—ベースã®ï¼‰ã‚ªãƒ–ジェ
ホワット・ア・ワンダフル・ワールド ET 㧠Continuation Passing Style
ã¾ã，コンパイラã¨ã‹ä½œã£ã¦ã‚‹ã¨ CPS (継続渡ã—スタイル) ã£ã¦ã®ã¯éžå¸¸ã«é‡è¦ã«ãªã£ã¦ãã‚‹ã‚“ã§ã™ãŒï¼Œã‚ã‚“ã¾ã‚Šä¸–é–“çš„ã«ã¯ãƒ¡ã‚¸ãƒ£ãƒ¼ãªæ¦‚念ã˜ã‚ƒãªã„ã®ã‹ã‚‚． ã¨ã„ã†ã‚ã‘ã§ï¼Œçªç™ºçš„ã« ET 㧠CPS を説明ã—ã¦ã¿ã‚‹ï¼Žé¢å€’ãªã®ã§ï¼Œè©³ã—ã㯠(1) ãªã‚“ã§ã‚‚継続 (2) Scheme:CPS (3) æƒ…å ±ç§‘å¦å®Ÿé¨“II資料 (3) CPSã®å®šç¾© ãªã©ã‚’見ã¦ãã ã•ã„ (手抜ã)． # ã‚‚ã¨ã‚‚ã¨ãŸã¾ãŸã¾èªã‚“ã (2) ã«ï¼Œã€ŒCPSãã®ã‚‚ã®ã¯ã€ Perlã§ã‚‚Rubyã§ã‚‚Javaã§ã‚‚書ã‘ã¾ã™ã€‚ã€ã¨ã‚ã£ã¦ï¼Œã§ã‚‚ãã‚“ãªä½Žæ°´æº–ãªè¨€èªžã˜ã‚ƒé¢å€’ã ã‚ã†ã«ï¼ŒET ã¨ã‹ Prolog ãªã‚‰ã‚‚ã£ã¨æ¥½ãªã®ã«ãªã，ã¨æ€ã£ãŸã®ãŒãã£ã‹ã‘． ã¡ã‚‡ãƒ¼ç°¡å˜ãªä¾‹é¡Œã¨ã—ã¦ï¼Œãƒªã‚¹ãƒˆã®é•·ã•ã‚’求ã‚るルール length を使ãŠã†ï¼Ž (length () *n) --> (= *n 0). (length (? | *xs) *n) --> (len
JavaScriptã§ã‚«ãƒªãƒ¼åŒ– - 檜山æ£å¹¸ã®ã‚マイラ飼育記 (ã¯ã¦ãªBlog)
JavaScriptã§ã‚«ãƒªãƒ¼åŒ–。ã‚ã‚ŠãŒã¡ã€ã¤ã†ã‹å®Ÿéš›ã«ã‚ã‚‹ã§ã—ょã†ã。å°ãƒã‚¿ã¨æ€ã£ã¦ã‚„ã‚Šã¯ã˜ã‚ãŸã‚‰ã€æ„外ã¨æ··ä¹±ã—ãŸã€‚一種ã®ãƒ¡ã‚¿ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®ã¯ãšã ãŒã€å®Ÿéš›ã«ã¯ãƒ†ã‚ã‚¹ãƒˆåŠ å·¥å‡¦ç†ã€‚ 内容： カリー化ã£ã¦ãªã«ï¼Ÿ カリー化を行ã†é–¢æ•°ã‚’作る：準備 カリー化を行ã†é–¢æ•°ã‚’作る：テã‚ストã®ãƒ‘ッãƒãƒ¯ãƒ¼ã‚¯ カリー化を行ã†é–¢æ•°ã‚’作る：組ã¿ç«‹ã¦ â—カリー化ã£ã¦ãªã«ï¼Ÿ 2引数ã®é–¢æ•°f(x, y)ã«å¯¾ã—ã¦ã€ã€ŒgãŒfã®ã‚«ãƒªãƒ¼åŒ–ã€ã ã¨ã¯ã€f(x, y) = g(x)(y) ãŒå¸¸ã«æˆç«‹ã™ã‚‹ã“㨠-- ã‚´ãƒãƒ£ã‚´ãƒãƒ£èª¬æ˜Žã™ã‚‹ã‚ˆã‚Šå®Ÿä¾‹å®Ÿä¾‹ï¼š functio sum(x, y) { return x + y; } ã“ã®sumã®ã‚«ãƒªãƒ¼åŒ–ã®ä¾‹ï¼š function curried_sum(x) { return function (y) {return sum(x, y);} } curreid_sum関数ã¯1引数ã§ã€æˆ»ã‚Šå€¤ã¨ã—ã¦é–¢æ•°
関数的ã£ãƒã‚¤!? JavaScript: Days on the Moon
関数型プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã‚’触ã£ãŸã“ã¨ãŒãªã„ã®ã§ã“ã‚ŒãŒé–¢æ•°çš„ã‹ã©ã†ã‹ã¯çŸ¥ã‚‰ãªã„ãŒã€ã„ã¡ã„ã¡ function ã¨ã‹ return ã¨ã‹æ›¸ãã®ã¯é¢å€’ãã•ã„ã¨æ€ã£ãŸã®ã¨ã€Œé–¢æ•°ã®å¤‰å½¢ã€ã‚„ beyond.js ã€boost::bind ã«å½±éŸ¿ã‚’å—ã‘ã¦ã€é–¢æ•°ã®å¤‰å½¢ã‚’è¡Œã†ãƒ©ã‚¤ãƒ–ラリを作ã£ãŸã€‚ ã¾ãšã¯å¼•æ•°ã®æŸç¸›ã€åŠã³å…¥ã‚Œæ›¿ãˆã€‚「関数ã®å¤‰å½¢ã€åŠã³ boost::bind ã«ãªã‚‰ã£ã¦å¾Œã€…入力ã•ã‚Œã‚‹å¼•æ•°ã‚’ _n ã§ã‚らã‚ã™ã“ã¨ã«ã™ã‚‹ã€‚ function concat(a, b) { return "" + a + b; } concat.bind(_1, "a")("b"); // "ba" concat.bind("a", _1)("b"); // "ab" concat.bind(_2, _1)("a", "b"); // "ba" concat.bind(_1, _1)("a"); // "aa" 次ã«é–¢
2006-03-30
ãƒãƒƒãƒˆãŒè»½ã„。 Larry and Damianã®è©±ãŒè¡Œã‚ã‚Œã¦ã„ã¾ã™ã€‚今日もé…刻ã—ã¦ã€ç€ã„ãŸæ™‚ã«ã¯å¼¾ã•ã‚“ã®è³ªå•æ™‚é–“ã«ãªã£ã¦ã„ãŸã€‚残念。 関数型ã¨OOPã®è©±ã®ç¶šã。ã¡ã‚‡ã£ã¨è°è«–ã‚’ã—ã¦ã¿ãŸã®ã ã‘ã‚Œã©ã‚‚ã€ä¾‹ãˆã°ã“ã†ã„ã†ãƒ—ãƒã‚°ãƒ©ãƒ を考ãˆã¦ã¿ã‚ˆã†ã€‚ class Mover1{ int x; public Mover(int x){ this.x = x; } public void move(){ this.x++; } public int getX(){ return this.x; } } ã•ã¦ã€ã“ã®ã‚³ãƒ¼ãƒ‰ã‚’二ã¤ã®æ–¹é‡ã§æ›¸ãç›´ã—ã¦ã¿ã‚‹ã€‚ class Mover2{ int x; public Mover(int x){ this.x = x; } public Mover2 move(){ this.x++; return this; } public int getX(){ return t
ãŠã³ãªãŸã®ã¯ã¦ãªæ—¥è¨˜ - C++テンプレートã¯è¨ˆç®—完備
KEMURIã‚’ãƒãƒ¥ãƒ¼ãƒªãƒ³ã‚°å®Œå…¨ã«ã™ã‚‹ãŸã‚ã«ã¯ã©ã†ã—ãŸã‚‰ã„ã„ã‹ã€ã‚ã‚‹ã„ã¯ã©ã†ã™ã‚Œã°ãƒãƒ¥ãƒ¼ãƒªãƒ³ã‚°å®Œå…¨æ€§ã‚’判定ã§ãã‚‹ã®ã‹ã€ãƒ’ントを探ã—ã¦ã„ãŸã‚‰ã€ŒC++テンプレートã¯ãƒãƒ¥ãƒ¼ãƒªãƒ³ã‚°å®Œå…¨ã よーã€ã¨ã„ã†è«–æ–‡ã«ãŸã©ã‚Šç€ã„ãŸã€‚ C++ Templates are Turing Complete（PDF） Boost::MPL ã¿ãŸã„ãªã‚‚ã®ãŒå®Ÿç¾ã§ãã‚‹ã‚ãŸã‚Šã€ãã®å¯èƒ½æ€§ã¯æ„Ÿã˜ã¦ã„ãŸã‘ã©ã‚„ã£ã±ã‚Šã‹ï¼ï¼ä½†ã—ã€ãƒãƒ¥ãƒ¼ãƒªãƒ³ã‚°å®Œå…¨ã ã¨ã€ã„ã‚ゆる「ãƒãƒ¥ãƒ¼ãƒªãƒ³ã‚°æ©Ÿæ¢°ã®åœæ¢åˆ¤å®šå•é¡Œã€ãŒã‚ã‚‹ã‚ã‘ã§ã€C++ã¯ãã®å•é¡Œã‚’é¿ã‘ã‚‹ãŸã‚ã«ã€è¨€èªžä»•æ§˜ã§ã¯æœ€ä½Ž17回ã®å†å¸°ã¾ã§ã—ã‹ä¿è¨¼ã—ãªã„ã“ã¨ã«ã—ã¦ã„る。ãªã®ã§ã€åŽ³å¯†ã«ã¯ãƒãƒ¥ãƒ¼ãƒªãƒ³ã‚°å®Œå…¨ã§ã¯ãªã„ã¨ã“ã‚ã€ã“れを無制é™ã¨ä»®å®šã—ã¦ã„ã‚‹ã®ãŒãƒŸã‚½ã€‚ãã—ã¦ã€ãƒ†ãƒ³ãƒ—レートãŒãƒãƒ¥ãƒ¼ãƒªãƒ³ã‚°å®Œå…¨ãªã‚‰ã°ã€ï¼ˆãƒ†ãƒ³ãƒ—レートを使ã£ãŸï¼‰C++プãƒã‚°ãƒ©ãƒ ã¯ã‚³ãƒ³ãƒ‘イルã§ãã‚‹ã‹ã©ã†ã‹åˆ¤å®šã™ã‚‹äº‹ãŒä¸€èˆ¬çš„ã«ã§ããªããªã‚‹*1。 昨年
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
Functional selection sort « Python recipes « ActiveState Code
joyfullife.jp
http://d.hatena.ne.jp/aiue3/20070210
Steffen Müller / Sub-PatternMatching-1.04 - search.cpan.org
{{#tags}}- {{label}}
{{/tags}}