é™å®šç¶™ç¶šã„ã‚ã„ã‚ | 雑記帳ã“ã®ãƒ–ãƒã‚°ã§ã¯é™å®šç¶™ç¶šã«ã¤ã„ã¦éŽåŽ»ã«ä½•å›žã‹è¨˜äº‹ã‚’書ãã¾ã—ãŸï¼š LunarMLã¨ç¶™ç¶šé™å®šç¶™ç¶šã¨ä¾‹å¤–ã¨ãƒ¢ãƒŠãƒ‰ 今回ã€LunarMLå‘ã‘ã®VMã«é™å®šç¶™ç¶šã‚’実装ã—ã¦ã¿ã¦ç†è§£ãŒæ·±ã¾ã£ãŸã®ã§ã€æ”¹ã‚ã¦è¨˜äº‹ã«ã—ã¾ã™ã€‚ é™å®šç¶™ç¶šï¼šã‚¹ã‚¿ãƒƒã‚¯ã‚’使ã£ãŸã–ã£ãã‚Šã¨ã—ãŸèª¬æ˜Ž 今回ã¯ã‚¹ã‚¿ãƒƒã‚¯ã‚’使ã£ã¦é™å®šç¶™ç¶šã‚’ã–ã£ãã‚Šã¨èª¬æ˜Žã—ã¦ã¿ã¾ã™ã€‚ 関数ã¨ã„ã†æ¦‚念をæŒã¤ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã§ã¯ã€ã‚¹ã‚¿ãƒƒã‚¯ã‚’使ã£ã¦é–¢æ•°ã®å‘¼ã³å‡ºã—を管ç†ã™ã‚‹ã“ã¨ãŒå¤šã„ã§ã™ã€‚コールスタックã¨ã‹ã€ã‚¹ã‚¿ãƒƒã‚¯ã®ãƒãƒƒã‚¯ãƒˆãƒ¬ãƒ¼ã‚¹ã¨ã‹è¨€ã„ã¾ã™ã‚ˆã。ã“ã“ã§ã¯ãƒã‚¤ãƒ†ã‚£ãƒ–ã®ã‚¹ã‚¿ãƒƒã‚¯ã‹ä»®æƒ³ãƒžã‚·ãƒ³ã®ã‚¹ã‚¿ãƒƒã‚¯ã‹ã¨ã„ã†ã®ã¯å•ã„ã¾ã›ã‚“。 関数を呼ã³å‡ºã™ã¨ã€ãƒ•ãƒ¬ãƒ¼ãƒ ã¨å‘¼ã°ã‚Œã‚‹é ˜åŸŸãŒã‚¹ã‚¿ãƒƒã‚¯ã«ç¢ºä¿ã•ã‚Œã¦ã€é–¢æ•°ã¸ã®å¼•æ•°ã‚„ãƒãƒ¼ã‚«ãƒ«å¤‰æ•°ã¯ãã“ã«ç¢ºä¿ã•ã‚ŒãŸã‚Šã—ã¾ã™ã€‚ 例ãˆã°ã€ä»¥ä¸‹ã®ãƒ—ãƒã‚°ãƒ©ãƒ を考ãˆã¾ã™ï¼š void g() { // ã™ã”ã„計算 } void f() { double j; g();
Project Overview ‹ λ-2D: An Exploration of Drawing as Programming Language, Featuring Ideas from Lambda Calculus – MIT Media Lab
「ラムダ型ã€ã“ã‚Œã¾ã§ãªã„変異　ワクãƒãƒ³åŠ¹æžœä½Žæ¸›ã‹
ã—ã‚…ã†ã¾ã„å› on Twitter: "弊社ã«ã€æ°—付ã‘ã°ã¯ãªã¾ã‚‹ã†ã©ã‚“ã«ãƒ¢ãƒŠãƒ‰æ¬²ã—ã„ã‚“ã ã‘ã©ã€æ‹æ„›å°èª¬ã®å¤ã€ã˜ã‚ƒãªã‹ã£ãŸã“ã¨è€ƒãˆã¦ãれるé“å…·ã§ã‚‚大抵やりãŸã„放題ã ã—ã¡ã‚ƒã†ã‹ã‚‰å›°ã‚‹"
Beginner friendly code and APIs
Ladder of Functional Programming 〜関数型プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®ãƒ¬ãƒ™ãƒ«åˆ†ã‘〜 - Qiita
monadã‹ã‚‰effect㸠- Just $ A sandbox
ã€å¹½éœŠåž‹ãƒˆãƒªãƒƒã‚¯é›†ã€‘ã‚ェェï¼å¹½éœŠåž‹ã§ãƒã‚°ã‚’呪ã„殺ã™ã®ã˜ã‚ƒï¼ã€å‘ªè¡“プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã€‘
ã“ã‚ããªã„ Idris (1) - Ryusei’s Notes (a.k.a. M59ã®ãƒ–ãƒã‚°)
https://okmij.org/ftp/meta-programming/quel.pdf
OOè¨è¨ˆã¨ã¯ç•°ãªã‚‹ã‚¢ãƒ—ãƒãƒ¼ãƒ 関数型・代数的ドメインモデリングã¨ã¯ #ScalaMatsuri #sm_a
関数型プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®ä»Šæ˜”（仮）
FRPã®è©± - maoeã®ãƒ–ãƒã‚°
ラムダ計算ã§ä»£æ•°çš„データ型を表ç¾ã™ã‚‹æ–¹æ³• - @syamino ã¯ã¦ãªãƒ€ã‚¤ã‚¢ãƒªãƒ¼
Design Patterns for Functional Strategic Programming
関数型言語ã§ã®ãƒ‡ã‚¶ã‚¤ãƒ³æ‰‹æ³•
How wonderful to be (statically) typed 〜型ãŒä»˜ãã£ã¦ã‚¹ãƒãƒ©ã‚·ã‚¤ã€œ
Slide 1
The Fun of Programming
Freeモナドを超ãˆãŸï¼ï¼Ÿoperationalモナドを使ã£ã¦ã¿ã‚ˆã† - モナドã¨ã‚ãŸã—ã¨ã‚³ãƒ¢ãƒŠãƒ‰
{{#tags}}- {{label}}
{{/tags}}