News for hackers. Stuff that matters.
Re:Runtime verification in Erlang by using contracts by kevintb on Wednesday February 06, 2019 @04:17PM (#19100069)
https://github.com/tamarit/edbc for those who want to see the implementation
Re:Runtime verification in Erlang by using contracts by reallydude on Wednesday February 06, 2019 @06:03PM (#19101054)
When trying to write a demonstration of how something works, why not make it expressive, explicit, and dead simple when attempting to demonstrate the utility of something?

It just looks like a thunk of code, with little rhyme or reason.

Re:Runtime verification in Erlang by using contracts by BenMorganIO on Wednesday February 06, 2019 @07:04PM (#19101569)
I gotta agree. The readme itself describes nothing. The code to me feels useless without documentation on how to use it.

Otherwise, I have to painstakingly go through their source or read 19 pages of small font. I don't want to do that.