Exactly!
2016-09-21 15:50 GMT+02:00 'Rupert Smith' via Elm Discuss <
elm-discuss@googlegroups.com>:
> On Wednesday, September 21, 2016 at 10:42:49 AM UTC+1, Janis Voigtländer
> wrote:
>>
>> This type is very special. The definition in Elm is solely a placeholder,
>> the actual implementation is
On Wednesday, September 21, 2016 at 10:42:49 AM UTC+1, Janis Voigtländer
wrote:
>
> This type is very special. The definition in Elm is solely a placeholder,
> the actual implementation is in native code. You should not think further
> about this trickery, assuming you want to program Elm, not
That’s because it is an effect module. There is no documentation yet about
writing effect modules. Quite deliberately, I think.
2016-09-21 11:48 GMT+02:00 'Rupert Smith' via Elm Discuss <
elm-discuss@googlegroups.com>:
> On Tuesday, September 20, 2016 at 2:03:49 PM UTC+1, Rupert Smith wrote:
On Tuesday, September 20, 2016 at 2:03:49 PM UTC+1, Rupert Smith wrote:
>
> The docs around the basics of syntax don't really cover this:
> http://elm-lang.org/docs/syntax#type-annotations
>
In the module declaration for Task there is a 'where':
effect module Task where { command = MyCmd }
On Tuesday, September 20, 2016 at 4:25:42 PM UTC+1, Rupert Smith wrote:
>
> type Cmd msg = Cmd
>
I am still a bit perplexed by this. It is a parameterized type, but the
parameter is thrown away and not used. I can only create one of them, since
their is only one constructor.
Given that, why
On Tuesday, September 20, 2016 at 4:53:42 PM UTC+1, Janis Voigtländer wrote:
>
> So the definition of List might look like:
>
> type List a
> = Nil
> | Cons a (List a)
>
> That’s exactly how the definition of List would look like if it didn’t
> have a native implementation.
>
> So it seems you
So the definition of List might look like:
type List a
= Nil
| Cons a (List a)
That’s exactly how the definition of List would look like if it didn’t have
a native implementation.
So it seems you already know everything.
2016-09-20 17:25 GMT+02:00 'Rupert Smith' via Elm Discuss <
Some more questions about types. I just ran into the recursive 'type alias'
issue:
https://github.com/elm-lang/elm-compiler/blob/0.17.1/hints/recursive-alias.md
which is clear enough. It seems a bit of a shame that some of this
documentation is a bit buried away - it really feels like this
