00:03
mxns has joined #ocaml
00:12
mxns has quit [Ping timeout: 272 seconds]
00:12
mxns has joined #ocaml
00:19
mxns has quit [Ping timeout: 272 seconds]
00:23
mxns has joined #ocaml
00:29
<
d_bot >
<Chum> @sleepydog
00:32
mxns has joined #ocaml
00:36
mxns has quit [Ping timeout: 246 seconds]
00:37
mxns has joined #ocaml
00:43
Tuplanolla has quit [Ping timeout: 240 seconds]
00:44
sleepydog has left #ocaml [#ocaml]
00:44
sleepydog has joined #ocaml
00:47
mxns has quit [Ping timeout: 240 seconds]
00:49
mxns has joined #ocaml
00:55
<
d_bot >
<Chum> how do u print a function
00:56
<
d_bot >
<Chum> print_int power (x,y)
01:06
mxns has quit [Ping timeout: 272 seconds]
01:18
mxns has joined #ocaml
01:20
<
d_bot >
<Chum> ```haskell
01:20
<
d_bot >
<Chum> let rev_tup tup = (x,y,z) = (z,y,x);;
01:20
<
d_bot >
<Chum> im having truble with this
01:21
<
d_bot >
<Chum> ```haskell
01:21
<
d_bot >
<Chum> rev_tup (1, 2, 3) = (3, 2, 1)
01:21
<
d_bot >
<Chum> how can you make this function call
01:21
<
d_bot >
<Chum> when tup is not a list
01:21
<
d_bot >
<Chum> what am i doing wrong
01:25
mxns has quit [Ping timeout: 240 seconds]
01:37
mxns has joined #ocaml
01:37
borne has quit [Ping timeout: 240 seconds]
01:39
borne has joined #ocaml
01:42
mxns has quit [Ping timeout: 260 seconds]
01:53
mxns has joined #ocaml
01:58
mxns has quit [Ping timeout: 264 seconds]
02:10
mxns has joined #ocaml
02:20
<
d_bot >
<beheddard> `let rev_tup (x, y, z) = (z, y, x)`
02:32
Haudegen has quit [Ping timeout: 246 seconds]
02:36
mxns has quit [Ping timeout: 265 seconds]
02:42
zolk3ri has joined #ocaml
02:45
osa1 has quit [Ping timeout: 265 seconds]
02:49
mxns has joined #ocaml
02:53
inkbottle is now known as zebrag
02:57
mxns has quit [Ping timeout: 272 seconds]
02:58
mxns has joined #ocaml
03:03
mxns has quit [Ping timeout: 240 seconds]
03:22
mxns has joined #ocaml
03:23
borne has quit [Ping timeout: 260 seconds]
03:27
mxns has quit [Ping timeout: 272 seconds]
03:35
borne has joined #ocaml
03:36
mxns has joined #ocaml
03:41
mxns has quit [Ping timeout: 260 seconds]
03:42
borne has quit [Ping timeout: 260 seconds]
03:51
mxns has joined #ocaml
03:56
mxns has quit [Ping timeout: 265 seconds]
04:02
zolk3ri has quit [Remote host closed the connection]
04:02
zolk3ri has joined #ocaml
04:03
mxns has joined #ocaml
04:05
vicfred has quit [Quit: Leaving]
04:05
zolk3ri has quit [Remote host closed the connection]
04:07
zolk3ri has joined #ocaml
04:08
mxns has quit [Ping timeout: 240 seconds]
04:10
vicfred has joined #ocaml
04:17
mfp has quit [Ping timeout: 246 seconds]
04:21
_whitelogger has joined #ocaml
04:56
mxns has joined #ocaml
04:59
zebrag has quit [Quit: Konversation terminated!]
05:02
zebrag has joined #ocaml
05:04
zebrag has quit [Client Quit]
05:04
mxns has quit [Ping timeout: 240 seconds]
05:05
mxns has joined #ocaml
05:14
mxns has quit [Ping timeout: 240 seconds]
05:26
mxns has joined #ocaml
05:30
mxns has quit [Ping timeout: 265 seconds]
05:32
<
d_bot >
<Chum> @beheddard
05:32
<
d_bot >
<Chum> ```ocaml
05:32
<
d_bot >
<Chum> let rec pow x y =
05:32
<
d_bot >
<Chum> if y = 0 then
05:32
<
d_bot >
<Chum> else
05:32
<
d_bot >
<Chum> x * pow x(y - 1)
05:32
<
d_bot >
<Chum> print_int (pow (3 1))
05:32
<
d_bot >
<Chum> what is wrong with that print line
05:32
<
d_bot >
<Chum> getting an error please
05:33
<
d_bot >
<beheddard> Btw Should so multi line code blocks in the beginner channel since this one is bridges with IRC and it doesn't jive
05:35
<
d_bot >
<beheddard> it should be `(pow 3 1)`
05:36
<
d_bot >
<beheddard> `(3 1)` is attempting to apply 3 to 1 like a function
05:36
<
d_bot >
<beheddard> ( which is obviously a no go )
05:44
mxns has joined #ocaml
05:48
<
d_bot >
<Christophe> @Chum the problem is that it's impossible to type a generic reverse function for tuples
05:48
mxns has quit [Ping timeout: 240 seconds]
05:55
mxns has joined #ocaml
06:04
mxns has quit [Ping timeout: 240 seconds]
06:05
tizoc has quit [Quit: Coyote finally caught me]
06:05
tizoc has joined #ocaml
06:16
mxns has joined #ocaml
06:21
mxns has quit [Ping timeout: 240 seconds]
06:28
narimiran has joined #ocaml
06:31
<
d_bot >
<lubega-simon> It seems ocamllsp server is down. That's what I see on a project that builds well
06:50
<
d_bot >
<Chum> ```haskell
06:50
<
d_bot >
<Chum> let rec log x y =
06:50
<
d_bot >
<Chum> if y < x then
06:50
<
d_bot >
<Chum> else
06:50
<
d_bot >
<Chum> 1 + log((y / x) x)
06:55
mxns has joined #ocaml
07:00
mxns has quit [Ping timeout: 272 seconds]
07:01
mxns has joined #ocaml
07:06
mxns has quit [Ping timeout: 256 seconds]
07:09
osa1 has joined #ocaml
07:48
vicfred has quit [Quit: Leaving]
08:03
mxns has joined #ocaml
08:04
cantstanya has quit [Remote host closed the connection]
08:05
cantstanya has joined #ocaml
08:08
mxns has quit [Ping timeout: 240 seconds]
08:37
Tuplanolla has joined #ocaml
08:38
olle has joined #ocaml
09:03
zolk3ri has quit [Remote host closed the connection]
09:15
Mahak has joined #ocaml
09:17
<
Mahak >
I'm a newbie.
09:17
<
Mahak >
How should I start contributing ?
09:20
olle has quit [Ping timeout: 240 seconds]
09:21
bartholin has joined #ocaml
09:39
orbifx has joined #ocaml
09:46
orbifx has quit [Ping timeout: 246 seconds]
10:04
mxns has joined #ocaml
10:06
Mahak has quit [Ping timeout: 240 seconds]
10:12
mxns has quit [Ping timeout: 264 seconds]
10:22
ewd has joined #ocaml
10:31
orbifx has joined #ocaml
10:32
orbifx has quit [Client Quit]
10:37
Haudegen has joined #ocaml
10:43
bartholin has quit [Ping timeout: 265 seconds]
11:07
nullcone has quit [Quit: Connection closed for inactivity]
12:00
ArthurStrong has joined #ocaml
12:17
mfp has joined #ocaml
13:30
Mahak has joined #ocaml
13:38
mxns has joined #ocaml
13:42
mxns has quit [Ping timeout: 272 seconds]
13:53
Nikita_Sen has joined #ocaml
13:54
Nikita_Sen has quit [Client Quit]
13:54
Nikita_Sen has joined #ocaml
14:03
mxns has joined #ocaml
14:08
mxns has quit [Ping timeout: 264 seconds]
14:08
Mahak has quit [Quit: Ping timeout (120 seconds)]
14:09
mxns has joined #ocaml
14:11
orbifx has joined #ocaml
14:18
mxns has quit [Ping timeout: 258 seconds]
14:25
kafilat has joined #ocaml
14:29
mxns has joined #ocaml
14:54
vicfred has joined #ocaml
14:57
mxns has quit [Ping timeout: 260 seconds]
15:05
tane has joined #ocaml
15:07
ArthurSt1ong has joined #ocaml
15:27
mxns has joined #ocaml
15:27
nullcone has joined #ocaml
15:32
olle has joined #ocaml
16:00
olle has quit [Ping timeout: 240 seconds]
16:13
arecaceae has joined #ocaml
16:33
ArthurSt1ong has quit [Quit: leaving]
16:35
mxns has quit [Ping timeout: 246 seconds]
16:35
kafilat has quit [Quit: Connection closed for inactivity]
16:55
<
d_bot >
<EduardoRFS> Why does OCaml needs the value restriction stuff when calling pure functions?
16:58
<
d_bot >
<Drup> @EduardoRFS How do you know the function is pure ?
16:59
<
d_bot >
<EduardoRFS> there is no impure side effect on it? Seems like a easy property to track on the type system
16:59
<
d_bot >
<Drup> Nothing in the type system
*right now* indicates if a function is pure or not
17:00
<
d_bot >
<Drup> Right, so you are asking for an algebraic effect system :3
17:01
<
d_bot >
<Drup> (In particular, now high order functions need to talk about effects, all the types of high order effects functions need to change to account for it)
17:02
<
d_bot >
<Drup> In any case, in the algebraic effect prototype, there is no value restriction when calling pure functions.
17:26
Anarchos has joined #ocaml
17:32
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
17:32
mxns has joined #ocaml
17:37
<
orbifx >
can Bos.OS.* or Fpath.* do any home-dir expansions? I.e. interpret `~/..`?
17:38
ymherklotz has joined #ocaml
17:48
Anarchos has joined #ocaml
17:49
Nikita_Sen has quit [Quit: Connection closed]
18:00
mxns has quit [Ping timeout: 258 seconds]
18:05
Jesin has quit [Quit: Leaving]
18:07
Jesin has joined #ocaml
18:07
Jesin has quit [Remote host closed the connection]
18:08
mxns has joined #ocaml
18:08
Jesin has joined #ocaml
18:15
mxns has quit [Ping timeout: 265 seconds]
18:18
mxns has joined #ocaml
18:23
mxns has quit [Ping timeout: 256 seconds]
18:27
mxns has joined #ocaml
18:33
mxns has quit [Ping timeout: 246 seconds]
18:35
DanielRichman has quit [Quit: leaving]
18:35
DanielRichman has joined #ocaml
18:36
DanielRichman has left #ocaml [#ocaml]
18:38
Jesin has quit [Quit: Leaving]
18:40
Jesin has joined #ocaml
18:46
mxns has joined #ocaml
18:50
ArthurStrong has quit [Ping timeout: 264 seconds]
18:50
mxns has quit [Ping timeout: 240 seconds]
18:55
mxns has joined #ocaml
18:59
mxns has quit [Ping timeout: 240 seconds]
19:03
mxns has joined #ocaml
19:08
mxns has quit [Client Quit]
19:08
mxns has joined #ocaml
19:14
mxns has quit [Ping timeout: 272 seconds]
19:18
mxns has joined #ocaml
19:19
zebrag has joined #ocaml
19:19
Anarchos has quit [Ping timeout: 264 seconds]
19:23
mxns has quit [Ping timeout: 246 seconds]
19:28
boxscape has joined #ocaml
19:35
mxns has joined #ocaml
19:43
mxns has joined #ocaml
19:53
mxns has quit [Ping timeout: 240 seconds]
19:58
Anarchos has joined #ocaml
20:04
boxscape has quit [Quit: Connection closed]
20:04
boxscape has joined #ocaml
20:17
ArthurStrong has joined #ocaml
20:17
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
20:18
Anarchos has joined #ocaml
20:21
mxns has joined #ocaml
20:25
mxns has quit [Ping timeout: 240 seconds]
20:40
olle has joined #ocaml
20:48
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
20:53
mxns has joined #ocaml
20:55
<
d_bot >
<drizzy> How do you print a list
20:55
<
d_bot >
<drizzy> Print_list doesn’t work
20:58
mxns has quit [Ping timeout: 265 seconds]
21:02
mxns has joined #ocaml
21:05
<
orbifx >
drizzy: List.iter (fun x -> print_* ...)
21:05
<
d_bot >
<drizzy> I’m a little new to this @orbifx
21:05
<
d_bot >
<drizzy> Can you use that in an example please
21:06
<
d_bot >
<drizzy> List = [1,2,3]
21:07
mxns has quit [Ping timeout: 260 seconds]
21:07
mxns has joined #ocaml
21:09
<
ymherklotz >
Maybe something like this?: List.iter (Printf.printf "%d; ") [1; 2; 3]
21:12
mxns has quit [Ping timeout: 240 seconds]
21:12
<
octachron >
Using the `fmt` library: `Fmt.(pr "@[[%a]@]" (list ~sep:comma int) [1;2;3])`
21:14
<
orbifx >
drizzy, fmt is printing on steroids, don't let it scare you :P
21:14
orbifx has quit [Quit: orbifx]
21:15
<
d_bot >
<Drup> @octachron `Fmt.Dump.list` 😉
21:15
<
d_bot >
<octachron> Better indeed.
21:17
mxns has joined #ocaml
21:21
mxns has quit [Ping timeout: 240 seconds]
21:35
mxns has joined #ocaml
21:39
mxns has quit [Ping timeout: 258 seconds]
21:43
ymherklotz has quit [Ping timeout: 260 seconds]
21:51
<
d_bot >
<Chum> this is incorrect i believe
21:58
<
d_bot >
<octachron> This is correct, except for the last `;` .
21:59
<
d_bot >
<octachron> (it prints "1 ; 2 ; 3 ;")
22:05
narimiran has quit [Ping timeout: 265 seconds]
22:13
mxns has joined #ocaml
22:14
ymherklotz has joined #ocaml
22:17
mxns has quit [Ping timeout: 258 seconds]
22:18
mxns has joined #ocaml
22:22
<
d_bot >
<Pacc> does anyone know if disml allows for user tokens to be used with the library
22:22
mxns has quit [Ping timeout: 240 seconds]
22:23
ymherklotz has quit [Ping timeout: 272 seconds]
22:33
mxns has joined #ocaml
22:42
mxns has quit [Ping timeout: 240 seconds]
22:59
mxns has joined #ocaml
23:02
ArthurStrong has quit [Quit: leaving]
23:03
olle has quit [Ping timeout: 240 seconds]
23:06
mxns has quit [Ping timeout: 240 seconds]
23:07
mxns has joined #ocaml
23:11
<
d_bot >
<Splingush> > You may not use self-bots or user-bots to access Discord.
23:11
<
d_bot >
<Splingush> Discord itself prohibits the usage of a user-token with bot-applications.
23:13
<
d_bot >
<Pacc> I know I just want to know if it's possible so I can make a discord client
23:23
mxns has quit [Ping timeout: 272 seconds]
23:40
tane has quit [Quit: Leaving]
23:43
mxns has joined #ocaml
23:50
mxns has quit [Ping timeout: 272 seconds]
23:53
arecaceae has quit [Remote host closed the connection]
23:53
arecaceae has joined #ocaml
23:56
<
d_bot >
<beheddard> Discord already has history of shutting down third party clients
23:58
mxns has joined #ocaml