[15:07:23] *** Quits: inariksit (listenma@melkki.cs.helsinki.fi) (Quit: leaving)
[15:07:53] *** Joins: inariksit (~inari@ksit.fixme.fi)
[16:08:32] *** Joins: atoll (~atoll@crossing1.epfl.ch)
[16:08:41] <atoll> Hello,
[16:09:05] <atoll> jstar: I don't understand the difference between variable and constant in the reference manual
[16:10:17] <jstar> hi atoll, I think in the reference the word "constant" is used to mean a defined function
[16:10:20] <jstar> for examples
[16:10:30] <jstar> fun myFun a = a
[16:10:40] <jstar> "myFun" is a constant
[16:10:44] <jstar> "a" is a variable
[16:10:58] <jstar> (and "fun" is a keyword)
[16:12:01] <atoll> but this also an application no ?
[16:12:04] <atoll> is*
[16:12:13] <atoll> A -> A ?
[16:12:32] <atoll> or A -> B
[16:14:24] <jstar> application means running a function with some input variable(s)
[16:14:42] <jstar> so: myFun "hello"
[16:15:07] <jstar> is applying the function/constant myFun to input variable "hello"
[16:15:42] <atoll> Ok, i was mistaken by the mathematical meaning of an application
[16:16:05] <atoll> Here it's binded variable applied to a function right ?
[16:20:48] <atoll> So when you parse a sentence, it's usually at the bottom of the tree  Application(Function, Variable OR Literal) ?
[16:21:36] <atoll> Is it why Application take Expr as right parameter ? (because it can be variable or Literal)
[16:25:39] <jstar> well in functional languages, a function is a "first-class" object, meaning that a function name can also be used as an argument in an application
[16:29:17] <atoll> Thus, here an application can take an application as "argument"
[16:29:36] <atoll> because each time it add a variable or literal ?
[16:29:41] <atoll> is a literal a subtype of variable ?
[16:30:48] <atoll> doesn't seem to be in the source code
[16:32:59] <jstar> A literal is basically a String, Int, Float, Bool.
[16:33:20] <jstar> it's not really a subtype of a variable, more like a concrete value of one
[16:33:36] <jstar> but I don't really understand what your question is
[18:55:19] *** Quits: atoll (~atoll@crossing1.epfl.ch) (Ping timeout: 256 seconds)
[19:13:21] *** Joins: atoll (~atoll@crossing1.epfl.ch)
[19:18:33] *** Quits: atoll (~atoll@crossing1.epfl.ch) (Ping timeout: 256 seconds)
[19:22:35] *** Joins: atoll (~atoll@crossing1.epfl.ch)
[19:34:04] *** Quits: atoll (~atoll@crossing1.epfl.ch) (Ping timeout: 248 seconds)
[19:50:21] *** Joins: atoll (~atoll@crossing1.epfl.ch)
[19:55:52] *** Quits: atoll (~atoll@crossing1.epfl.ch) (Ping timeout: 264 seconds)
[19:57:22] *** Joins: atoll (~atoll@crossing1.epfl.ch)
[20:19:24] *** Quits: atoll (~atoll@crossing1.epfl.ch) (Ping timeout: 248 seconds)