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.
