00:07
ccx has quit [Ping timeout: 272 seconds]
00:08
TheRuralJuror has quit [Ping timeout: 260 seconds]
00:27
Tuplanolla has quit [Quit: Leaving.]
00:32
ccx has joined #ocaml
00:52
gentauro has quit [Read error: Connection reset by peer]
00:58
gentauro has joined #ocaml
02:28
rgrinberg has quit [Ping timeout: 256 seconds]
02:38
spip has joined #ocaml
02:38
bobo has quit [Ping timeout: 240 seconds]
02:40
vicfred has quit [Quit: Leaving]
02:50
quartz has joined #ocaml
02:52
<
quartz >
I'm trying to have multiple helper functions in one function.
02:53
<
d_bot_ >
<NULL> You're missing an `in` in the second definition, at the bottom
02:54
<
quartz >
NULL: what line?
02:55
<
quartz >
I have two ins
02:55
<
d_bot_ >
<NULL> The definition of `longestRun`
02:59
<
quartz >
I'm so close lol
03:00
<
d_bot_ >
<NULL> `let f : int = function () -> 0` is wrong, you're having basically the same problem
03:01
<
sleepydog >
put another way, the trailing `: int` on line 16 shouldn't be there
03:02
<
d_bot_ >
<NULL> Not so much that it shouldn't be there : it can, but in this case the annotation is wrong
03:03
<
sleepydog >
i wonder, couldn't the compiler tell you that it has the expression `int list -> int` instead of just saying `'a -> 'b`
03:03
<
sleepydog >
s/has the expression/has the type/
03:04
<
quartz >
sleepydog: yes, my VS Code is telling me that
03:04
<
quartz >
But godbolt does not
03:04
<
sleepydog >
oh, nice
03:04
<
quartz >
This expression has type 'a -> 'b but an expression was expected of type intocamllsp
03:04
<
quartz >
I'm not sure what that means
03:04
<
quartz >
yeah it is suppose to return an int
03:04
<
sleepydog >
neither am i
03:04
<
quartz >
Not a generic
03:05
<
d_bot_ >
<NULL> Without the type annotation, the compiler understands that it will have that type and the LSP can even tell you that
03:06
<
d_bot_ >
<NULL> With the annotation, it takes over and makes the code "non-conformant" so it reports that
03:07
<
quartz >
NULL: I'm not sure what you mean
03:07
<
d_bot_ >
<NULL> `'a -> 'b` is just a generic function type, when you don't know (or care to elaborate) on the specific types of the argument and return value
03:07
<
quartz >
VS COde tells me something is wrong, godbolt says it's right :P
03:07
<
quartz >
Right, even I know that much
03:08
<
sleepydog >
quartz: so do you have it working now?
03:08
<
d_bot_ >
<NULL> At what point does godbolt tell you the code is right ? Or what is the difference ?
03:09
<
quartz >
Passes teh test case
03:09
<
sleepydog >
excellent
03:10
<
sleepydog >
i'm curious, does your course prohibit use of the ocaml standard library?
03:10
<
quartz >
sleepydog: no
03:14
<
sleepydog >
for example, your function, `allPositive`, is trivialized with `List.filter`: `let allPositive = List.filter ((>=) 0)`
03:14
<
sleepydog >
err, `List.filter ((<=) 0)`, sorry
03:15
<
d_bot_ >
<NULL> It's not a filter; it's `List.map abs`
03:15
<
sleepydog >
oh, hah, i didn't read the whole thing
03:16
<
quartz >
Yeah it's the same thing basically
03:16
<
quartz >
Still trying to learn this stuff
03:17
<
sleepydog >
it's probably good to do the recursion "by hand" until you get it, but higher order functions like map & fold end up being really useful
03:24
<
quartz >
Thanks for your help guys.
03:25
<
sleepydog >
i hope it's getting less frustrating :)
03:48
bobo has joined #ocaml
03:48
spip has quit [Ping timeout: 256 seconds]
03:49
quartz has quit [Quit: WeeChat 3.4]
03:59
gravicappa has joined #ocaml
04:02
Techcable has quit [Ping timeout: 252 seconds]
04:21
waleee has quit [Ping timeout: 240 seconds]
04:27
rgrinberg has joined #ocaml
04:28
mbuf has joined #ocaml
04:58
mbuf has quit [Ping timeout: 272 seconds]
05:00
zebrag has quit [Quit: Konversation terminated!]
05:05
mbuf has joined #ocaml
05:07
Haudegen has joined #ocaml
05:43
adanwan has quit [Read error: Connection reset by peer]
05:43
azimut has quit [Write error: Connection reset by peer]
05:43
wyrd has quit [Read error: Connection reset by peer]
05:45
adanwan has joined #ocaml
05:46
azimut has joined #ocaml
05:48
wyrd has joined #ocaml
06:20
motherfsck has joined #ocaml
06:20
wyrd has quit [Remote host closed the connection]
06:20
adanwan has quit [Read error: Connection reset by peer]
06:20
azimut has quit [Write error: Connection reset by peer]
06:20
wyrd has joined #ocaml
06:20
adanwan has joined #ocaml
06:20
azimut has joined #ocaml
06:36
Serpent7776 has joined #ocaml
06:49
dwt_ has quit [Ping timeout: 240 seconds]
06:49
dwt__ has joined #ocaml
06:53
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
07:03
rgrinberg has joined #ocaml
07:04
rgrinberg has quit [Client Quit]
07:14
motherfsck has quit [Quit: quit]
07:14
motherfsck has joined #ocaml
07:24
gravicappa has quit [Ping timeout: 256 seconds]
09:00
JosEduardo[m] has quit [Quit: You have been kicked for being idle]
09:09
bobo has quit [Quit: Konversation terminated!]
09:11
mro has joined #ocaml
09:12
mro has quit [Remote host closed the connection]
09:44
mro has joined #ocaml
09:44
waleee has joined #ocaml
09:55
mro has quit [Remote host closed the connection]
09:55
olle has joined #ocaml
09:55
waleee has quit [Ping timeout: 240 seconds]
10:03
mro has joined #ocaml
10:04
bartholin has joined #ocaml
10:23
olle has quit [Ping timeout: 240 seconds]
10:54
mro has quit [Remote host closed the connection]
10:55
gravicappa has joined #ocaml
11:00
dextaa_ has joined #ocaml
11:13
dextaa_ has quit [Remote host closed the connection]
11:33
mro has joined #ocaml
11:35
mro has quit [Remote host closed the connection]
11:36
mro has joined #ocaml
11:40
Anarchos has joined #ocaml
11:45
mro has quit [Remote host closed the connection]
11:45
mro has joined #ocaml
11:45
mro has quit [Remote host closed the connection]
11:46
olle has joined #ocaml
11:49
waleee has joined #ocaml
12:15
waleee has quit [Ping timeout: 260 seconds]
12:19
Techcable has joined #ocaml
12:33
kaph has quit [Read error: Connection reset by peer]
12:33
kaph has joined #ocaml
12:44
bartholin has quit [Ping timeout: 245 seconds]
12:56
bartholin has joined #ocaml
12:57
Anarchos has quit [Quit: Vision[]: i've been blurred!]
13:22
bartholin has quit [Ping timeout: 256 seconds]
13:35
bartholin has joined #ocaml
14:05
mro has joined #ocaml
14:10
mro has quit [Ping timeout: 256 seconds]
14:43
waleee has joined #ocaml
14:47
gravicappa has quit [Ping timeout: 272 seconds]
14:55
epony has quit [Ping timeout: 240 seconds]
15:28
mro has joined #ocaml
15:57
mmalter has joined #ocaml
15:59
gravicappa has joined #ocaml
16:06
zebrag has joined #ocaml
16:18
mro has quit [Remote host closed the connection]
16:21
mro has joined #ocaml
16:35
bgs has quit [Read error: Connection reset by peer]
16:35
bgs has joined #ocaml
16:50
tomku has quit [Ping timeout: 268 seconds]
16:51
tomku has joined #ocaml
16:58
epony has joined #ocaml
16:58
bartholin has quit [Quit: Leaving]
17:06
mro has quit [Remote host closed the connection]
17:13
mbuf has quit [Quit: Leaving]
17:24
rgrinberg has joined #ocaml
17:42
mro has joined #ocaml
17:58
olle has quit [Ping timeout: 252 seconds]
18:33
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
18:37
szkl has quit [Quit: Connection closed for inactivity]
18:40
rgrinberg has joined #ocaml
19:00
mro has quit [Remote host closed the connection]
19:01
azimut has quit [Remote host closed the connection]
19:02
azimut has joined #ocaml
19:04
mro has joined #ocaml
19:28
mro has quit [Remote host closed the connection]
19:33
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
19:35
mro has joined #ocaml
19:41
oriba has joined #ocaml
19:43
olle has joined #ocaml
20:13
Exa has quit [Quit: see ya!]
20:13
Exa has joined #ocaml
20:14
mro has quit [Read error: Connection reset by peer]
20:14
mro_ has joined #ocaml
20:29
mro_ has quit [Remote host closed the connection]
20:30
mro has joined #ocaml
20:53
rgrinberg has joined #ocaml
20:57
gravicappa has quit [Ping timeout: 256 seconds]
21:03
mro_ has joined #ocaml
21:06
mro__ has joined #ocaml
21:07
mro has quit [Ping timeout: 240 seconds]
21:07
mro__ has quit [Read error: Connection reset by peer]
21:10
mro_ has quit [Ping timeout: 250 seconds]
21:13
motherfsck has quit [Ping timeout: 250 seconds]
21:24
vicfred has joined #ocaml
21:36
Tuplanolla has joined #ocaml
21:42
wyrd has quit [Ping timeout: 240 seconds]
21:48
rish has joined #ocaml
21:49
wyrd has joined #ocaml
21:50
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
21:55
Serpent7776 has quit [Quit: leaving]
22:12
waleee has quit [Ping timeout: 256 seconds]
22:16
olle has quit [Ping timeout: 272 seconds]
22:20
waleee has joined #ocaml
22:39
benthumb2000 has joined #ocaml
22:49
kurfen_ has quit [Ping timeout: 256 seconds]
22:49
kurfen has joined #ocaml
22:50
cross has quit [Ping timeout: 256 seconds]
22:50
afrosenpai has quit [Ping timeout: 256 seconds]
22:52
afrosenpai has joined #ocaml
22:52
cross has joined #ocaml
23:03
kaph has quit [Read error: Connection reset by peer]
23:18
rish has quit [Quit: WeeChat 3.0]
23:31
benthumb2000 has quit [Quit: WeeChat 3.3]
23:39
azimut has quit [Ping timeout: 240 seconds]
23:39
azimut_ has joined #ocaml
23:41
kaph has joined #ocaml
23:45
motherfsck has joined #ocaml
23:47
rish has joined #ocaml
23:50
Techcable has quit [Ping timeout: 256 seconds]
23:52
motherfsck has quit [Quit: quit]
23:54
Haudegen has quit [Ping timeout: 256 seconds]