home.social

#ats1 — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #ats1, aggregated by home.social.

  1. Barry Schwartz 🫖 @[email protected] ·
    CW: Computer programming

    I am really getting the masochistic urge make #ATS2 self-hosting, now that it is a frozen language.

    I mean, it’s written in #ATS1, and that’s not a very different language. It’s mostly ‘ATS without the template system’.

    (The ATS2 prelude is somewhat buggy but my ats2-xprelude package kind of makes that not-much-of-a-problem. This is because, unlike in some languages that were misguidedly and foolishly designed, shadowing is both allowed and very flexible.)

    #ats2 #ats1
  2. Barry Schwartz 🫖 @[email protected] ·
    CW: Computer programming

    I am really getting the masochistic urge make #ATS2 self-hosting, now that it is a frozen language.

    I mean, it’s written in #ATS1, and that’s not a very different language. It’s mostly ‘ATS without the template system’.

    (The ATS2 prelude is somewhat buggy but my ats2-xprelude package kind of makes that not-much-of-a-problem. This is because, unlike in some languages that were misguidedly and foolishly designed, shadowing is both allowed and very flexible.)

    #ats2 #ats1
  3. Barry Schwartz 🫖 @[email protected] ·
    CW: Computer programming

    I am really getting the masochistic urge make #ATS2 self-hosting, now that it is a frozen language.

    I mean, it’s written in #ATS1, and that’s not a very different language. It’s mostly ‘ATS without the template system’.

    (The ATS2 prelude is somewhat buggy but my ats2-xprelude package kind of makes that not-much-of-a-problem. This is because, unlike in some languages that were misguidedly and foolishly designed, shadowing is both allowed and very flexible.)

    #ats2 #ats1
  4. Barry Schwartz 🫖 @[email protected] ·
    CW: Computer programming

    I am really getting the masochistic urge make #ATS2 self-hosting, now that it is a frozen language.

    I mean, it’s written in #ATS1, and that’s not a very different language. It’s mostly ‘ATS without the template system’.

    (The ATS2 prelude is somewhat buggy but my ats2-xprelude package kind of makes that not-much-of-a-problem. This is because, unlike in some languages that were misguidedly and foolishly designed, shadowing is both allowed and very flexible.)

    #ats1 #ats2
  5. Barry Schwartz 🫖 @[email protected] ·
    CW: Computer programming

    I am really getting the masochistic urge make #ATS2 self-hosting, now that it is a frozen language.

    I mean, it’s written in #ATS1, and that’s not a very different language. It’s mostly ‘ATS without the template system’.

    (The ATS2 prelude is somewhat buggy but my ats2-xprelude package kind of makes that not-much-of-a-problem. This is because, unlike in some languages that were misguidedly and foolishly designed, shadowing is both allowed and very flexible.)

    #ats2 #ats1