A λ-calculus interpreter by Tadeu Zagallo
Note: this is a big refactor of a previous post. I was planning on making this into a series, when I realised that first I had to make some improvements to this initial post to have a better structure. Well, this is the result, and I hope you enjoy. Alternatively, the original version can be found here. I had heard about lambda calculus, but it wasn’t until recently, when I started reading Types a
ラムダ計算基礎文法最速マスター - 貳佰ä¼æ‹¾é™¸å¤œæ—¥è¨˜
ラムダ計算ã¯, 多ãã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªž, ã¨ãã«é–¢æ•°åž‹è¨€èªžã®åŽŸå½¢ã«ãªã£ã¦ã„ã¾ã™. ラムダ計算ã«ã¤ã„ã¦ç†è§£ã—ã¦ãŠãã“ã¨ã¯, 多ãã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã®ç¿’å¾—ã«å½¹ç«‹ã¤ã§ã—ょã†. ラムダ計算ã¯ãƒãƒ¥ãƒ¼ãƒªãƒ³ã‚°å®Œå…¨ã§, 計算能力ã¨ã—ã¦ã¯ãµã¤ã†ã®ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã¨åŒã˜ã§ã™. ラムダ計算ã§è¨ˆç®—を書ã訓練をã—ã¦ãŠãã“ã¨ã¯, ä»»æ„ã®è¨ˆç®—を関数ã®ã¿ã‚’使ã£ã¦(ä»–ã®åˆ¶å¾¡æ§‹æ–‡ã‚’用ã„ãšã«)書ãã¨ãã«å½¹ç«‹ã¡ã¾ã™. ãµã¤ã†ã«æ›¸ã„ãŸã‚‰ç…©é›‘ãªå‡¦ç†ã‚’, 関数型言語ã®ã‚„ã‚Šæ–¹ã§æ›¸ãã¨ã™ã£ãã‚Šã™ã‚‹ã“ã¨ãŒå¤šã€…ã‚ã‚Š, コードを自由自在ã«æ›¸ããŸã‚ã«ã¯å¿…é ˆã®è€ƒãˆæ–¹ã¨è¨€ãˆã‚‹ã§ã—ょã†. é … ラムダ計算ã®å¼ã‚’é …(term)ã¨è¨€ã„ã¾ã™. é …ã¯å¤‰æ•°, 抽象, é©ç”¨ã®ã„ãšã‚Œã‹ã§ã™. 変数 変数(variable)ã¯ãµã¤ã†1æ–‡å—ã§æ›¸ãã¾ã™. 変数ã«ã¯é–¢æ•°å†…ã®æŸç¸›å¤‰æ•°(bound variable)ã‹è‡ªç”±å¤‰æ•°(free variable)ã‹ã¨ã„ã†åŒºåˆ¥ãŒã‚ã‚Š
サーãƒãƒ¼ãƒ¬ã‚¹ã‚¢ãƒ¼ã‚テクãƒãƒ£ã¨ã„ã†æŠ€è¡“分野ã«ã¤ã„ã¦ã®ç°¡å˜ãªèª¿æŸ» - Qiita
BaaSã®åˆ¶ç´„ã§å®Ÿç¾ã—ã«ãã„è¦ä»¶ãŒã‚ã£ãŸã¨ãã«ã€ã‚µãƒ¼ãƒãƒ¼ãƒ¬ã‚¹ã‚¢ãƒ¼ã‚テクãƒãƒ£ã¨ã„ã†é¸æŠžè‚¢ã¯é…力的ã«è¦‹ãˆã¦ãる。ãã“ã§ä»Šå›žã¯æœ€ã‚‚柔軟性ãŒé«˜ã„サーãƒãƒ¼ãƒ¬ã‚¹ã‚¤ãƒ³ãƒ•ãƒ©ã‚¹ãƒˆãƒ©ã‚¯ãƒãƒ£ã ã¨æ€ã‚れるAWS Lambdaã‚’å–り上ã’ã€BaaSã®ä»£ã‚ã‚Šã«ãªã‚Šã†ã‚‹ã‹æ¤œè¨Žã™ã‚‹ã€‚ AWS Lambdaã®ãƒ•ã‚¡ãƒ³ã‚¯ã‚·ãƒ§ãƒ³ã¯Java 8ã§æ›¸ã‘る。ã¨ã„ã†ã“ã¨ã¯Groovyã§ã‚‚書ã‘る。ドメインクラスをJava/Groovyã§æ›¸ã„ã¦Lambdaファンクションã®ãªã‹ã§åˆ©ç”¨ã™ã‚‹ã“ã¨ãŒã§ãã‚Œã°ã€ã‚µãƒ¼ãƒãƒ¼ãƒ¬ã‚¹ã‚¢ãƒ¼ã‚テクãƒãƒ£ã§ã‚‚æœ¬æ ¼çš„ãªã‚¢ãƒ—リケーションを開発ã§ããã†ã 。 今後ã®ã‚¢ãƒ—リケーションインフラストラクãƒãƒ£é¸æŠžã«ãŠã„ã¦ã€å¾“æ¥åž‹ã®ã‚¢ãƒ—リケーションサーãƒãƒ¼ã¨ã€è¿‘å¹´æ™®åŠã—ã¦ããŸBaaSã«åŠ ãˆã€ã‚µãƒ¼ãƒãƒ¼ãƒ¬ã‚¹ã‚¤ãƒ³ãƒ•ãƒ©ã‚¹ãƒˆãƒ©ã‚¯ãƒãƒ£ã¨ã„ã†é¸æŠžè‚¢ã‚‚増ãˆã‚‹ã¨ã™ã‚Œã°æœ‰æ„義ã 。 éžå¸¸é§åž‹ã®ãƒ‡ãƒ¡ãƒªãƒƒãƒˆ æ´å²çš„ã«ã¯CGI/PHPã®ã‚ˆã†ãªã‚¤ãƒ™ãƒ³ãƒˆé§†å‹•åž‹ã®ã‚¢ãƒ—リケ
アラート発生時㫠AWS Lambda を使ã£ã¦éŸ³å£°é›»è©±ã‚’ã‹ã‘ã‚‹ - Qiita
続編：SNS + Lambda + Twilio ã§éŸ³å£°é›»è©±ã‚’ã‹ã‘ã‚‹ v2 CloudWatch や独自ツールã‹ã‚‰ Amazon SNS ã« Notification を飛ã°ã™ã¨ã€subscribe ã—ã¦ã„るメールアドレスã«ãƒ¡ãƒ¼ãƒ«é€šçŸ¥ãŒè¡Œãˆã¾ã™ã€‚ サービスã®ç›£è¦–ã‚’è¡Œã£ã¦ã‚¢ãƒ©ãƒ¼ãƒˆã‚’メールã§å—ä¿¡ã—ã¦ã„るケースãŒå¤šã„ã¨æ€ã„ã¾ã™ãŒã€æ·±å¤œç‰ã§ãƒ¡ãƒ¼ãƒ«ã‚’å—ä¿¡ã—ã¦ã‚‚æ°—ã¥ã‹ãªã„ケースãŒã‚ã‚Šã€éšœå®³æ¤œçŸ¥ãŒé…ã‚Œã¦ã—ã¾ã†ã€ã¨ã„ã†å•é¡ŒãŒã‚ã‚Šã¾ã™ã€‚ ã“れを回é¿ã™ã‚‹ãŸã‚ã«ã€é›»è©±ã‚’ã‹ã‘ã‚‹ã“ã¨ã«ã—ã¦ã¿ã¾ã—ãŸã€‚ 電話をã‹ã‘ã‚‹ã®ã«ä½¿ã†ã‚µãƒ¼ãƒ“ス㯠Twilio。日本ã§ã¯KDDIãŒæ¥å‹™ææºã—ã¦ã‚µãƒ¼ãƒ“スをæä¾›ã—ã¦ã„ã¾ã™ã€‚ Amazon SNS ã‹ã‚‰ AWS Lambda ã¸ã®é€šçŸ¥ãŒå¯èƒ½ã«ãªã£ã¦ã„ã¾ã™ã®ã§ã€Lambda を使ã£ã¦å®Ÿè£…ã—ã¾ã™ã€‚ Lambda ã¯ç¾æ™‚点ã§æ±äº¬ãƒªãƒ¼ã‚¸ãƒ§ãƒ³ã§ã¯ä½¿ãˆãªã„ãŸã‚ã€N.Virginia を使ã„ã¾ã™ã€‚ 7/
1
ランã‚ング
ãŠçŸ¥ã‚‰ã›
ランã‚ング
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
cloudpackã®å°Žå…¥äº‹ä¾‹ï½œã‚¯ãƒ©ã‚¦ãƒ‰ã®æ´»ç”¨ãªã‚‰cloudpack
{{#tags}}- {{label}}
{{/tags}}