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
[ Parent
| on HN ]
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.