adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.09 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.09/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
_whitelogger has joined #ocaml
<whitequark> _whitelogger: test
<whitequark> ah, works now. the channel got +S a month ago and for some reason the bot wasn't connected over SSL
whitequark has left #ocaml [#ocaml]
ear_the_art has joined #ocaml
kindaro10 has joined #ocaml
ear-the-art has quit [Ping timeout: 256 seconds]
<kindaro10> I asked White Quark about the logs and she fixed them. But I still lost everything prior to that.
<kindaro10> I suppose using the web chat is not a great idea.
kindaro has joined #ocaml
kindaro10 has quit [Remote host closed the connection]
<ear_the_art> kindaro, did you get my paste
ear_the_art is now known as ear-the-art
<kindaro> Nope.
<ear-the-art> http://ix.io/2fBF
<kindaro> Thank you. So, what kind of tuple is the type of `printf`? I mean, it is surely not a tuple of values.
<kindaro> And how does the compiler determine the type of `printf format_string`? It must fist parse the string, I suppose?
<companion_cube> it knows the string is a format string, so it parses it as such
<kindaro> So it is hardwired in the Ocaml compiler?
<companion_cube> yep
<kindaro> Can you help me understand a type such as ('a, formatter, unit) format -> 'a
<kindaro> then?
<kindaro> It looks like an unary polymorphic function, but it is not really.
<kindaro> Are there other such functions in the standard library?
<kindaro> Is it used anywhere else at all?
<kindaro> I suppose I can define my own `printf` if I am ready to forfeit the comfy format string literals and give it a value of a type of my own definition?
<companion_cube> well, format strings are used in Printf and Format and Scanf
<companion_cube> (personally I use them *a lot*)
Hrundi_V_Bakshi has joined #ocaml
nigelhp has left #ocaml ["ERC (IRC client for Emacs 26.3)"]
kindaro has quit [Ping timeout: 250 seconds]
<dmbaturin> Type-safe printing combinators are surprisingly trivial, if you forfeit format strings.
sarna has quit [Quit: bye]
sarna has joined #ocaml
orbifx has joined #ocaml
porchetta has quit [Ping timeout: 240 seconds]
<ear-the-art> oops. i think he was confused that types have parameters.
porchetta has joined #ocaml
tane has quit [Quit: Leaving]
orbifx has quit [Ping timeout: 240 seconds]
emias has quit [Ping timeout: 250 seconds]
spew has quit [Quit: Connection closed for inactivity]
Hrundi_V_Bakshi has quit [Ping timeout: 256 seconds]