adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.08 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.08/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
Jesin has joined #ocaml
brettgilio has quit [Remote host closed the connection]
Jeanne-Kamikaze has joined #ocaml
jao has quit [Remote host closed the connection]
jao has joined #ocaml
jao has quit [Remote host closed the connection]
liberiga has joined #ocaml
nullifidian_ has joined #ocaml
nullifidian has quit [Read error: Connection reset by peer]
jao has joined #ocaml
jao has quit [Remote host closed the connection]
tormen_ has joined #ocaml
tormen has quit [Ping timeout: 248 seconds]
lopex has quit [Quit: Connection closed for inactivity]
mfp has quit [Ping timeout: 272 seconds]
q9929t has joined #ocaml
nullifidian_ has quit [Read error: Connection reset by peer]
nullifidian__ has joined #ocaml
Jeanne-Kamikaze has quit [Remote host closed the connection]
bitwinery has joined #ocaml
vicfred has quit [Quit: Leaving]
vicfred has joined #ocaml
nullifidian_ has joined #ocaml
nullifidian__ has quit [Ping timeout: 246 seconds]
gravicappa has joined #ocaml
bitwinery has quit [Ping timeout: 248 seconds]
bitwinery has joined #ocaml
vicfred has quit [Quit: Leaving]
lalitmee has joined #ocaml
narimiran has joined #ocaml
sonologico has quit [Remote host closed the connection]
_whitelogger has joined #ocaml
_whitelogger has joined #ocaml
sagax has quit [Remote host closed the connection]
Birdface has joined #ocaml
Haudegen has joined #ocaml
lalitmee has quit [Ping timeout: 258 seconds]
bitwinery has quit [Quit: Leaving]
freyr69 has joined #ocaml
barockobamo has joined #ocaml
liberiga has quit [Ping timeout: 260 seconds]
lalitmee has joined #ocaml
Ptival has quit [Ping timeout: 245 seconds]
Ptival has joined #ocaml
nullifidian__ has joined #ocaml
lopex has joined #ocaml
nullifidian_ has quit [Ping timeout: 244 seconds]
mfp has joined #ocaml
andreas303 has quit [Remote host closed the connection]
andreas303 has joined #ocaml
lalitmee has quit [Quit: Leaving]
notnotdan has joined #ocaml
mfp has quit [Ping timeout: 248 seconds]
Haudegen has quit [Quit: Bin weg.]
nullifidian_ has joined #ocaml
nullifidian__ has quit [Ping timeout: 245 seconds]
ggole has joined #ocaml
gareppa has joined #ocaml
sagax has joined #ocaml
Haudegen has joined #ocaml
mfp has joined #ocaml
gareppa has quit [Quit: Leaving]
gareppa has joined #ocaml
gareppa has quit [Remote host closed the connection]
andrewlitteken has joined #ocaml
<Nikkel> I have a problem in Ocaml I don't understand https://pastebin.com/rk0FZN8G
<Nikkel> I want to alias Selltable as a certain type as shown on line 11, but when I use the aliased type with an actual function from Hashtbl, I ge the error on line 21
q9929t has quit [Remote host closed the connection]
q9929t has joined #ocaml
<freyr69> You've confused key and value type in your definition
<freyr69> key should be the first parameter of Hashtbl.t type
<Nikkel> Oh yeah. I see that now. That's actually a really silly mistake. Thank you very much :)
gareppa has joined #ocaml
mfp has quit [Ping timeout: 245 seconds]
mfp has joined #ocaml
q9929t has quit [Quit: q9929t]
FreeBirdLjj has joined #ocaml
gareppa has quit [Quit: Leaving]
gareppa has joined #ocaml
gareppa has quit [Remote host closed the connection]
gareppa has joined #ocaml
gareppa has quit [Remote host closed the connection]
jao has joined #ocaml
andrewlitteken has quit []
Haudegen has quit [Quit: Bin weg.]
freyr69 has quit [Ping timeout: 245 seconds]
gareppa has joined #ocaml
mk__ has joined #ocaml
<mk__> How in Lwt can I open a file to read, and seek the end of file?
<Kitambi> is there nothing in Lwt_io?
<mk__> Lwt_io.make has a seek parameter, looking to see if that works
<Kitambi> it's in Lwt_unix
<Kitambi> openfile/lseek
narimiran has quit [Ping timeout: 244 seconds]
<mk__> I was using Lwt_io.with file. Possibly better to use Lwt_unix functions then
vesper11 has quit [Read error: Connection reset by peer]
gareppa has quit [Quit: Leaving]
vesper11 has joined #ocaml
nullifidian__ has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
nullifidian_ has quit [Ping timeout: 268 seconds]
FreeBirdLjj has joined #ocaml
tane has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 245 seconds]
Haudegen has joined #ocaml
Serpent7776 has joined #ocaml
AtumT has joined #ocaml
mfp has quit [Ping timeout: 248 seconds]
barockobamo has quit [Remote host closed the connection]
RalfJ has quit [Quit: No Ping reply in 180 seconds.]
RalfJ has joined #ocaml
Netsu has joined #ocaml
<Netsu> hello!
<Netsu> AFAIK, I can use values from functor like F(M).value
<Netsu> first question: what if I prefer formatting with space in between? `F (M).value` looks kinda wrong
<Netsu> the second question is more interesting: how can I do `let open` without intermediate module? `let a, b = F(M).(a, b)` not working for me..
<octachron> Netsu, you cannot use value from functor without binding the resulting module, only types.
Jesin has quit [Quit: Leaving]
<Netsu> octachron: oh, thank you, it makes things clearer
<Netsu> but yet what with `F (M).t` case?
<Netsu> is `F(M).t` the standard formatting here?
<octachron> Probably? It works with more complex paths: F(G(X)).A.B.H(Y).C.D.I(Z).t
<zozozo> although that's pretty much impossible to read, :p
CcxWrk has quit [Quit: ZNC 1.7.1 - https://znc.in]
CcxWrk has joined #ocaml
<Netsu> zozozo: it's yet kinda acceptable as for me. Harder where struct here right in place
<Netsu> plus it becomes generative as a bonus =)
<Netsu> but not sure can we get type of generative functor, lemme check
Jesin has joined #ocaml
<Netsu> yeah, we can't create values/modules at type definition, so looks like that impossible
gareppa has joined #ocaml
gareppa has quit [Remote host closed the connection]
<Netsu> for explicitly generative too synax error for `F(M)().t`
<Netsu> :)
<Kitambi> that's not how modules work :)
<Kitambi> or functors, I guess
<Netsu> `F(M)(M).t` works for sure, because that functor is applicative ...in some sense))
Netsu has quit [Ping timeout: 260 seconds]
narimiran has joined #ocaml
ziyourenxiang has quit [Ping timeout: 246 seconds]
mk__ has quit [Remote host closed the connection]
RalfJ has quit [Remote host closed the connection]
RalfJ has joined #ocaml
mfp has joined #ocaml
vicfred has joined #ocaml
ggole has quit [Quit: Leaving]
nullifidian_ has joined #ocaml
nullifidian__ has quit [Read error: Connection reset by peer]
jao has quit [Ping timeout: 245 seconds]
jnavila has joined #ocaml
spew has joined #ocaml
Xizor_ has joined #ocaml
nullifidian__ has joined #ocaml
nullifidian_ has quit [Read error: Connection reset by peer]
jao has joined #ocaml
mk__ has joined #ocaml
Serpent7776 has quit [Quit: leaving]
gravicappa has quit [Ping timeout: 248 seconds]
Netsu has joined #ocaml
gareppa has joined #ocaml
gareppa has quit [Remote host closed the connection]
<Netsu> question about first-class module types https://gist.github.com/Pitometsu/477c8a60a0c1f5e5732977b2656e8aea
<Netsu> have problem that module's type escape its scope in function result type
<Netsu> tried to fix that by forall constaint, but that not works. Is it possible in general?
mk__ has quit [Ping timeout: 260 seconds]
bacam has quit [Quit: reboot]
Birdface has quit [Remote host closed the connection]
Birdface has joined #ocaml
<Netsu> Nevermind, figured that out
Birdface has quit [Ping timeout: 272 seconds]
tane has quit [Quit: Leaving]
lizzin has joined #ocaml
<lizzin> Is there a more concise way to do this: https://pastebin.com/AfPnfYpH
<lizzin> In elixir I would do: input |> String.split |> Enum.map(&String.to_integer/1)
jnavila has quit [Ping timeout: 252 seconds]
madroach has quit [Ping timeout: 264 seconds]
<Netsu> lizzin: `"2\n5\n3\n4\n6\n7\n9\n8" |> String.split_lines |> List.map ~f:int_of_string` ???
madroach has joined #ocaml
fardale has joined #ocaml
narimiran has quit [Remote host closed the connection]
Hrundi_V_Bakshi has joined #ocaml
Fardale_ has joined #ocaml
aphprentice__ has joined #ocaml
<lizzin> Netsu: high five!
<lizzin> Netsu: Is that the recommended way of doing things in ocaml? I ask because I have not seen that style used in the ocaml code I've seen so far
<lizzin> I see a lot of 'let in' chaining
<Netsu> lizzin: totally up to you. Also `@@` operator available
<Netsu> Additionally I personally prefer to define `let ( %% ) = Core.Fn.compose` for function composition (`.` from Haskell)
ziyourenxiang has joined #ocaml
Hrundi_V_Bakshi has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
Haudegen has quit [Ping timeout: 244 seconds]
spew has quit [Quit: Connection closed for inactivity]
<lizzin> Netsu: I like your use of %%. Where would be the best place to place that definition and other shortcuts like it. Write an opam package?
<Netsu> yep. Or just in helper Util.Fn of project... And -open Util.Fn in dune's flags
<lizzin> ok, i'll try that. thanks