Leverage Effect Infrastructure

[Suminda Dharmasena]

Some thoughts:

• GC Less computation for Scala Native when doing whole program optimisation
  
• Safe and leakless resource access
• Aggressive Optimisation - What ultimately matters is the minimum steps (or resource usage in terms of CPU and memory) to convert any input to output. If any code can be fully or partly evaluated or reduced at compile time it is worthwhile to do so.

[Suminda Dharmasena]

Perhaps Substructural type system maybe of interest to make this work. 

[Suminda Dharmasena]

In a language targeted to the JVM certain effects do not make much sense but with a view to leverage from them in back ends perhaps please be flexible in tracking effects like memory use, cycle use. When you track and infer these obscure effects there would be and issue of which are strong effects and which are weak. -> and => can distinction can be from the strength of the effect. Weak effects will not hinder purity. Nim and F* are interesting on their usage of effects which might also merit some study.

[Suminda Dharmasena]

http://www.eff-lang.org/ might be of interest when implienting effects. Also http://andromedans.github.io/andromeda/, http://erights.org/ by common authors / contributors.

[Suminda Dharmasena]

Glad this it helpful in improving effects in Dotty.

On 29 July 2016 at 09:50, Nada Amin <na...@alum.mit.edu> wrote:

Thanks for the reminders.

On Fri, Jul 29, 2016 at 5:43 AM, Suminda Dharmasena <sirina...@gmail.com> wrote:

http://www.eff-lang.org/ might be of interest when implienting effects. Also http://andromedans.github.io/andromeda/, http://erights.org/ by common authors / contributors.

--
You received this message because you are subscribed to the Google Groups "dotty-internals" group.
To unsubscribe from this group and stop receiving emails from it, send an email to dotty-interna...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.