Re: [elm-discuss] Edit New issue Support for unicode "variables"?

2017-01-19 Thread Joey Eremondi
So, I'm all for internationalization and full Unicode support. But separately, is Japanese the primary language of you or those who will be reading and maintaining your code? Because if not, this seems like a really bad naming practice. It greatly hurts the readability of your code to those who

[elm-discuss] Edit New issue Support for unicode "variables"?

2017-01-19 Thread Matthias Sieber
In certain situations, I've found for me, that choosing a constant/variable name using characters like the kanji "角" instead of the english word "angle" is useful. I've found that I can not do this using elm 0.18.0. Is this something that could be of use to the elm community? As I've just

[elm-discuss] Modeling units of measure with phantom types

2017-01-19 Thread Max Goldstein
As John Kelly pointed out to me in another thread, there's a trick called a "phantom type" that's possible in Elm. It's where a union type has a type variable that's not used on the right side. If you don't expose the constructor, you can use the type to only allow values that have come

[elm-discuss] Re: [early prototype] Elm-Data: a server loading code generator

2017-01-19 Thread John Kelly
Max, Elm does not support phantom types (to my understanding). What do you have > in mind here? How can phantom types represent relationships? > Based on my understanding/definition of Phantom Types, they are very much possible in Elm. An explanation +

Re: [elm-discuss] Re: [early prototype] Elm-Data: a server loading code generator

2017-01-19 Thread Noah Hall
> I'm hesitant to rely on server-side rendering Elm when it's not officially > supported (I say that as the co-author of Elm test and Richard's shell > utility for it does exactly that, so maybe I'm not being consistent). I'm > also a little less concerned with well-formed output, since

[elm-discuss] Re: [early prototype] Elm-Data: a server loading code generator

2017-01-19 Thread 'Rupert Smith' via Elm Discuss
On Thursday, January 19, 2017 at 4:14:15 PM UTC, Rupert Smith wrote: > > On Thursday, January 19, 2017 at 4:10:06 PM UTC, Rupert Smith wrote: >> >> Then I could represent the data models as HAL or JSON-LD >> > > Or JSON-API, there are way too many emerging standards in this area... > Actually, I

[elm-discuss] Re: [early prototype] Elm-Data: a server loading code generator

2017-01-19 Thread 'Rupert Smith' via Elm Discuss
On Thursday, January 19, 2017 at 4:10:06 PM UTC, Rupert Smith wrote: > > Then I could represent the data models as HAL or JSON-LD > Or JSON-API, there are way too many emerging standards in this area... -- You received this message because you are subscribed to the Google Groups "Elm Discuss"

[elm-discuss] Re: [early prototype] Elm-Data: a server loading code generator

2017-01-19 Thread 'Rupert Smith' via Elm Discuss
On Thursday, January 19, 2017 at 5:18:33 AM UTC, Max Goldstein wrote: > > For Elm, I output one (big) file called Model.elm, that gives me the data >> model mapped onto Elm, and encoders and decoders for it. Then for each >> grouping of endpoints (each service implemented in Java provides the