A modern programming language that makes developers happier.

kotlinlang

so, I was thinking about event semantics and I've stumbled across an old problem I had with java, I'm wondering if you guys have thought about it here:

```
val x = object: SomeInterface {
  fun doStuff() { println("hello!" )
}

//...

x.doStuff() //compiler failure: SomeInterface doesnt have 'doStuff()'
```

I'm wondering if maybe it would be useful for type-inference to actually infer into non-denotable types? I don't know if this is a language feature that addresses a specific use case --although, of course, C# has its entirely anonymous objects with typed-properties, which i suppose is analogous, and helpful for LINQ-queries-- but I've always thought its funny.