たのし

このアカウントは、notestockで公開設定になっていません。

Dat Documentation - https://docs.datproject.org/faq

うーん……面白そうではあるが nodejs は嫌だなぁ

How does IPFS compare with the SAFE Network? - Quora - https://www.quora.com/How-does-IPFS-compare-with-the-SAFE-Network

How does IPFS compare with the SAFE Network? - Quora - https://www.quora.com/How-does-IPFS-compare-with-the-SAFE-Network

いいなぁ、応援したい

MaidSafe 、公式の実装が Rust だったりする(はず)のも高評価なんだよなぁ

maidsafe/safe_client_libs: SAFE Network client side rust module(s) - https://github.com/maidsafe/safe_client_libs

Maidsafe vs Freenet / I2P / IPFS - Related Projects - SAFE Network Forum - https://safenetforum.org/t/maidsafe-vs-freenet-i2p-ipfs/9409
ふむふむ

MaidSafe - The New Decentralized Internet - https://maidsafe.net/

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

MS のブログで「なんでも -webkit- 使うのやめてよ、 -ms- もあるんだよ」みたいな記事を見て「お前は～！お前は～～！！！」って思ったことはある

Adapting your WebKit-optimized site for Internet Explorer 10 - Windows Developer BlogWindows Developer Blog - https://blogs.windows.com/buildingapps/2012/11/15/adapting-your-webkit-optimized-site-for-internet-explorer-10/#step3

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

良品を
集めて早し
最上川

このアカウントは、notestockで公開設定になっていません。

ブロックチェーン、とりあえず流行に乗りたい勢と投機目的勢が多過ぎて鬱陶しい(AI/機械学習とかも似たような状態だけど)

MaidSafe のこと調べてたら暗号通貨投資サイトが大量に出てきてさすがにブチギレしそうだった

「副作用」「継続」「評価」あたりは語彙が歪んでいるので「std::」って付けないと意味を理解するのに時間がかかったりする

このアカウントは、notestockで公開設定になっていません。

https://twitter.com/L16777216/status/713699305593266177
https://twitter.com/L16777216/status/713699387113807873

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

pocket とかも

便利かもしれないね、で、それオープンなの？みたいな気持ちが(厄介なオタク)

まあそれでも chrome よりマシかなと思ってますが

このアカウントは、notestockで公開設定になっていません。

まあ pocket は買収だから……(フォローになってるか微妙)

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

ぽぽぽりだ=͟͟͞͞ʕ•̫͡•ʔ=͟͟͞͞ʕ•̫͡•ʔ=͟͟͞͞ʕ•̫͡•ʔ

このアカウントは、notestockで公開設定になっていません。

Rust の Option と Result と ? 演算子は非常によくできているので参考になります(あるべき姿のひとつという感じ)

catch は提案されているけどまだ本採用されていない

Nintendo Switch『大図書館の羊飼い-Library Party-』Web Site - http://aria-soft.com/daito_sw/

ふーむ

事あるごとに何度でも拡散したくなる投稿いくつかあるけど、そのひとつ

https://twitter.com/ymduu/status/662288360367521792 #tw
これとかも

エラーハンドリング - https://rust-lang-ja.github.io/the-rust-programming-language-ja/1.6/book/error-handling.html
ちょっと古いですが、これ読めば Rust での望ましいエラーの扱いはだいたいわかります

null か否かの確認は、続くロジックと合成可能な形で与えることで自然に記述できる、という話もあって、 Rust でのコンビネータはそれを支援しますし、あるいは Haskell の >>= なども (Maybe や Either については)そういう使い方になるかと

.? みたいな演算子は、フィールド参照にしか使えなくてロジックを繋げられないので、そこで if が必要になってしまうのがしょーもないという

或いは Rust や Haskell ではそのまま代数的データ型で素朴に実現されているのでパターンマッチで曖昧さなく書けるけど、暗黙の null を持つ言語はどうなの、とか

Java に optional が入ったときもコンビネータが大層ショボく、結局 if 必要じゃん使えねーな、と思った記憶がある

std::option::Option - Rust - https://doc.rust-lang.org/std/option/enum.Option.html
std::result::Result - Rust - https://doc.rust-lang.org/std/result/enum.Result.html

このメンバ関数群がそれはもう便利なんですわ

文字列と文字をもらって Option<usize> を返す？

このアカウントは、notestockで公開設定になっていません。

optional なんて C++ にさえあるし……

Java にも一応ね……(一応)

このアカウントは、notestockで公開設定になっていません。

ほんまこれ

unwrap_or 相当のものとか map とか、その程度のものもないと結局手書き if することになるのでクソ(それでも暗黙 null の256倍マシだけど)

unwrap 、本来失敗が起こり得ない場合に使う傾向があり、 C++ で言うところの assert に近いものです

大雑把には
「assert は論理バグ、 throw は実行時データ関係のバグ」
とか
「assert はライブラリの責任、例外はライブラリ利用者の責任」
みたいな傾向がありますが、 Rust では例外の代わりに Result を使って、 assert かけるほどの確信は unwrap() や expect() で表現します(個人の感想)

それ極めると refinement data type (篩型)になると思うんですが、型推論で SMT ソルバなどが必要になるので……

liquid haskell とか

或いは C++ や Rust では strong typedef (opaque typedef) という技法があり、これを使うことで実質的にそういった型は定義可能です

opaque_typedef/atleast2items.rs at e6a4c1ac3b960577521db4799a908a65647c2599 · lo48576/opaque_typedef - https://github.com/lo48576/opaque_typedef/blob/e6a4c1ac3b960577521db4799a908a65647c2599/opaque_typedef_tests/src/atleast2items.rs

たとえば「2つ以上の要素を必ず持つ配列」型を定義した例です

これがそのテスト:
https://github.com/lo48576/opaque_typedef/blob/e6a4c1ac3b960577521db4799a908a65647c2599/opaque_typedef_tests/tests/atleast2items.rs

strong typedef 、物理単位つきの整数や小数などに使われがちです(あと「エスケープ済み文字列型」とか)

strong typedef する場合、「開発者の視点ではある型は制約を満たす値しか持てない」ことを保証しますが、その制約チェックは実行時に(コンストラクタ内などで暗黙に)行われるケースが多いです

これをコンパイル時に保証しようとすると大変なことになるので

そうですね

strong typedef 、大抵は内部表現が既存の型になるし演算も内部の型にそのまま転送されるので、オーバーヘッドも(制約チェック以外は)ほとんどないので十分に実用できます

制約チェックさえ気になるなら、デバッグビルドでのみ assert をかけるとかで対処できます(その場合リリースビルドで不正な値を食らうリスクがあるのでアレだけど)

lo48576/opaque_typedef: Easy opaque typedef for Rust programming language - https://github.com/lo48576/opaque_typedef
手前味噌ですが opaque typedef で楽をするためのライブラリです

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

型を作って分別するのと、制約をコンパイル時に守らせて検証するのは別の問題なので……(無論同時に実装することはできるけど)

このアカウントは、notestockで公開設定になっていません。

再燃する携帯大手3社の「テザリング有料化」問題 - ケータイ Watch - https://k-tai.watch.impress.co.jp/docs/column/mca/1113120.html

勘弁してほしいが

このアカウントは、notestockで公開設定になっていません。

このアカウントは、notestockで公開設定になっていません。

餅の unicode 絵文字探したけどなかった

UnidEntified Flying Object (UEFI)

せっかくだしこれは #gentooinstallbattle の機運が高まっているということでは

このアカウントは、notestockで公開設定になっていません。

あなたとSKK,
いますぐCtrl+
　　　J

https://twitter.com/osa_k/status/195462326818840576 #tw