dotty-internals

Great!! Thanks. Klaus On Tuesday, August 8, 2017 at 12:59:16 PM UTC-7, Klaus Havelund wrote: I would

JSR-223 is not supported by Dotty currently, someone would have to adapt the work that was done for

Hi Andrzej, Thanks for writing. You are right that the implementation has a formal bug. Strange that

Hi George, Yes, there's a bunch of warnings in the build which should all (hopefully) be benign,

Our CI seems to hang since this morning. No new jobs are accepted. Fabien tried to restart but that

This can be done in Scala but the syntactic sugar around this is the most limited compared to other

On Fri, Oct 28, 2016 at 11:27 AM, Paolo Giarrusso <p.gia...@gmail.com> wrote: On Thursday,

Some interesting research happening here: https://secure-compilation.github.io/

Since Dotty is getting model function capabilities it is great if access modifies are treated within

Points to consider: Precedence groups Associativity Properties

Though this might be of interest: http://neverworkintheory.org/2014/01/29/stefik-siebert-syntax.html

Hello, http://typedclojure.org/ has the following intereting features: Idiomatic structural typing

OM (http://groupoid.space/om.htm) / EXEC (http://groupoid.space/exe.htm) by http://groupoid.space/

Containt typing in X10 Language (Sec 4.5 - http://x10.sourceforge.net/documentation/languagespec/x10-

Hello, If you are going to track Effects then there is incrementally little addition to track Type

Glad this it helpful in improving effects in Dotty. On 29 July 2016 at 09:50, Nada Amin <namin@

Thanks for the answer ! And I'm thrilled by the idea of having burden-free ADT definition -

Huh, I was under the impression that since the pattern matching is labeled as "under

Dear Dotty Team, I'm a computer science student from Germany and I'm interested in

Sounds great! How much of it are you volunteering for? On Mon, May 23, 2016, 11:49 PM Suminda

Instead of being default JVM targeting going forward is it possible to equally target all 3 backends

Can you add ability to have conditional / context based rewrites. Say rewrite only if x is annotated.

I second this question. Outside Scala there exist families of operators that may have any aritiy,

These might be useful: http://tomasp.net/coeffects/ http://tomasp.net/academic/papers/structural/

From HigherKinded-v2.md The core idea: A parameterized class such as class Map[K, V] is treated as

Hi, I had promised to talk with the dotty team about my SIP draft* on named type parameters and

Are there any efforts on creating a Dotty editor?

On Monday, November 2, 2015 at 9:50:28 AM UTC-5, Leonard Ehrenfried wrote: Unfortunately I'm not

Hi Jon, Yes, that's intentionally forbidden. Your only workaround is to rename one of the Inner

Is there already a mechanism implemented that allows users of the PC to abort it. Generally,