[erlang-questions] UBF

Steve Davis <>
Thu Jan 15 13:35:13 CET 2009


Thanks both for your input :)


On Jan 15, 5:34 am, Hynek Vychodil <> wrote:
> UBF type system is not expressive as real project can need. Would be usable
> if types can by described in functional manner:
>      metaIn() = {meta, name(), author()};
>      metaOut() = {meta, name(), author(), timestamp()};
>      metric(X) = {metric, X, content()};
>      metricIn() = metric(metaIn());
>      metricOut() = metric(mataOut());

Hynek - I'm probably wrong(?) but can't that example be expressed
legally as:

metaIn() = {meta, name(), author()};
metaOut() = {meta, name(), author(), timestamp()};
metric() = {metric, metaIn(), content()} | {metric, metaOut(), content
()}.


Thanks again all for the feedback - I"m committing to prototyping
using UBF at the very least :)
/s



More information about the erlang-questions mailing list