eschew · HackerTrans

eschew

no profile record

投稿

Two Lovely Talks from POPL 2020 about Real-World Bugs

eschew.wordpress.com

2 ポイント投稿者 eschew6 年前0 コメント

2 か月前議論

Here is a public report from the TRACTOR evaluation team: https://github.com/DARPA-TRACTOR-Program/Reports/blob/main/F...

There are also some papers being published that were funded by TRACTOR, such as https://homes.cs.washington.edu/~mernst/pubs/c-rust-macros-p...

eschew

8 年前議論

mkPlayer can be simplified further!

  mkPlayer :: Maybe Weapon -> Class -> Either Error Player

  mkPlayer (Just Staff) Warrior = Left "A Warrior cannot equip a Staff"
  mkPlayer (Just Sword) Wizard = Left "A Wizard cannot equip a Sword"
  mkPlayer weapon klass = Right (Player weapon klass)

eschew

8 年前議論

Ah, they are corrections to the article's incorrect statements! I apologize for the ambiguity.

eschew

8 年前議論

At least two of the article's statements about LLVM are false. In particular:

1) LLVM doesn't place any restrictions on how a language runtime allocates memory.

2) LLVM doesn't "expect" a stack map -- it provides infrastructure to compute them if the front end wants to, but the front end is completely free to ignore that infrastructure.