eschew · HackerTrans

eschew

no profile record

Submissions

Two Lovely Talks from POPL 2020 about Real-World Bugs

eschew.wordpress.com

2 pointsby eschewقبل 6 سنوات0 comments

comments

eschew

قبل شهرينdiscuss

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 سنواتdiscuss

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 سنواتdiscuss

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

eschew

قبل 8 سنواتdiscuss

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.