P言語。イベント駆動でステートマシーンな感じ。すべてのステートをチェックする方法と完全な状態でのステート変更を上手く管理する仕組み via https://www.infoq.com/jp/news/2016/10/microsoft-p-language-opensourced

program
PDF

efcl のブックマーク 2016/10/26 20:24

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/282452597/comment/efcl" data-user-id="efcl" data-entry-url="https://b.hatena.ne.jp/entry/s/github.com/p-org/P" data-original-href="https://github.com/p-org/P" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fgithub.com%2Fp-org%2FP" data-user-icon="/users/efcl/profile.png">GitHub - p-org/P: The P programming language.</a><ul class="comment-tag" style="list-style: none; margin: 0px;"><li style="float: left">[<a href="https://b.hatena.ne.jp/q/program">program</a>]</li><li style="float: left">[<a href="https://b.hatena.ne.jp/q/PDF">PDF</a>]</li></ul><br><p style="clear: left">P言語。 イベント駆動でステートマシーンな感じ。 すべてのステートをチェックする方法と完全な状態でのステート変更を上手く管理する仕組み via <a href="https://www.infoq.com/jp/news/2016/10/microsoft-p-language-opensourced" target="_blank" rel="noopener nofollow">https://www.infoq.com/jp/news/2016/10/microsoft-p-language-opensourced</a></p><a class="datetime" href="https://b.hatena.ne.jp/efcl/20161026#bookmark-282452597"><span class="datetime-body">2016/10/26 20:24</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

このブックマークにはスターがありません。
最初のスターをつけてみよう！

GitHub - p-org/P: The P programming language.

github.com/p-org2016/03/18

Challenge: Distributed systems are notoriously hard to get right. Programming these systems is challenging because of the need to reason about correctness in the presence of myriad possible interle...

33 人がブックマーク・10 件のコメント

他のコメントを読む

＼コメントがサクサク読めるアプリです／

はてなブックマーク

GitHub - p-org/P: The P programming language.

はてなブックマーク

公式Twitter

はてなのサービス