I thought a macro system should be a foundation of an extensible language. 
For example, Binding.scala 
<https://github.com/ThoughtWorksInc/Binding.scala> on Scala.js 
<http://www.scala-js.org/> implemented a reactive web framework based on some 
monads 
<https://github.com/ThoughtWorksInc/Binding.scala/blob/f260ca8/Binding/src/main/scala/com/thoughtworks/binding/Binding.scala#L321>,
 
then, Binding.scala provides a @dom macro that converts simple plain 
expressions into complex higher kinded monadic expressions.

Porting such a similar macro system for elm would give us the ability to 
separate underlying type classes and higher level syntaxes.

在 2016年6月12日星期日 UTC+8上午3:26:55,Isaac Shapira写道:
>
> Continuing the discussion started here:
>
> https://github.com/elm-lang/elm-compiler/issues/1413
>

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

Reply via email to