Viewing profile — haliq

I think your first question will be answered when spj releases details on the type system. And the second when he address the transactional distributed stuff. As of now all we have…

Oh this is new because our notion of expressions; thus functions, are different. Sure you can have terms in types in dependent types; thus functions in types is nothing new. But ag…

After reading the paper and watching the lecture, I think I know what it means that Types are first class values. In verse `=` is unification and not assignment or comparison. Mean…

I think false is sugar for the empty tuple / array. `?` is an operator that turns tuples / arrays back into choices. Thus `false?` can be seen as an expression that returns no valu…