GNU social JP
  • FAQ
  • Login
GNU social JPは日本のGNU socialサーバーです。
Usage/ToS/admin/test/Pleroma FE
  • Public

    • Public
    • Network
    • Groups
    • Featured
    • Popular
    • People

Notices by Laurence Tratt (ltratt@mastodon.social)

  1. Embed this notice
    Laurence Tratt (ltratt@mastodon.social)'s status on Thursday, 15-Jun-2023 06:27:52 JST Laurence Tratt Laurence Tratt
    in reply to
    • Andy Wingo
    • Stephen Kell
    • CF Bolz-Tereick

    @wingo @stephenrkell @cfbolz I agree -- when one opts in to TCO, one implicitly accepts the lack of stack traces.

    In conversation Thursday, 15-Jun-2023 06:27:52 JST from mastodon.social permalink
  2. Embed this notice
    Laurence Tratt (ltratt@mastodon.social)'s status on Thursday, 15-Jun-2023 06:27:39 JST Laurence Tratt Laurence Tratt
    in reply to
    • Andy Wingo
    • Stephen Kell
    • CF Bolz-Tereick

    @stephenrkell @cfbolz @wingo Many years ago I wrote a blog post on the downsides of tail calls on debugging https://tratt.net/laurie/blog/2004/tail_call_optimization.html only to discover later that at least one paper (Smith and Ungar, cited at the end in an update) had also alluded to the problem. I've sometimes wondered: how soon after tail calls were introduced did the debugging downsides become known?

    In conversation Thursday, 15-Jun-2023 06:27:39 JST from mastodon.social permalink

    Attachments


User actions

    Laurence Tratt

    Laurence Tratt

    Shopify / Royal Academy of Engineering Research Chair in Language Engineering.

    Tags
    • (None)

    Following 0

      Followers 0

        Groups 0

          Statistics

          User ID
          136482
          Member since
          14 Jun 2023
          Notices
          2
          Daily average
          0

          Feeds

          • Atom
          • Help
          • About
          • FAQ
          • TOS
          • Privacy
          • Source
          • Version
          • Contact

          GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.

          Creative Commons Attribution 3.0 All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.