Onemorenickname_ 2017-03-01 23:50:07
Hello
Onemorenickname_ 2017-03-01 23:50:09
Newbie question
Onemorenickname_ 2017-03-01 23:51:02
When I write "data Earley t = Array Items t", I get "expecting type for Items". I know that I have to wrap "Items t" with parenthesis, but I was wondering if there was some infix operator allowing me to do that
Onemorenickname_ 2017-03-01 23:51:06
akin to "@@" in ocaml
Xnuk 2017-03-01 23:52:45
What is @@ in OCaml?
Xnuk 2017-03-01 23:52:56
Could you give me some example?
Onemorenickname_ 2017-03-01 23:54:42
Xnuk, for instance, if I want to write "pop Some 5", I have to wrap "Some 5" in parenthesis : "pop (Some 5)"
Onemorenickname_ 2017-03-01 23:54:48
In ocaml, I can write "pop @@ Some 5"
Xnuk 2017-03-01 23:55:16
pop $ Some 5
Onemorenickname_ 2017-03-01 23:55:49
can we do that at the type level ?
Xnuk 2017-03-01 23:56:46
Onemorenickname_: As far as I know, you can't.
Onemorenickname_ 2017-03-01 23:57:06
ok, thanks for the value level syntax though, i did not know it :)
merijn 2017-03-02 00:00:16
Xnuk: Well, you can do it on the type level, just not by default :p
merijn 2017-03-02 00:00:27
@define type f $ a = f a
lambdabot 2017-03-02 00:00:30
Defined.
merijn 2017-03-02 00:01:01
> Right True :: Either e $ Bool
lambdabot 2017-03-02 00:01:01
Right True
Xnuk 2017-03-02 00:02:10
oh
Onemorenickname_ 2017-03-02 00:03:25
merijn, thanks !
t7 2017-03-02 00:20:53
what do i call the difference between some value and the-target/my-desired value?
Rodenbach 2017-03-02 00:22:53
t7: maybe „Computation"?
opqdonut 2017-03-02 00:24:07
heh
opqdonut 2017-03-02 00:24:09
or "diff"
merijn 2017-03-02 00:26:52
delta?
t7 2017-03-02 00:27:24
isnt the delta the difference after update?
t7 2017-03-02 00:27:44
no
t7 2017-03-02 00:27:51
hmm
merijn 2017-03-02 00:33:45
No, just difference
t7 2017-03-02 00:34:13
delta it is then
iainhallam 2017-03-02 00:37:24
Where do I report bugs for the Haskell Platform installer?
liste 2017-03-02 00:40:46
iainhallam: https://github.com/haskell/haskell-platform/issues
iainhallam 2017-03-02 00:41:12
Thanks.
