Logic programming in Rust
use ascent::ascent; ascent! { relation edge(i32, i32); relation path(i32, i32); path(x, y) <-- edge(x, y); path(x, z) <-- edge(x, y), path(y, z); } fn main() { let mut prog = AscentProgram::default(); prog.edge = vec![(1, 2), (2, 3)]; prog.run(); println!("path: {:?}", prog.path); } Features Lattices Ascent supports computing fixed points of user-defined lattices. The lattice keyword defines a lat
Linus Torvalds says Rust is coming to the Linux kernel
Maintainer lack of familiarity won't be an issue, chief insists, citing his own bafflement when faced with Perl At The Linux Foundation's Open Source Summit in Austin, Texas on Tuesday, Linus Torvalds said he expects support for Rust code in the Linux kernel to be merged soon, possibly with the next release, 5.20. At least since last December, when a patch added support for Rust as a second langua
What killed Haskell, could kill Rust, too
What_killed_Haskell_could_kill_Rust.md At the beginning of 2030, I found this essay in my archives. From what I know today, I think it was very insightful at the moment of writing. And I feel it should be published because it can teach us, Rust developers, how to prevent that sad story from happening again. What killed Haskell, could kill Rust, too What killed Haskell, could kill Rust, too. Why wo
「Rustã§ã‚„ã‚‹ã¨çŸ¥ã‚‰ãªã„ã†ã¡ã«è©°ã‚€è¨è¨ˆã€ã‚’é¿ã‘ã‚‹ãŸã‚ã®Tipsを集ã‚ã¦ã¿ã‚‹
ã¨ã‚Šã‚ãˆãšã€ã‚ˆã言ã‚ã‚Œã¦ã‚‹ã‚„ã¤ã‹ã‚‰åŸ‹ã‚ã¦ã„ã“ã†ã¨æ€ã†ã€‚ æ§‹é€ ä½“ã«ãƒ©ã‚¤ãƒ•ã‚¿ã‚¤ãƒ ã‚’æŒãŸã›ãªã„ æ§‹é€ ä½“ã«ãƒ©ã‚¤ãƒ•ã‚¿ã‚¤ãƒ ã‚’æŒãŸã›ã‚‹ã®ã¯ã€ŒåŸºæœ¬çš„ã«ã€é¿ã‘よã€ã¨ã„ã†ã®ãŒé‡è¦ãªã®ã¯é–“é•ã„ãªã„ã®ã ã‘ã©ã€ã“れをもã†å°‘ã—実践的ãªå†…容ã«ã—ãŸã„。ã¡ã‚‡ã£ã¨è€ƒãˆã¦ã¿ãŸã‘ã©ã€ã“ã†ã„ã†ã®ã¯ã©ã†ã ã‚ã†ã‹ã€‚ ã‚る関数呼ã³å‡ºã—ã®ä¸ã§ã—ã‹çµ¶å¯¾ã«ä½¿ã‚ãªã„。returnã™ã‚‹ã¾ã§ã«ãã®æ§‹é€ 体ã®ãƒ‡ãƒ¼ã‚¿ã¯å…¨ã¦ç ´æ£„ã•ã‚Œã‚‹ã€‚static変数ã«é€€é¿ã•ã›ã‚‹ã“ã¨ã‚‚ã§ããªã„。アãƒã‚±ãƒ¼ã‚·ãƒ§ãƒ³ã‚‚ãã®é–¢æ•°ãŒé¢å€’を見る。ãã†ã„ã†ä¸€è“®æ‰˜ç”Ÿã§ãる関数呼ã³å‡ºã—ã«å¿ƒå½“ãŸã‚Šã¯ã‚ã‚‹ã‹ï¼Ÿ ã‚る→ æ§‹é€ ä½“ã«ãƒ©ã‚¤ãƒ•ã‚¿ã‚¤ãƒ ã‚’æŒãŸã›ã¦ã‚‚よã„。 ãªã„→ ライフタイムç¦æ¢ã€‚ ãã†è€ƒãˆã¦ã¿ã‚‹ã¨ã€DIã¨ã‹Reduxã¨ã‹ã¨ã‚‚通ã˜ã‚‹ã¨ã“ã‚ãŒã‚ã‚‹ã‹ã‚‚ã—ã‚Œãªã„。「ã¤ã¹ã“ã¹è¨€ã£ã¦ãªã„ã§å…¨éƒ¨ã®è²¬å‹™ã‚’一番外å´ã«æŒã£ã¦ã„ãã€ã¨ã„ã†æ±ºæ–ãŒã§ãã‚‹ã¨ãã¯æ§‹é€ 体ライフタイムãŒé¸æŠžè‚¢ã«å…¥ã‚‹ã€‚
Rust を始ã‚ã‚‹ãŸã‚ã®è³‡æ–™é›† - Don't Repeat Yourself
ã‹ã¨ã˜ã‚…ã‚“ã•ã‚“ã®ãŠèª˜ã„ã§ã€ç§å¡¾åŒ çœŸå ‚ã«ã¦ç™»å£‡ã•ã›ã¦ã„ãŸã ãã€Rust ã«é–¢ã™ã‚‹è©±ã‚’ã•ã›ã¦ã„ãŸã ãã¾ã—ãŸã€‚ã‚ã‚ŠãŒã¨ã†ã”ã–ã„ã¾ã—ãŸã€‚ 今回ã®ã‚»ãƒƒã‚·ãƒ§ãƒ³ã‚’通ã˜ã¦ Rust を始ã‚ãŸããªã£ãŸæ–¹å‘ã‘ã«ã€Rust ã‚’ã¯ã˜ã‚ã‚‹ãŸã‚ã®è³‡æ–™ã‚’ã„ãã¤ã‹ãƒªã‚¹ãƒˆã‚¢ãƒƒãƒ—ã—ã¦ã¾ã™ã€‚よã‹ã£ãŸã‚‰ã©ã†ãžã€‚ プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã®å¦ç¿’方法ã«ã¤ã„㦠Rust ã«ã¤ã„ã¦ã¾ãšæ¦‚観を掴む 文法をå¦ã¶ 何ã‹ã‚¢ãƒ—リケーションを実装ã—ã¦ã¿ã‚‹ ã¡ã‚‡ã£ã¨çªã£è¾¼ã‚“ã 話を知りãŸã„ コミュニティã®åŠ›ã‚’借りる 仲間を見ã¤ã‘ã‚‹ æ›´æ–°å±¥æ´ ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã®å¦ç¿’方法ã«ã¤ã„㦠ã¿ãªã•ã‚“ã¯æ–°ã—ã„プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã‚’å¦ã¶éš›ã€ã©ã®ã‚ˆã†ã«å¦ã³ã¾ã™ã‹ï¼Ÿ ç§ã¯ã€è»½ã制御構文やデータ型ã®ä½œã‚Šæ–¹ãªã©ã‚’å¦ã‚“ã 後ã¯ã€ã™ãã«ã‚¢ãƒ—リケーションを作ã£ã¦ã¿ã¦ã€è©°ã¾ã£ãŸã‚‰ãƒªãƒ•ã‚¡ãƒ¬ãƒ³ã‚¹ã‚’å‚ç…§ã™ã‚‹ã¨ã„ã£ãŸå¦ã³æ–¹ã‚’ã—ã¦ã„ã‚‹ã“ã¨ãŒå¤šã„ã§ã™ã€‚ 逆ã«ã€ãƒªãƒ•ã‚¡ãƒ¬ãƒ³ã‚¹ã‚’ã¾ãšçœºã‚ã¦ã€æ–‡æ³•ã‚’ã—ã£ã‹ã‚ŠæŠŠæ¡ã—
サービス終了ã®ãŠçŸ¥ã‚‰ã›
サービス終了ã®ãŠçŸ¥ã‚‰ã› ã„ã¤ã‚‚Yahoo! JAPANã®ã‚µãƒ¼ãƒ“スをã”利用ã„ãŸã ãèª ã«ã‚ã‚ŠãŒã¨ã†ã”ã–ã„ã¾ã™ã€‚ ãŠå®¢æ§˜ãŒã‚¢ã‚¯ã‚»ã‚¹ã•ã‚ŒãŸã‚µãƒ¼ãƒ“スã¯æœ¬æ—¥ã¾ã§ã«ã‚µãƒ¼ãƒ“スを終了ã„ãŸã—ã¾ã—ãŸã€‚ 今後ã¨ã‚‚Yahoo! JAPANã®ã‚µãƒ¼ãƒ“スをã”愛顧ãã ã•ã„ã¾ã™ã‚ˆã†ã€ã‚ˆã‚ã—ããŠé¡˜ã„ã„ãŸã—ã¾ã™ã€‚
1
ランã‚ング
ãŠçŸ¥ã‚‰ã›
ランã‚ング
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
Rust vs. Go ã«å¯¾ã™ã‚‹ @tanakh ã•ã‚“ã®ç™ºè¨€ã¾ã¨ã‚
{{#tags}}- {{label}}
{{/tags}}