News for hackers. Stuff that matters.

A comment on Show HN: Ruby static type checker – proof of concept. Parent comment

Re:Show HN: Ruby static type checker – proof of concept by kyleashipley on Sunday October 22, 2017 @11:54PM (#15530596)
From what I could gather from this talk at Strangeloop, RDL seems like an evolution or expansion of Diamondback: https://m.youtube.com/watch?v=buY54I7mEjA (See ~21:30ish for discussion of the various attempts along the way.)

Was a really interesting and well-done talk, IMO. I am not a type system geek, but thought it was fascinating to hear all of the tradeoffs that go into designing a system like this.

[ Parent | on HN ]
Re:Show HN: Ruby static type checker – proof of concept by stereobooster on Monday October 23, 2017 @05:41AM (#15531903)
RDL and Diamondback have a different approach. Diamondback works with given code without modification and able to find (some) errors, RDL needs code modification. See this issue https://github.com/plum-umd/rdl/issues/33#issuecomment-31707...
[ Parent | on HN ]