Facebook Introduces 'Hack,' the Programming Language of the Future
Facebook engineers Bryan O’Sullivan, Julien Verlaguet, and Alok Menghrajani spent the last few years building a programming language unlike any other. Working alongside a handful of others inside the social networking giant, they fashioned a language that lets programmers build complex websites and other software at great speed while still ensuring that their software code is precisely organized a
世界的ã«ã‚‚異例ã€ãƒãƒã‚«ãƒ³å›³æ›¸é¤¨ãŒNTTデータã¨23億円ã®å¤§åž‹å¥‘ç´„
NTTデータã¯2014å¹´3月20æ—¥ã€ãƒãƒã‚«ãƒ³å¸‚国ã®ãƒãƒã‚«ãƒ³å›³æ›¸é¤¨ãŒæ‰€è”µã™ã‚‹æ–‡çŒ®ã®ãƒ‡ã‚¸ã‚¿ãƒ«åŒ–プãƒã‚¸ã‚§ã‚¯ãƒˆã‚’å—注ã—ãŸã¨ç™ºè¡¨ã—ãŸã€‚å—注é¡ã¯ç´„23億円。3000冊ã®æ–‡çŒ®ã‚’ã€NTTデータãŒæä¾›ã™ã‚‹ãƒ‡ã‚¸ã‚¿ãƒ«ã‚¢ãƒ¼ã‚«ã‚¤ãƒ–システムã§ç®¡ç†ã§ãるよã†ã«ã™ã‚‹ã€‚ãƒãƒã‚«ãƒ³å¸‚国ãŒæ°‘é–“ä¼æ¥ã¨å¤§åž‹ã®æœ‰å„Ÿå¥‘ç´„ã‚’ç· çµã™ã‚‹ã®ã¯ã€ä¸–界的ã«ã‚‚çã—ã„ã¨ã„ã†ã€‚ ãƒãƒã‚«ãƒ³å›³æ›¸é¤¨ã¯ã€2世紀ã‹ã‚‰20世紀ã«ã‹ã‘ã¦åŸ·ç†ã•ã‚ŒãŸç´„8万冊ã€4000万ページã«åŠã¶æ‰‹æ›¸ãã®æ–‡çŒ®ã‚’所蔵ã™ã‚‹ã€‚åŒé¤¨ã¯ã“れら全ã¦ã‚’デジタル化ã—ã€é•·æœŸä¿å˜ã™ã‚‹è¨ˆç”»ã‚’ç«‹ã¦ã¦ã„る。ãƒãƒã‚«ãƒ³å›³æ›¸é¤¨ã¨NTTデータã¯ç´„23億円ã§åˆæœŸå¥‘ç´„ã‚’çµã³ã€ã¾ãšã¯4å¹´é–“ã§ç´„3000å†Šã‚’ãƒ‡ã‚¸ã‚¿ãƒ«ã‚¢ãƒ¼ã‚«ã‚¤ãƒ–åŒ–ã€‚é †èª¿ã«é€²ã‚ã°ã€æ®‹ã‚Šã®æ–‡çŒ®ã«ã¤ã„ã¦ã‚‚å–り組む予定ã 。 文献ã®ãƒ‡ã‚¸ã‚¿ãƒ«åŒ–ã‹ã‚‰ã€ãƒ‡ã‚¸ã‚¿ãƒ«ã‚¢ãƒ¼ã‚«ã‚¤ãƒ–システムã®æ§‹ç¯‰ã€ãƒ¡ã‚¿ãƒ‡ãƒ¼ã‚¿ã®ä»˜ä¸Žãƒ»ç®¡ç†ã€æ¤œç´¢ã‚¢ãƒ«ã‚´ãƒªã‚ºãƒ ã®é–‹ç™ºã¾ã§ã‚’ã€ãƒˆãƒ¼ã‚¿ãƒ«ã§NTTデータãŒæ‰‹æŽ›ã‘る。ãƒãƒã‚«ãƒ³
Hack: a new programming language for HHVM | Hacker News
I am baffled as to why you'd build your castle atop a crumbling foundation.I have wondered why FB didn't use a proper language with proper typing to begin with. I mean, I "understand" logistically: they already had a giant codebase in PHP, migrating a codebase is expensive, and it's difficult to hire and train 1000s of hackers in e.g., OCaml. (They do have some OCaml people, but they are outliers.
tac-tics.net
Writing is thinking. To write well is to think clearly. That's why it's so hard. Infinite lists OCaml and Haskell are both statically typed functional programming languages. Their type systems are very similar. They both have function types, algebraic data types, higher-order types (list of things, maybe/option types, tuple types). They both support type variants of the Hindley-Milner type inferen
8年目：åˆã‚ã¦ã®ãƒ„イートを探ã—ã¦ã¿ã¾ã›ã‚“ã‹ï¼Ÿ
2006å¹´ã€140æ–‡å—以内ã®æ–‡å—ã ã‘ã®ãƒ„イートãŒå§‹ã¾ã‚Šã¾ã—ãŸã€‚8å¹´ã®é–“ã«ã€Twitterã¯æ–°ã—ã„アイデアを見ã¤ã‘ãŸã‚Šã€ã„ã‚ã„ã‚ãªäººãŸã¡ã¨ã¤ãªãŒã£ãŸã‚Šã€æ„見を自由ã«è¿°ã¹ã‚‹ã“ã¨ãŒã§ãã‚‹å ´æ‰€ã«ãªã‚Šã¾ã—ãŸã€‚明日ã¯8æ³ã®ãŠèª•ç”Ÿæ—¥ã€‚ã“ã“ã¾ã§ã®æˆé•·ã‚’支ãˆã¦ãã ã•ã£ãŸçš†ã•ã‚“ã«å¿ƒã‹ã‚‰ã€Œã‚ã‚ŠãŒã¨ã†ã”ã–ã„ã¾ã™ã€ã‚’ãŠä¼ãˆã•ã›ã¦ãã ã•ã„。 Twitterを誰ã‹ã¨ã¤ãªãŒã‚Œã‚‹ã€æ¥½ã—ãã¦ãƒ‘ワフルãªå ´æ‰€ã«ã—ã¦ãã ã•ã£ã¦ã„ã‚‹ã®ã¯ã€æ¯Žæ—¥ãŸãã•ã‚“ã®ãƒ„イートをã—ã¦ãã ã•ã£ã¦ã„る皆ã•ã‚“ã§ã™ã€‚皆ã•ã‚“ãŒæœ€åˆã®ä¸€æ©ã‚’è¸ã¿å‡ºã—ã¦ãã ã•ã£ãŸã‹ã‚‰ã€ä»Šã®TwitterãŒå˜åœ¨ã—ã¦ã„ã¾ã™â€¦ã¨ã„ã†ã“ã¨ã§ã€ã„ã‚ã„ã‚ãªæ–¹ã®åˆã‚ã¦ã®ãƒ„イートをã”覧ã«ãªã£ã¦ã¿ã¾ã›ã‚“ã‹ï¼Ÿ ã‚‚ã¡ã‚ã‚“ã€ã”自分ã®åˆã‚ã¦ã®ãƒ„イート#FirstTweet ã‚‚ã”覧ã„ãŸã ã‘ã¾ã™ã€‚ã“ã®ãƒ„ールã§ã”自分やã€ãŠå‹é”ã€æ°—ã«ãªã‚‹æœ‰å人ã€å„国ã®å¤§çµ±é ˜ãªã©ãªã©ã€ã„ã‚ã„ã‚ãªæ–¹ã®åˆã‚ã¦ã®ãƒ„イートをãƒã‚§ãƒƒã‚¯ã—ã¦ã¿ã¦
Hack · Programming Productivity Without Breaking Things
HackHack is an object-oriented programming language for building reliable websites at epic scale Hack reconciles the fast development cycle of a dynamically typed language with the discipline provided by static typing, while adding many features commonly found in other modern programming languages. Hack provides instantaneous type checking by incrementally checking your files as you edit them. It
ランã‚ング
ランã‚ング
ランã‚ング
リリースã€éšœå®³æƒ…å ±ãªã©ã®ã‚µãƒ¼ãƒ“スã®ãŠçŸ¥ã‚‰ã›
最新ã®äººæ°—エントリーã®é…ä¿¡
j次ã®ãƒ–ックマーク
kå‰ã®ãƒ–ックマーク
lã‚ã¨ã§èªã‚€
eコメント一覧を開ã
oページを開ã
http://logitext.mit.edu/logitext.fcgi/tutorial
{{#tags}}- {{label}}
{{/tags}}