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

Enhance Regex Support in Standard Library for JS Backend

We can just require a newer node version, that shouldn't be a problem.

Enhance Regex Support in Standard Library for JS Backend

Thanks for the PR! I think it is great to have improved regex support in the language. I have one major concern, which is the compatibility with the LLVM backend....

Enhance Regex Support in Standard Library for JS Backend

Which of the extensions that are proposed in this PR are compatible with the regular expressions in POSIX? (https://www.man7.org/linux/man-pages/man3/regex.3.html)

Enhance Regex Support in Standard Library for JS Backend

To clarify: I am not proposing that you should implement the LLVM part. I just want to know what the intersection between posix regex and your proposed features is.

Enhance Regex Support in Standard Library for JS Backend

I'll unassign myself, but let's keep this PR open for now.

Multiline control externs broken by JS semicolon insertion

Would it solve the problem to turn the space after return into a nonbreaking one? https://github.com/effekt-lang/effekt/blob/06dc86e678bef1b9ce3a7f9eda017103db7d0085/effekt/shared/src/main/scala/effekt/generator/js/PrettyPrinter.scala#L58 Edit: Ahh, I see, it's the whitespace of the extern...

Multiline control externs broken by JS semicolon insertion

Here is a proposal: in the JS pretty printer strip whitespace and check that they only have one line or error otherwise. This way we can see, whether we ever...

Add variant of `loop` / `Control` with a return value

The question is whether `do continue` still works, no?

Add variant of `loop` / `Control` with a return value

I restarted the job since it might be flaky.

Mutual recursive objects - when to allow them?

This is an interesting question, which is also related to #274. In general, we need to rethink / redesign the "object-system" anyways. Other aspects are: - toplevel objects (can those...