haliq

2 ms·

1. 1.▲
   by haliq 4y ago

   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 is a core language. But its not hard to read between the li
2. 2.▲
   by haliq 4y ago

   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 again, we have a much different notion of function here. And i
3. 3.▲
   by haliq 4y ago

   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. Meaning its a constraint on the lhs and rhs. Unification is also
4. 4.▲
   by haliq 4y ago

   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 values, which is semantically falsy in the language.