companion_cube changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 4.14.0 released: https://ocaml.org/releases/4.14.0.html | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/
Tuplanolla has quit [Quit: Leaving.]
azimut has quit [Ping timeout: 255 seconds]
Haudegen has quit [Ping timeout: 252 seconds]
noonien has quit [Quit: The Lounge - https://thelounge.chat]
noonien has joined #ocaml
spip has quit [Quit: Konversation terminated!]
azimut has joined #ocaml
troydm has joined #ocaml
zbroyar has joined #ocaml
waleee has quit [Ping timeout: 260 seconds]
<zbroyar> hi all
<zbroyar> Can anybody recommend ocaml course (online is the best) for a teenager?
<discocaml> <darrenldl> the cs3110 one has a video for each chapter
<discocaml> <darrenldl> and relies on the builtin stdlib
<discocaml> <darrenldl> real world ocaml (RWO) relies more on stdlib replacements like base or core
<discocaml> <darrenldl>
<discocaml> <darrenldl> for learning, just pick one that reads nicer to you really
<zbroyar> It's not for me, for my son :-)
<zbroyar> He has rudimentary Python skills, so I need something simple
<discocaml> <darrenldl> cs3110 then i suggest, though it's still a uni course level book
<zbroyar> I'm looking for something like "Python for kids"
<discocaml> <darrenldl> someone might have written something on functional programming for pre uni students(?), if ocaml is not a must
<discocaml> <darrenldl> so he doesn't like python(?)
<discocaml> <darrenldl> i mean python is likely the easiest choice to teach even at uni, with many resources etc
<zbroyar> He likes python, but I have a project with a huge codebase in OCaml so I want to start to involve him :-)
<discocaml> <darrenldl> Oh
<discocaml> <leviroth> http://ocaml-book.com/
<discocaml> <darrenldl> oh nice! was not aware of that book
<zbroyar> @leviroth looks very close :-)
<zbroyar> Thanks.
<discocaml> <leviroth> I haven’t read it personally but it seems to be well regarded (hence e.g. the decision of the OCaml foundation to fund it)
<discocaml> <darrenldl> ~~alternative (bad) idea: rewrite the project in python : v~~
<zbroyar> :-))))))))
<zbroyar> Thanks for the suggestion, but NO.
<discocaml> <darrenldl> now for good(?) idea suggestion: port it to fsharp
<zbroyar> why?
<discocaml> <darrenldl> nah im just jesting and because i was reminded about darklang today
<zbroyar> :-)
azimut has quit [Ping timeout: 255 seconds]
azimut_ has joined #ocaml
<discocaml> <tautologico> one option is to learn functional programming first and then possibly OCaml later. How to Design Programs is a great book for beginners, it uses Racket (and some sublanguages defined on it)
chrisz has quit [Ping timeout: 246 seconds]
chrisz has joined #ocaml
tizoc has quit [Quit: Coyote finally caught me]
tizoc has joined #ocaml
zbroyar has quit [Ping timeout: 256 seconds]
zbroyar has joined #ocaml
jao has quit [Ping timeout: 252 seconds]
tjnhxmzh1qgytuwt has joined #ocaml
tjnhxmzh1qgytuwt has quit [Ping timeout: 264 seconds]
motherfsck has quit [Ping timeout: 268 seconds]
tjnhxmzh1qgytuwt has joined #ocaml
zbroyar_ has joined #ocaml
Haudegen has joined #ocaml
zbroyar has quit [Ping timeout: 248 seconds]
Serpent7776 has joined #ocaml
zbroyar_ has quit []
troydm has quit [Ping timeout: 252 seconds]
Serpent7776 has quit [Ping timeout: 260 seconds]
tjnhxmzh1qgytuwt has quit [Ping timeout: 252 seconds]
bartholin has joined #ocaml
Serpent7776 has joined #ocaml
trev has joined #ocaml
bartholin has quit [Quit: Leaving]
kakadu has joined #ocaml
alexherbo2 has joined #ocaml
olle has joined #ocaml
alexherbo2 has quit [Remote host closed the connection]
jlrnick has joined #ocaml
spip has joined #ocaml
Inst has joined #ocaml
Inst has quit [Client Quit]
Inst has joined #ocaml
Anarchos has joined #ocaml
<Anarchos> I notice that the last version of D. Bünzli's mtime library removed the Mtime.Span.to_us function. Though it is used in the Logs library. By what should i replace this function ?
Inst_ has joined #ocaml
waleee has joined #ocaml
Inst has quit [Ping timeout: 252 seconds]
troydm has joined #ocaml
<discocaml> <Et7f3 (@me on reply)> @companion_cube encoding issue on discord
trev has quit [Remote host closed the connection]
trev has joined #ocaml
Anarchos has left #ocaml [#ocaml]
jlrnick has quit [Ping timeout: 265 seconds]
jlrnick has joined #ocaml
<discocaml> <leviroth> Hopefully you can fix it with D. Bünzli's uutf library
<discocaml> <NULL> Looks like it's the same issue as we had with last bot
anpad has quit [Quit: ZNC 1.8.2 - https://znc.in]
anpad has joined #ocaml
alexherbo2 has joined #ocaml
bgs has joined #ocaml
alexherbo2 has quit [Remote host closed the connection]
alexherbo2 has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
azimut has joined #ocaml
azimut_ has quit [Ping timeout: 255 seconds]
<companion_cube> hu
<companion_cube> why does it happen now…
<discocaml> <NULL> I know … didn't go through unscathed
<discocaml> <NULL> Apparently now it does
Haudegen has joined #ocaml
<companion_cube> ö
<discocaml> <NULL> ö
<discocaml> <companion_cube> this one works ok
<companion_cube> ü
<discocaml> <NULL> ü
<companion_cube> I blame Anarchos :p
<octachron> 𒆍𒀭𒊏𒆠 ?
<discocaml> <companion_cube> look ok to me
<discocaml> <octachron> Indeed द्ध्र्य?
<discocaml> <leviroth> Did Anarchos’ message look normal on IRC?
<companion_cube> it did
<companion_cube> but I suspect his config is wrong, and IRC clients are more used to that
<octachron> Yes, it could well be that there are more layesr of encoding guestimation in IRC clients.
<discocaml> <leviroth> Don’t suppose anyone records the messages in a more raw format from irc?
<discocaml> <leviroth> What I find odd is that the garbled text is ü, encoded via UTF-8, then decoded via ISO-8859-1.
<companion_cube> it might be proper UTF-8 but in a client that doesn't say it speaks UTF-8
<discocaml> <leviroth> I’m confused about how that would happen though. IIUC there’s no encoding information in the IRC protocol.
alexherbo2 has quit [Remote host closed the connection]
* olle Müüü
<olle> (German cow)
<discocaml> <companion_cube> still looks fine
<olle> Ye
<olle> Another problem solved!
count3rmeasure has joined #ocaml
waleee has quit [Ping timeout: 260 seconds]
<malc> greek cows are much more efficient - μ
<companion_cube> 🐄
Inst_ is now known as Inst
kakadu has quit [Quit: Konversation terminated!]
count3rmeasure has quit [Ping timeout: 252 seconds]
troydm has quit [Ping timeout: 268 seconds]
<discocaml> <deepspacejohn> are there other languages that have `Format` strings like OCaml? (not just printf strings)
<malc> deepspacejohn: python
<discocaml> <deepspacejohn> does python let you specify boxes like `@[ @]`?
count3rmeasure has joined #ocaml
Serpent7776 has quit [Quit: WeeChat 1.9.1]
Haudegen has quit [Quit: Bin weg.]
<discocaml> <leviroth> Just to be clear, the Python feature called “format strings” is very different from the OCaml thing I think you’re talking about. So you might be talking past each other.
<companion_cube> I don't know of any language with such a powerful printer in the stdlib
<discocaml> <deepspacejohn> yes, I specifically mean the boxes and break hints utilized by the Format module.
<discocaml> <deepspacejohn> That's what I thought. I haven't seen a language with a printer as powerful as OCaml's stdlib, but I wondered if I may just be missing something.
<companion_cube> haskell has plenty of pretty printers as 3rd party libraries
<companion_cube> but not with the printf-like string format, afaik
<discocaml> <deepspacejohn> yeah, the string format seems especially unique.
<discocaml> <deepspacejohn> I was also partially wondering if OCaml invented that or if it was borrowed from another language.
<malc> deepspacejohn: i think common lisp's formatting abilities are on par, then again it's been a while
<companion_cube> I think it grew from Printf
<companion_cube> literally, from the Printf module
<companion_cube> which would be why the format strings are common and are a superset of C's
<companion_cube> https://en.wikipedia.org/wiki/Format_(Common_Lisp) seems to have some pretty printing stuff, heh
<discocaml> <deepspacejohn> Interesting. Thanks for the info everyone!
count3rmeasure has quit [Ping timeout: 252 seconds]
count3rmeasure has joined #ocaml
bartholin has joined #ocaml
Anarchos has joined #ocaml
Inst_ has joined #ocaml
tjnhxmzh1qgytuwt has joined #ocaml
Inst has quit [Ping timeout: 246 seconds]
waleee has joined #ocaml
tjnhxmzh1qgytuwt has quit [Ping timeout: 246 seconds]
jlrnick has quit [Ping timeout: 248 seconds]
<Anarchos> where can i find examples on the use of ocaml-protoc-plugin ?
ns12 has quit [Quit: bye]
ns12 has joined #ocaml
<discocaml> <Et7f3 (@me on reply)> See revdeps https://opam.ocaml.org/packages/ocaml-protoc-plugin/
<Anarchos> revdeps ?
<discocaml> <emillon> Reverse dependencies. Packages that depend on that
<Anarchos> you mean the 'required by' section ?
<discocaml> <emillon> Yes
Haudegen has joined #ocaml
jao has joined #ocaml
Anarchos has quit [Quit: Vision[]: i've been blurred!]
count3rmeasure has quit [Read error: Connection reset by peer]
Tuplanolla has joined #ocaml
bgs has quit [Remote host closed the connection]
Inst_ is now known as Inst
noze has quit [Ping timeout: 260 seconds]
noze has joined #ocaml
<discocaml> <molylander> How do you get caqti/rapper support for UUID?
<discocaml> <molylander> for example how do I do something like:
<discocaml> <molylander> ```
<discocaml> <molylander> [%rapper
<discocaml> <molylander> execute
<discocaml> <molylander> {sql|
<discocaml> <molylander> INSERT INTO messages (id, user_name, body)
<discocaml> <molylander> VALUES(%uuid{id}, %string{user_name}, %string{body})
<discocaml> <molylander> |sql}
<discocaml> <molylander> ```
Stumpfenstiel has joined #ocaml
<discocaml> <molylander> nvm...I see that postgres will do the conversion of string -> UUID on it's own
trev has quit [Remote host closed the connection]
azimut has quit [Ping timeout: 255 seconds]
bartholin has quit [Remote host closed the connection]
bartholin has joined #ocaml
olle has quit [Ping timeout: 252 seconds]
count3rmeasure has joined #ocaml
Tuplanolla has quit [Quit: Leaving.]
bartholin has quit [Remote host closed the connection]
waleee has quit [Ping timeout: 246 seconds]
keyboard has joined #ocaml