News for hackers. Stuff that matters.

A comment on Gluon – A static, type-inferred and embeddable language written in Rust. Parent comment

Re:Gluon – A static, type-inferred and embeddable language w... by popnroll on Friday June 22, 2018 @09:22PM (#17378874)
I am confused :S

From your other post: "In both Gluon and Haskell, functions without arguments can be represented as functions over the unit type: f: () -> SomeType"

Isn't `f` a constant here too?, how is this different than getChar? (I get I don't understand something here but not sure what)

[ Parent | on HN ]
Re:Gluon – A static, type-inferred and embeddable language w... by Rusky on Saturday June 23, 2018 @12:06AM (#17379485)
`getChar` is not of type `() -> SomeType`, but directly of type `SomeType`.

(Though yes, `f` also is a constant... it's just a constant that happens to be a function, which `getChar` is not.)

[ Parent | on HN ]