Write You a Haskell ( Stephen Diehl )
Building a modern functional compiler from first principles. Stephen Diehl In 2014 I wrote a short tutorial about building a small imperative language in Haskell that compiled into LLVM. I was extremely happy with the effect the tutorial seemed to have, and the warm response I got from so many people was very encouraging. I've done a great bit of thinking about what the most impactful topic I coul
å•é¡Œã‚’解決ã™ã‚‹ã¤ã‚‚ã‚Šã§ã‚ッãƒãƒªåž‹ã‚’付ã‘ãŸå…ˆã«ã‚る高ã„å£ - ã¼ãã®ã¬ã¾ã¡ 出張版
null安全ãŠã˜ã•ã‚“ã«ãªã‚Šã‹ã‚ã‚Šãã‚ŒãŒã—ãŒãŠè¦‹ã›ã¤ã‹ã¾ã¤ã‚‹ 機械ãŒç†è§£ã§ãる複雑ãªå¥‘ç´„ã®åž‹è¡¨ç¾ãŒã‚‚ãŸã‚‰ã™ã‚‚ã®ã¯ ã¤ã¾ã‚‹ã¨ã“ã‚ã“ã®ã‚ˆã†ãªã‚‚ã® ãšã¶ã¶(切ã£ãŸè…¹ã‹ã‚‰è¨¼æ˜Žã‚ªãƒ–ジェクトを引ã摺り出ã™)— Noriyuki OHKAWA (@notogawa) 2016å¹´11月18æ—¥ éŽãŽãŸã‚‹ã¯çŒ¶åŠã°ã–ã‚‹ãŒã”ã¨ã—． 最近null安全？ã ã‹ã®è©±ã®ã‹ã‚‰ã¿ã§ï¼Œ(é™çš„ãª)åž‹ã§å¥‘約云々を表ç¾ã—ã¦ã‚·ã‚¢ãƒ¯ã‚»ã«ãªã‚Œã‚‹ã‚“ã ãœãƒ¼ã¨è¨€ã†ã®ã‚’ãƒãƒ©ãƒ›ãƒ©è¦‹èžãã™ã‚‹ï¼ŽãŸã¨ãˆã°ï¼Œpythonã§çµ±è¨ˆãªã‚Šæ©Ÿæ¢°å¦ç¿’ãªã‚Šã‚„ã£ã¦ã¦numpy弄るよã†ãªäººãŒï¼Œndarray(多次元é…列)ã®shape(多次元é…列ã®å½¢)ãŒåˆã‚ãšã‚¨ãƒ©ãƒ¼ã§è½ã¡ãŸã‚Šã¨ã‹ãã†ã„ã†ã‚¢ãƒ¬ã«ã¤ã„ã¦äº‘々ã¨ã„ã†ï¼Žãªã‚‹ã»ã©åž‹ãŒã‚ã‚Œã°å®Ÿè¡Œå‰ã«æ¢ã‚ã‚‹ã“ã¨ãŒã§ã，実行時，エラー*1ã«ãªã£ã¦ãƒ•ã‚¡ãƒ¼ã¿ãŸã„ãªã“ã¨ã¯é¿ã‘られるã ã‚ã†ï¼Ž ã—ã‹ã—，ã“ã‚ŒãŒå¤©å›½ã¸ç¶šãé“ã‹ã©ã†ã‹ã¯ã¾ãŸåˆ¥ã®è©±ï¼Ž(ä¾å˜)åž‹ã§èˆ—
実世界を扱ã†ä¾å˜åž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®ãŸã¶ã‚“基本～外界ã‹ã‚‰å®‰å…¨ãªä¸–ç•Œã¾ã§ã®é“ - ã¼ãã®ã¬ã¾ã¡ 出張版
ä¾å˜åž‹ãªã‚‰ã•ã‚‰ã«å®‰å…¨ã«ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã§ãã¡ã¾ã†ã‚“ã ï¼ã¨è¨€ã£ãŸã¨ã“ã‚ã§ï¼Œã€Œç„¡æ–™ã§éŠã¹ã¡ã¾ã†ã‚“ã ï¼ã€ã¨ã‹ã€Œ3000円払ãˆã°ç„¡æ–™ã§10連ã¾ã‚ã›ã‚‹ã€ã¿ãŸã„ãªæ„ŸãŒã‚り， ä¾å˜åž‹ä½¿ã‚ãªã„å ´åˆã¨ã©ã†é•ã£ã¦ãã‚‹ã®ã‹ 入出力ã‹ã‚‰æ‰±ã„始ã‚ã‚‹ã¨ã©ã†ã„ã£ãŸå½¢ã®ãƒ—ãƒã‚°ãƒ©ãƒ ã«ãªã‚‹ã®ã‹ 大概ã©ã†ã„ã†æµã‚Œã§ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã™ã‚‹ã“ã¨ã«ãªã‚‹ã®ã‹ ã¨ã‹ï¼Œãã†ã„ã£ãŸè©±ã‚’通ã—ã§ã¯ãã‚“ãªã«è¦‹ãªã„ã‹ãªãƒ¼ã¨ã„ã†æ°—ãŒã—ãŸã®ã§ï¼Œã”ã基本的ãªã‚‚ã®ã‚’一通りã¾ã¨ã‚ã¦ãŠã“ã†ã¨æ€ã£ã¦ï¼Ž ã¾ãšï¼Œèª¬æ˜Žã«ä½¿ã†å•é¡Œè¨å®šã«ã¤ã„ã¦ï¼Žè¡Œåˆ—演算，特ã«è¡Œåˆ—ç©ã‚’考ãˆã¦ã¿ã‚‹ï¼ŽãŸã ã—，行列ã®å½¢(è¡Œã¯ã„ãã¤ï¼Œåˆ—ã¯ã„ãã¤)ã«ã¤ã„ã¦ã¯ãƒ—ãƒã‚°ãƒ©ãƒ ã®å¤–ã‹ã‚‰å…¥åŠ›ã«ã‚ˆã£ã¦æ±ºå®šã™ã‚‹ã‚ˆã†ãªçŠ¶æ³ã¨ã™ã‚‹ï¼Žã“れ自体ã¯æ™®é€šã®å•é¡Œè¨å®šã ã¨æ€ã‚れる． ä¾å˜åž‹ã‚’使ã‚ãªã‘ã‚Œã°ç‰¹ã«ã©ã†ã¨ã„ã†ã“ã¨ã‚‚ç„¡ã„．æらã行列ã®åž‹ã‚’次ã®ã‚ˆã†ã«å®šç¾©ã—， -- å½¢ã®ã¿æŒã£ã¦ãŠã，ä¸èº«ã®æ•°å€¤ã«ã¤ã„ã¦ã¯ç°¡å˜ã®ãŸã‚çœç•¥ data Ma
GHCã®ã“ã¨
オブジェクトレイアウト 通常ã®Haskellã®å€¤(代数的データ型ãŠã‚ˆã³é–¢æ•°)ã¨ã€æœªè©•ä¾¡ã®è¨ˆç®—を表ã™ã‚µãƒ³ã‚¯ã¯ã€å…¨ã¦ãƒã‚¤ãƒ³ã‚¿ã§å‚ç…§ã•ã‚Œã‚‹ã€‚ãƒã‚¤ãƒ³ã‚¿ãŒæŒ‡ã™å…ˆã¯é€šå¸¸ã¯ãƒ’ープ上ã®ã‚ªãƒ–ジェクトã ãŒã€é™çš„セクションã«ç½®ã‹ã‚Œã¦ã„ã‚‹ã“ã¨ã‚‚ã‚る。ã„ãšã‚Œã«ã—ã¦ã‚‚レイアウトã¯åŒã˜ã§ã€ä»¥ä¸‹ã®ä¸€èˆ¬å½¢ã‚’ã¨ã‚‹ã€‚ オブジェクトã®å…ˆé 1ワードã¯é™çš„é ˜åŸŸã¸ã®ãƒã‚¤ãƒ³ã‚¿(infoãƒã‚¤ãƒ³ã‚¿)ã§ã€ã“ã®å€¤ã‚’評価(関数ãªã‚‰é©ç”¨)ã™ã‚‹ãŸã‚ã®ã‚³ãƒ¼ãƒ‰(entry code)ã¨ã€ã“ã®ã‚ªãƒ–ジェクトã®ç¨®é¡žã«é–¢ã™ã‚‹æƒ…å ±ã‚’é›†ç©ã—ãŸãƒ¬ã‚³ãƒ¼ãƒ‰ã‚’指ã—ã¦ã„る。ãªãŠã€GHCã«ãŠã‘ã‚‹1ワードã¯ãƒã‚¤ãƒ³ã‚¿ã¨åŒã˜å¤§ãã•ã€ã¤ã¾ã‚Š32ビットOSãªã‚‰32ビットã€64ビットOSãªã‚‰64ビットã§ã‚る。ã“ã‚Œã¯Intã®ç²¾åº¦ã¨åŒã˜ã§ã‚‚ã‚る。 代数的データ型 代数的データ型ã®è©•ä¾¡æ¸ˆã¿ã®å€¤ã§ã¯ã€infoãƒã‚¤ãƒ³ã‚¿ãŒæ§‹ç¯‰åã®ç¨®é¡žã‚’表ã—ã€ãã®å¾Œã«æ§‹ç¯‰åã®å¼•æ•°ã‚’入れるスãƒãƒƒãƒˆãŒç¶šã。ã—ãŸãŒã£ã¦ã€N引
1
ランã‚ング
ランã‚ング
ランã‚ング
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
https://www.cis.upenn.edu/~jpaykin/papers/pz_linearity_monad_2017.pdf
{{#tags}}- {{label}}
{{/tags}}