Jonathan Immanuel Brachthäuser

icon company University of Tübingen icon location Tübingen icon location Jun. Professor of Software Engineering at University of Tübingen, working on effect systems, control flow, and more.

Results 283 comments of Jonathan Immanuel Brachthäuser

Add types to symbol outline

See also https://github.com/effekt-lang/effekt/tree/feature/llm

Add types to symbol outline

Hey @marvinborner what are the next steps here?

Make LLVM's stack growable

Thanks for the benchmarks, do I read it correctly that `triples` and `tree_explore` basically disappear, because they are much faster?

Make LLVM's stack growable

Most continuation heavy benchmarks seem to be much faster, except parsing dollars. That's strange

Make LLVM's stack growable

Thanks @marvinborner !

Appending lists in the standard library

Ultimately yes, but I would wait with it

Cleanup for #531

Hey @marzipankaiser what do you want to do with this PR?

No supertype allowed in handler return

What would you expect, otherwise? The answer type of the handler is `Nothing` unless you upcast it there. We could of course compute the join of the different handlers and...

Incorrect captures for interface operations with block parameters

Yes, that sounds about right

Super-issue: Rethink / re-design "object-system"

I'd like to be able to allocate an object into a region (if it has mutable state). ``` new Foo(x, y) in {r} ``` or maybe ``` interface Foo {...