Re: [elm-discuss] How would you generalise Elm?

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 wrote: > even values are functions (if we squint

Re: [elm-discuss] How would you generalise Elm?

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 wrote: > I think you can reuse Haskell's generalization: "everything is a function"

[elm-discuss] How would you generalise Elm?

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