That's v true, but would things work without types? I suppose they would; but to me part of the semantics is the type checking.
Whenever I think about Elm, I just become fixated with the type checking. Fixated. Love it. Janis: thanks for the link, I took the page as v tongue in cheek. Good link though! On Tue, 12 Jul 2016 at 13:33 Peter Damoc <[email protected]> wrote: > but is there anything ever a type? > > I mean, of course everything in elm HAS a type but you cannot pass around > types and you cannot use them in any way (interrogate, compose) . > > On Tue, Jul 12, 2016 at 2:25 PM, John Orford <[email protected]> > wrote: > >> even values are functions (if we squint hard enough and think about >> church numerals etc. : ) >> >> so I would just amend, "everything's" a type or a function >> >> On Tue, 12 Jul 2016 at 12:26 Peter Damoc <[email protected]> wrote: >> >>> I think you can reuse Haskell's generalization: "everything is a >>> function" >>> >>> In my mind, with Elm, "everything is either a value or a function." :) >>> >>> On Tue, Jul 12, 2016 at 1:13 PM, Galfarragem <[email protected]> >>> wrote: >>> >>>> Using the mental model "everything is a" [1] as a way to generalise >>>> something how would you define Elm? >>>> >>>> [1] - http://c2.com/cgi/wiki?EverythingIsa >>>> >>>> -- >>>> 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. >>>> >>> >>> >>> >>> -- >>> There is NO FATE, we are the creators. >>> blog: http://damoc.ro/ >>> >>> -- >>> 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. >>> >> -- >> 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. >> > > > > -- > There is NO FATE, we are the creators. > blog: http://damoc.ro/ > > -- > 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. > -- 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.
