Keean Schupke

> And closures provide encapsulation which another property of modularity, which is important for reasons such as security and enforcing semantic invariants. See the article on Midori you linked to,...

@sighoya I don't understand, you can simply write: ``` typeclass C1(S, A, B) a : S -> A b : S -> B ``` `a(record) -> record.a()` is simply a...

@sighoya > What about default values in typeclasses and importing values from other records, do you want to realize that by manual copying? Personally I want instances to be non-overlapping,...

> I don't understand. You have to have a way to lift types and functions out of Javascript into Zenscript. There are only two realistic options: > > Provide binding...

I an going to start with this simple syntax: ``` foreign console.log(String) : () ``` To bring the foreign function into scope with the specified type.

> The type of JavaScript stuff is always any and thus we can't do anything with it in our type system. We have to have wrappers that actually check values...

@shelby3 it might be a double, I will check, but the principle is this will let us write any wrapper code for native inside our language where things are type...

I would rather have monadic types for impurity. In this way we have a sound type system that can be expanded for full effects support. I would like to have...

Lets assume we have monadic types, and that all functions are in some monad (as we want to allow imperative style statements anywhere). Further lets assume we have a monadic...

Technically in an imperative language where any statement can perform IO to any external service, every function is in a monad :-) The threaded state is the 'world' and `return`...