hisso.li
  • Login
Show Navigation
  • Public

    • Groups

Notices by Q (masterq@pawoo.net), page 42

  1. Q (masterq@pawoo.net)'s status on Sunday, 21-Jul-2019 19:57:35 JST Q Q

    Loop labelとかあるんだ。。。retryのgotoみたいな使い方を想定しているんでしょうか #Rust / "Loops" https://doc.rust-lang.org/1.7.0/book/loops.html

    In conversation Sunday, 21-Jul-2019 19:57:35 JST from pawoo.net permalink
  2. Q (masterq@pawoo.net)'s status on Sunday, 21-Jul-2019 19:56:44 JST Q Q

    はー。。。Rustはbreakとcontinueがあってすごいなぁ。。。

    In conversation Sunday, 21-Jul-2019 19:56:44 JST from pawoo.net permalink
  3. Q (masterq@pawoo.net)'s status on Sunday, 21-Jul-2019 07:07:42 JST Q Q

    うーん。ネタで #れいわ ってしまいました、、、万が一の時には皆様ごめんなさい

    In conversation Sunday, 21-Jul-2019 07:07:42 JST from pawoo.net permalink
  4. Q (masterq@pawoo.net)'s status on Saturday, 20-Jul-2019 20:27:53 JST Q Q

    Red => Green => Red => 寝る => 起きる => Red => Green => Red => 寝る => 起きる ... したい。。。

    In conversation Saturday, 20-Jul-2019 20:27:53 JST from pawoo.net permalink
  5. Q (masterq@pawoo.net)'s status on Saturday, 20-Jul-2019 16:48:50 JST Q Q

    やっぱりundefined例外が起きる条件はむつかしい #Haskell

    In conversation Saturday, 20-Jul-2019 16:48:50 JST from pawoo.net permalink
  6. Q (masterq@pawoo.net)'s status on Saturday, 20-Jul-2019 16:39:16 JST Q Q

    人生にプログレスバーが欲しいです。。。

    In conversation Saturday, 20-Jul-2019 16:39:16 JST from pawoo.net permalink
  7. Q (masterq@pawoo.net)'s status on Saturday, 20-Jul-2019 14:55:17 JST Q Q

    うーん。何度も構造をなめてしまう。。。1パスにしたい。。。

    In conversation Saturday, 20-Jul-2019 14:55:17 JST from pawoo.net permalink
  8. Q (masterq@pawoo.net)'s status on Saturday, 20-Jul-2019 13:11:30 JST Q Q

    foldr達人になりたかったです。。。

    In conversation Saturday, 20-Jul-2019 13:11:30 JST from pawoo.net permalink
  9. Q (masterq@pawoo.net)'s status on Saturday, 20-Jul-2019 13:11:06 JST Q Q

    わけがわからなくなるとすぐ再帰を書いてしまう。。。

    In conversation Saturday, 20-Jul-2019 13:11:06 JST from pawoo.net permalink
  10. Q (masterq@pawoo.net)'s status on Saturday, 20-Jul-2019 12:47:58 JST Q Q

    猫だけが生き甲斐

    In conversation Saturday, 20-Jul-2019 12:47:58 JST from pawoo.net permalink
  11. Q (masterq@pawoo.net)'s status on Saturday, 20-Jul-2019 12:47:48 JST Q Q

    もう今年は猫のことしか考えられない。。。

    In conversation Saturday, 20-Jul-2019 12:47:48 JST from pawoo.net permalink
  12. Q (masterq@pawoo.net)'s status on Saturday, 20-Jul-2019 10:46:06 JST Q Q

    ゲンブツアワセで。。。

    In conversation Saturday, 20-Jul-2019 10:46:06 JST from pawoo.net permalink
  13. Q (masterq@pawoo.net)'s status on Saturday, 20-Jul-2019 10:45:57 JST Q Q

    ところどころパーサとプリンタでリストの順序が逆になっている気がする。。。

    In conversation Saturday, 20-Jul-2019 10:45:57 JST from pawoo.net permalink
  14. Q (masterq@pawoo.net)'s status on Saturday, 20-Jul-2019 10:19:35 JST Q Q

    HongweiちゃんとVanessaがフュージョンして一体化した脳を持ってほしい。。。

    In conversation Saturday, 20-Jul-2019 10:19:35 JST from pawoo.net permalink
  15. Q (masterq@pawoo.net)'s status on Saturday, 20-Jul-2019 10:18:04 JST Q Q

    いや。これは書きたいでしょ。。。 #ATS
    val () = case c of
    | _ when c = '1' || c = '2' || c = '3' => ret := 1
    | ' ' => ret := 2
    | _ => ret := 3

    In conversation Saturday, 20-Jul-2019 10:18:04 JST from pawoo.net permalink
  16. Q (masterq@pawoo.net)'s status on Saturday, 20-Jul-2019 10:17:26 JST Q Q

    げろん。language-atsでパースできないコードを書いてしまった。いよいよライブラリ側にも梃入れが必要。。。

    In conversation Saturday, 20-Jul-2019 10:17:26 JST from pawoo.net permalink
  17. Q (masterq@pawoo.net)'s status on Saturday, 20-Jul-2019 09:24:54 JST Q Q

    やっぱりあった
    contrib/ATS-extsolve-z3/DATS/SOLVING/patsolve_z3_solving_smtenv.dats:case+ 0 of
    contrib/ATS-extsolve-z3/DATS/SOLVING/patsolve_z3_solving_smtenv.dats-| _ when ans = Z3_L_TRUE => 1
    contrib/ATS-extsolve-z3/DATS/SOLVING/patsolve_z3_solving_smtenv.dats-| _ when ans = Z3_L_FALSE => ~1

    In conversation Saturday, 20-Jul-2019 09:24:54 JST from pawoo.net permalink
  18. Q (masterq@pawoo.net)'s status on Saturday, 20-Jul-2019 09:04:45 JST Q Q

    なんでML流行らなかったの。。。辛い。。。

    In conversation Saturday, 20-Jul-2019 09:04:45 JST from pawoo.net permalink
  19. Q (masterq@pawoo.net)'s status on Saturday, 20-Jul-2019 09:00:20 JST Q Q

    caseでパターンマッチじゃなくて条件式で分岐できなかったでしたっけ、、、これはHaskellの記憶か。。。

    In conversation Saturday, 20-Jul-2019 09:00:20 JST from pawoo.net permalink
  20. Q (masterq@pawoo.net)'s status on Saturday, 20-Jul-2019 08:59:42 JST Q Q

    なんとかしてcaseを使いたい。。。

    In conversation Saturday, 20-Jul-2019 08:59:42 JST from pawoo.net permalink
  • After
  • Before
  • Help
  • About
  • FAQ
  • Privacy
  • Source
  • Version
  • Contact

hisso.li is a social network. It runs on GNU social, version 2.0.0-alpha0, available under the GNU Affero General Public License.

Creative Commons Attribution 3.0 All hisso.li content and data are available under the Creative Commons Attribution 3.0 license.

Switch to desktop site layout.