Jonkman Microblog
  • Login
Show Navigation

  • Public

    • Public
    • Network
    • Groups
    • Popular
    • People

Notices by Internet Turtle Ⓐ (taknamay@quitter.se), page 9

  1. Internet Turtle Ⓐ (taknamay@quitter.se)'s status on Tuesday, 31-Oct-2017 06:52:53 EDT Internet Turtle Ⓐ Internet Turtle Ⓐ
    in reply to
    • Internet Turtle Ⓐ
    Rust also seems to have good macros
    In conversation Tuesday, 31-Oct-2017 06:52:53 EDT from quitter.se permalink
  2. Internet Turtle Ⓐ (taknamay@quitter.se)'s status on Tuesday, 31-Oct-2017 06:47:55 EDT Internet Turtle Ⓐ Internet Turtle Ⓐ
    Hmm just realized that Julia internally uses s-expressions.
    In conversation Tuesday, 31-Oct-2017 06:47:55 EDT from quitter.se permalink
  3. Internet Turtle Ⓐ (taknamay@quitter.se)'s status on Monday, 30-Oct-2017 21:47:47 EDT Internet Turtle Ⓐ Internet Turtle Ⓐ
    in reply to
    • Internet Turtle Ⓐ
    It will result in a rather unexpressive type system but the implementation will be simpler that way.
    In conversation Monday, 30-Oct-2017 21:47:47 EDT from quitter.se permalink
  4. Internet Turtle Ⓐ (taknamay@quitter.se)'s status on Monday, 30-Oct-2017 21:47:07 EDT Internet Turtle Ⓐ Internet Turtle Ⓐ
    in reply to
    • Internet Turtle Ⓐ
    Now that I am digging into it, I am not sure whether I am aiming for "Typed Racket" or "mypy" level of complexity... I am thinking mypy
    In conversation Monday, 30-Oct-2017 21:47:07 EDT from quitter.se permalink
  5. Internet Turtle Ⓐ (taknamay@quitter.se)'s status on Monday, 30-Oct-2017 20:08:29 EDT Internet Turtle Ⓐ Internet Turtle Ⓐ
    in reply to
    • Internet Turtle Ⓐ
    Note that these types are only for static analysis, and will be completely ignored during runtime.
    In conversation Monday, 30-Oct-2017 20:08:29 EDT from quitter.se permalink
  6. Internet Turtle Ⓐ (taknamay@quitter.se)'s status on Monday, 30-Oct-2017 20:07:38 EDT Internet Turtle Ⓐ Internet Turtle Ⓐ
    in reply to
    • Internet Turtle Ⓐ
    Alternatively I could base it directly off of typed racket. That would also extend the syntax while keeping compatibility.
    In conversation Monday, 30-Oct-2017 20:07:38 EDT from quitter.se permalink
  7. Internet Turtle Ⓐ (taknamay@quitter.se)'s status on Monday, 30-Oct-2017 20:06:46 EDT Internet Turtle Ⓐ Internet Turtle Ⓐ
    in reply to
    • Internet Turtle Ⓐ
    I am thinking the best way is to introduce the new forms typed-define, typed-lambda, and typed-let. Let me know if you have better ideas.
    In conversation Monday, 30-Oct-2017 20:06:46 EDT from quitter.se permalink
  8. Internet Turtle Ⓐ (taknamay@quitter.se)'s status on Monday, 30-Oct-2017 20:05:36 EDT Internet Turtle Ⓐ Internet Turtle Ⓐ
    • Scheme Programming Language
    !scheme I have finally decided to begin writing a SRFI for optional type annotations. I am writing a type checker and it's going well.
    In conversation Monday, 30-Oct-2017 20:05:36 EDT from quitter.se permalink
  9. Internet Turtle Ⓐ (taknamay@quitter.se)'s status on Monday, 30-Oct-2017 00:01:40 EDT Internet Turtle Ⓐ Internet Turtle Ⓐ
    Does a high-inflation altcoin discourage hoarding?
    In conversation Monday, 30-Oct-2017 00:01:40 EDT from quitter.se permalink
  10. Internet Turtle Ⓐ (taknamay@quitter.se)'s status on Sunday, 29-Oct-2017 23:52:51 EDT Internet Turtle Ⓐ Internet Turtle Ⓐ
    Who wants to invest in my new company "iBlockchain Synergy"?
    In conversation Sunday, 29-Oct-2017 23:52:51 EDT from quitter.se permalink
  11. Miaourt (technowix@niu.moe)'s status on Sunday, 29-Oct-2017 20:56:52 EDT Miaourt Miaourt

    #niu #kube https://niu.moe/media/tXcSG44GLA-3khX_RC8

    In conversation Sunday, 29-Oct-2017 20:56:52 EDT from niu.moe permalink Repeated by taknamay
  12. Efi (nap pet) 🐱💤 (efi@mastodon.social)'s status on Sunday, 29-Oct-2017 16:31:25 EDT Efi (nap pet) 🐱💤 Efi (nap pet) 🐱💤

    lesbian bunnies aka lesbuns

    In conversation Sunday, 29-Oct-2017 16:31:25 EDT from mastodon.social permalink Repeated by taknamay
  13. Internet Turtle Ⓐ (taknamay@quitter.se)'s status on Sunday, 29-Oct-2017 14:07:58 EDT Internet Turtle Ⓐ Internet Turtle Ⓐ
    • H. Faust
    @hfaust yes I think so too!
    In conversation Sunday, 29-Oct-2017 14:07:58 EDT from quitter.se permalink
  14. Internet Turtle Ⓐ (taknamay@quitter.se)'s status on Sunday, 29-Oct-2017 12:07:22 EDT Internet Turtle Ⓐ Internet Turtle Ⓐ
    in reply to
    • lnxw48a1
    @lnxw48a1 Indeed I shall
    In conversation Sunday, 29-Oct-2017 12:07:22 EDT from quitter.se permalink
  15. Internet Turtle Ⓐ (taknamay@quitter.se)'s status on Sunday, 29-Oct-2017 11:53:42 EDT Internet Turtle Ⓐ Internet Turtle Ⓐ
    • H. Faust
    @hfaust I found it from here https://movim.eu/ GNU social needs it too
    In conversation Sunday, 29-Oct-2017 11:53:42 EDT from quitter.se permalink
  • After
  • Before
  • Help
  • About
  • FAQ
  • TOS
  • Privacy
  • Source
  • Version
  • Contact

Jonkman Microblog is a social network, courtesy of SOBAC Microcomputer Services. It runs on GNU social, version 1.2.0-beta5, available under the GNU Affero General Public License.

Creative Commons Attribution 3.0 All Jonkman Microblog content and data are available under the Creative Commons Attribution 3.0 license.

Switch to desktop site layout.