<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta content="text/html;charset=ISO-8859-1" http-equiv="Content-Type">
</head>
<body bgcolor="#ffffff" text="#000000">
Hm. I'm running into this from time to time. And this time I am really
interested in this.<br>
<br>
However ubf seems to be no longer supported/developed. I doesn't even
compile as it has syntax errors in, for example, contract_lex.erl file<br>
<br>
I wonder if anyone (or may be Joe Armstrong himself ;) ) could continue
work on UBF...<br>
<br>
Christian S wrote:
<blockquote
cite="midbc5c855a0703220121o4bf2456dt5cc190fc2d811879@mail.gmail.com"
type="cite">
<pre wrap="">Have you seen this work? :
<a class="moz-txt-link-freetext" href="http://www.sics.se/~joe/ubf/site/home.html">http://www.sics.se/~joe/ubf/site/home.html</a>
On 3/21/07, Adam Langley <a class="moz-txt-link-rfc2396E" href="mailto:agl@imperialviolet.org"><agl@imperialviolet.org></a> wrote:
</pre>
<blockquote type="cite">
<pre wrap="">But would you mind elaborating on what you had in mind when you spoke
of first-class protocols and a contracts system for them. Are you
thinking of a type-system for protocols? If so, how do you see it
working?
</pre>
</blockquote>
<pre wrap=""><!---->_______________________________________________
erlang-questions mailing list
<a class="moz-txt-link-abbreviated" href="mailto:erlang-questions@erlang.org">erlang-questions@erlang.org</a>
<a class="moz-txt-link-freetext" href="http://www.erlang.org/mailman/listinfo/erlang-questions">http://www.erlang.org/mailman/listinfo/erlang-questions</a>
</pre>
</blockquote>
<br>
</body>
</html>