GitHub - pikatchu/LinearML: Functional language for parallel programming
I am providing code in this repository to you under an open source license. Because this is my personal repository, the license you receive to my code if from me and not my employer (Facebook). LinearML (or LiML) is a programming language designed to write efficient parallel programs. Its main characteristics are: * Purely functional * Statically typed * Strict evaluation order In LiML, the defaul
ç·šå½¢ view ã¨ç·šå½¢åž‹ã‚’使ã£ãŸãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°
Table of Contents13. 観 (view) ã¨è¦³åž‹å…¥é–€13.1. ãƒã‚¤ãƒ³ã‚¿ã‚’通ã˜ãŸãƒ¡ãƒ¢ãƒªã‚¢ã‚¯ã‚»ã‚¹ã®ãŸã‚ã®è¦³13.2. 観ã¨åž‹ã‚’組ã¿åˆã‚ã›ãŸè¦³åž‹13.3. 左辺値ã¨å‚照渡ã—13.4. スタックã«ç¢ºä¿ã•ã‚ŒãŸå€¤13.5. ヒープã«ç¢ºä¿ã•ã‚ŒãŸç·šå½¢ã‚¯ãƒãƒ¼ã‚¸ãƒ£é–¢æ•°14. 線形㪠dataprop ã¨ã—ã¦ã® dataview14.1. é¸æŠž view14.2. 分離 view14.3. ç·šå½¢é…列㮠view14.4. 片方å‘リスト㮠view14.5. view 変更ã®ãŸã‚ã®è¨¼æ˜Žé–¢æ•°15. ç·šå½¢ datatype ã¨ã—ã¦ã® dataviewtype15.1. ç·šå½¢ optional 値15.2. 線形リスト15.2.1. 線形リストã®é€†é †15.2.2. 線形リストã®é€£çµ15.2.3. è¦ç´„15.3. 例: 線形リストã®ãƒžãƒ¼ã‚¸ã‚½ãƒ¼ãƒˆ15.4. 例: 線形リストã®æŒ¿å…¥ã‚½ãƒ¼ãƒˆ15.5. 例:
線形型ã¤ãドメイン特化言語 (DSL) ã‚’ Haskell上ã«å®Ÿè£…ã™ã‚‹ - keigoiã®æ—¥è¨˜
線形λ計算ã¨ã„ã†ã®ã¯ã€ã€Œå¤‰æ•°ã‚’ã¡ã‚‡ã†ã©ä¸€åº¦ã ã‘使ã‚ãªã‘ã‚Œã°ãªã‚‰ãªã„ã€ã¨ã„ã†ç·šå½¢åž‹ã‚’ã‚‚ã£ãŸÎ»è¨ˆç®—ã 。ã“れを Haskell ã§å®Ÿè£…ã—ã¦ã¿ãŸã€‚「ファイルãŒé–‹ã‹ã‚ŒãŸã‚‰å¿…ãšé–‰ã˜ã‚‹ã€ã¨ã„ã†åˆ¶ç´„ã®ã‚ˆã†ãªã€ç·šå½¢åž‹ (linear type) ãŒå¿…è¦ãª DSL ã®å®Ÿè£…ã®å‚考ã«ãªã‚‹ã‹ã‚‚ã—ã‚Œãªã„。 線形λ計算ã®å®Ÿè£…ã¯ã€æ—¢ã« Olegã•ã‚“ãŒã‚„ã£ã¦ã„る。ãã‚Œã¯å¤‰æ•°å‚照をde Bruijn indexを使ã£ã¦æ›¸ãよã†ã«ãªã£ã¦ã„る。 一方ã€ã“ã®å®Ÿè£…ã¯ã€ã‚ˆã‚ŠHaskellã«è¿‘ã„記法ã§æ›¸ã‘るよã†ã«ãªã£ã¦ã„る。 使用例 λ抽象ã®å‰ã« lam, 関数é©ç”¨ã®å‰ã« app, 変数å‚ç…§ã®å‰ã« var ãŒå¿…è¦ã§ã‚る以外㯠Haskell ã¨åŒã˜è¨˜æ³•ã§æ›¸ã‘る。 Linear Lambda Calculus ã®é æ–‡å—ã‚’ã¨ã£ã¦ LLC モナドã¨ã„ã†åå‰ã«ã—ã¦ã‚る。 LLCモナドã®åž‹ã¯ LLC t ii jj a ã¨ãªã£ã¦ã„ã¦ã€ t åž‹ã®ã‚¿
æ±äº¬å·¥æ¥å¤§å¦ æƒ…å ±ç†å·¥å¦é™¢ æ•°ç†ãƒ»è¨ˆç®—科å¦ç³»
大岡山地区ã®å»ºç‰© 大å¦æ£é–€ã‚ˆã‚Šï¼Œæ¡œä¸¦æœ¨ã®ã‚¦ãƒƒãƒ‰ãƒ‡ãƒƒã‚を通り，å³æ‰‹ã®èŠç”Ÿã‚’ã¤ã£ãã‚‹å°å¾„ãŒè¥¿8å·é¤¨ï¼Œè¥¿7å·é¤¨ã«ç¶šãã¿ã¡ã§ã™ï¼Ž 大岡山西8å·é¤¨ï¼ˆï¼¥æ£Ÿï¼Œï¼·æ£Ÿï¼‰: ã‚ャンパスマップã®18, 19番ã®å»ºç‰©ã«ã‚ãŸã‚Šã¾ã™ï¼Žæœ¬é¤¨ã®è¥¿éš£ã‚Šã«ä½ç½®ã—ã¦ã„ã¾ã™ï¼Žæ£é¢çŽ„関をã¯ã„ã£ãŸã¨ã“ã‚ã¯ï¼“階ã§ã™ï¼Ž Ｅ棟ã«ãŠã„ã§ã®æ–¹ã¯å»Šä¸‹ã‚’ã¯ã„ã£ã¦ã™ã左手ã®ã‚¨ãƒ¬ãƒ™ãƒ¼ã‚¿ã‚’ã”利用下ã•ã„． Ｗ棟ã«ã¯ã˜ã‚ã¦ãŠã„ã§ã®æ–¹ã¯å分ã«æ³¨æ„ã—ã¦ä¸‹ã•ã„．Ｅ棟ã¨ï¼·æ£Ÿã‚’繋ã„ã§ã„る通路ã¯ï¼“階ã¨ï¼‘ï¼éšŽã«ã—ã‹ã‚ã‚Šã¾ã›ã‚“．Ｅ棟ã®ã‚¨ãƒ¬ãƒ™ãƒ¼ã‚¿ã‚’利用ã™ã‚‹ã¨è¿·åã«ãªã‚Šã¾ã™ï¼Žæ£é¢çŽ„é–¢ã‹ã‚‰å»Šä¸‹ã‚’ã¾ã£ã™ãã«ãŠã„ã§ã«ãªã‚Šï¼Œå¥¥ã®å³æ‰‹ã«ã‚るエレベータをã”利用下ã•ã„． 西7å·é¤¨ï¼šã‚ャンパスマップã®17番ã®å»ºç‰©ã«ã‚ãŸã‚Šã¾ã™ï¼Žè¥¿8å·é¤¨ã‹ã‚‰ï¼Œå»ºç‰©ã‚’二ã¤æŒŸã‚“ã 並ã³ã«ã‚ã‚Šã¾ã™ï¼ŽèŠç”Ÿã‹ã‚‰å‘ã†å ´åˆï¼Œå·¦æ‰‹ã«æœ¬é¤¨ã‚’見ãªãŒã‚‰é€²ã¿ï¼Œæœ¬é¤¨ãŒã¨ãŽã‚ŒãŸã‚ãŸã‚Šã®å³æ‰‹ã«ã‚ã‚‹å°ã•ãªå»ºç‰©ãŒè¥¿7å·é¤¨ã§ã™ï¼Žæ©‹ã‚’渡ã£ã¦ã¯ã„ã£ãŸã¨
1
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
Chapter 7Linear Type Theory
http://c2.com/cgi/wiki?LinearTypes
{{#tags}}- {{label}}
{{/tags}}