News for hackers. Stuff that matters.

A comment on Runtime verification in Erlang by using contracts. Parent comment

Re:Runtime verification in Erlang by using contracts by pjmlp on Thursday February 07, 2019 @03:10AM (#19103797)
Eiffel the language has been available in some variants for free, for a couple of decades.

https://www.liberty-eiffel.org/

http://smarteiffel.loria.fr/

Just like with Smalltalk and Common Lisp, a language without the respective developer experience, isn't that attractive.

[ Parent | on HN ]
Re:Runtime verification in Erlang by using contracts by mhd on Thursday February 07, 2019 @04:07AM (#19103989)
For a while SmartEiffel did enjoy some popularity, bindings to libraries where created etc. But it fell back, Eiffel moved on, and so did fickle OSS developers. And while Bertrand Meyer succeeded Niklaus Wirth as a professor at ETH Zurich, Eiffel didn't succeed Pascal in popularity as an academic programming language.

And did you actually like the EiffelStudio dev experience? I thought that was the weakest part of the whole offering (as opposed to CL and SmallTalk, by the way). And I like BON about as much as UML.

[ Parent | on HN ]
Re:Runtime verification in Erlang by using contracts by pjmlp on Thursday February 07, 2019 @07:56AM (#19104889)
Yes, in the sense that it is much better than using plain vi or emacs. Smalltalk and CL are hard to beat, I do agree there.

I do enjoy using UML, not the extreme case of compiling UML to native code as promised in the 90's, but surely for application architecture and data flows.

I was quite pleased that my previous customer allowed externals access to their Enterprise Architect pool licenses.

[ Parent | on HN ]