"Formal semantics for multi-language programs" by Amal Ahmed

Поделиться
HTML-код
  • Опубликовано: 26 дек 2024

Комментарии • 7

  • @capability-snob
    @capability-snob Год назад +9

    If, like me, you need more of this, Amal Ahmed gave a brilliant class at OPLSS that is on youtube. It's sublimely interesting and presented with the same degree of enthusiasm and power on display here, and presents some truly intriguing design decisions that can be made at this boundary. I've been meaning to catch up with what her group are working on, so stoked to see she's at strange loop!

  • @IDisposable
    @IDisposable Год назад +1

    Absolutely the best talk this year. I learned so much.

  • @Etudio
    @Etudio Год назад +1

    Excellent presentation! Thank you Amal! Miss you much. God bless RichWASM.

  • @jimhrelb2135
    @jimhrelb2135 Год назад

    21:23 Jane Street just made this transition so so much better

  • @valentinussofa4135
    @valentinussofa4135 Год назад

    Amazing👏She is a legend.

  • @Tony-dp1rl
    @Tony-dp1rl Год назад +3

    16:28 I was a C programmer professionally for years in the 90's, and I remember Zero as success, not an error, in every system and code base I can recall. How odd that she said Zero is an error in C.

    • @naturallyinterested7569
      @naturallyinterested7569 Год назад +8

      With integer-valued functions that's true, you usually return negative values on error (e.g. most of linux kernel functions), but for pointers it's usually NULL, and I'm guessing from her pov that's the more likely case, as you usually pass your data across language boundaries by heap pointer (because stack and registers very bad for language interop).