<thizanne>
some are old/unmaintained, some are missing, but that would be a good start
<prsafont[m]>
xen-api is pretty big (at least the codebase is)
<octachron>
Generally the module defining the functor defines a module type for the functor result (often named `S`). And you have the choice wheter you want or not to expose the resulting module
<Nikkel>
octachron: I very much want to :)
<Nikkel>
I have a library types.ml, which I would like to contain my IntSet. So I'm just wondering what I have to write in types.mli
<Lycurgus>
thizanne, ty, I think mldonkey and haxe were the ones I was forgetting
<octachron>
Nikkel, for the stdlib's Set: `module IntSet: Set.S with type el = int`
<Nikkel>
octachron: Thank you man, you're a lifesaver :)
jbrown has joined #ocaml
<Lycurgus>
prsafont[m], ty, assume you mean the hypervisor
<prsafont[m]>
not exactly, it's a control plane for the xen hypervisor
Lycurgus has quit [Quit: Exeunt]
nullifidian_ has joined #ocaml
nullifidian has quit [Ping timeout: 240 seconds]
<ollehar>
Leonidas: pfff ?
<ollehar>
Facebook's analyser
<ollehar>
Also the type-checker in Hack lang
<theblatte>
also infer :) and flow (types for JS) and pyre (types for Python)
<ollehar>
ReasonML, but not an "app" per se
<Drup>
I think things written in reason should count as ocaml apps :p
<ollehar>
yep
<ollehar>
so, none?
<ollehar>
don't know if it's used XD
<ollehar>
even by facebook them selfes
<ollehar>
selves?
<theblatte>
messenger.com is written in reason
<Drup>
yeah, I was also thinking of messenger
<ollehar>
yeah?
spew has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
gareppa has joined #ocaml
gareppa has quit [Remote host closed the connection]
<Leonidas>
ollehar: also not Leonidas but Lycurgus who asked that.
oni-on-ion has joined #ocaml
jao has joined #ocaml
<ollehar>
oops
<ollehar>
And he/she is not online ^^
Lycurgus has joined #ocaml
<Lycurgus>
wrong on two counts
<Lycurgus>
3 including the failure to infer maleness from the nick
<Lycurgus>
it's gendered, by the namesake
<Lycurgus>
4 including conflating being "online" with being present in the channel under the nick
<Lycurgus>
(to split the hair of the inference and the matter of fact)
<theblatte>
there's also the whole mirage project
<Lycurgus>
ty, theblatte
<ollehar>
5, in assuming that physical reality exists
Haudegen has joined #ocaml
<oni-on-ion>
that is a hefty assumption
<Lycurgus>
it's rejection as a fake is the basis of a number of widely held belief systems
<Lycurgus>
*its
<oni-on-ion>
rejection may not be necessary in recognition of its illusory nature
<Lycurgus>
and it's assertion the basis of a more closely held one
<Lycurgus>
*its (again)
<oni-on-ion>
mind-made? or external to our perceptions (those closely held)?
<Lycurgus>
external to our perceptions. I meant science, and there are sciences that treat of the perceptions but they too presume implicitly a real world in which they take place
<Lycurgus>
other than mathematics, if you consider that science
<oni-on-ion>
ah yeah. i'd consider mathematics and numbers/geometry to be higher up like what plato was saying
<Lycurgus>
i definitely do not consider mathematics to be science
<simpson>
Lycurgus, ollehar: Indeed, one way of stating the Reality Hypothesis is that reality is some mathematical object. We therefore need maths before we can even hypothesize the nature of reality.
<theblatte>
our mathematics are very dependend on how we (believe that we) perceive the world too, Wittgenstein would like a word with you
<Lycurgus>
W is overrated imo
<oni-on-ion>
yeah i cannot see mathematics as a science. numbers and geometry/patterns are the blood and breath of the "external" world
jnavila has joined #ocaml
* Lycurgus
leaves so the room can go back on-topic
Lycurgus has quit [Quit: Exeunt]
<ollehar>
-1 is as unreal as sqrt(-1)
<oni-on-ion>
zero is infinity x_x
<ollehar>
Euler believed -1 was higher than inf, IIRC
<oni-on-ion>
oh how come ?
<simpson>
ollehar: The complex numbers are as real as quantum mechanics.
<ollehar>
;)
<oni-on-ion>
heh. "imaginary" numbers
<ollehar>
imaginary mechanics?
<simpson>
No, no, wait, it gets better: "real numbers"
<oni-on-ion>
science be like, hmm unknown variable, some magic number, so you see the formula here works...
<oni-on-ion>
hehe
<ollehar>
Real numbers are irrational AND rational
KeyJoo has joined #ocaml
<oni-on-ion>
floating
FreeBirdLjj has joined #ocaml
<ollehar>
we all float
jao has quit [Ping timeout: 265 seconds]
retropikzel has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
<narimiran>
thanks companion_cube, i'll try to play with it
smazga has joined #ocaml
<narimiran>
i think it'll do for the stuff i currently need
rgherdt has joined #ocaml
retropikzel has quit [Quit: Konversation terminated!]
amiloradovsky has joined #ocaml
ollehar has quit [Ping timeout: 240 seconds]
jao has joined #ocaml
free_beard has quit [Remote host closed the connection]
nullifidian_ is now known as nullifidian
zolk3ri has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
amiloradovsky has quit [Quit: amiloradovsky]
amiloradovsky has joined #ocaml
amiloradovsky has quit [Remote host closed the connection]
amiloradovsky has joined #ocaml
<narimiran>
companion_cube: in the CCIO module you say "See Gen in the gen library." — either this is outdated or i'm unable to find what you're referring to
<companion_cube>
it's a separate library now, but yeah, the docs might be outdated
ziyourenxiang has quit [Ping timeout: 265 seconds]
amiloradovsky has quit [Remote host closed the connection]
<companion_cube>
fixed
amiloradovsky has joined #ocaml
<narimiran>
ok, i found `gen` and its docs. let me see if i can make use of it (basically, i'm interested to see how to use `read_lines` instead of `readl_lines_l`
<companion_cube>
be careful that you have to be careful with the lifetime of the generator wrt the open channel
<companion_cube>
(i.e. don't close the channel before you're done with the iterator)
jbrown has quit [Ping timeout: 246 seconds]
<narimiran>
ungh, i think i understand what you're saying (some examples in the docs would be nice :)), but it will probably bite me
<companion_cube>
a fresh perspective is always useful, so please contribute to the docs if something is missing :p
rgherdt has quit [Ping timeout: 252 seconds]
<narimiran>
yeah, i plan to do (btw, my first ever ocaml-related PR was to Containers), but it is hard for the stuff i don't understand :)
<narimiran>
does "Fatal error: exception Sys_error("Bad file descriptor")" have to do with what you just said to me, or is this something else i fucked up?
amiloradovsky has quit [Ping timeout: 250 seconds]
<companion_cube>
yes
<companion_cube>
I just pushed a change about that
<narimiran>
do i understand correctly that `read_lines` should be used only if you will immediately write to that file? otherwise, `read_lines_l` is what i should be using?
<narimiran>
what i usually do is `CCIO.(with_in filename read_lines_l)` and then pipe it forward to something dealing with a list
<companion_cube>
if you need the data in memory, yeah, use read_lines_l
<companion_cube>
but if you use the generator immediately, it should be within the scope of `with_in`
<companion_cube>
(like a `with` block in python)
<narimiran>
thanks for the clarifications! much appreciated!
<companion_cube>
no worries :)
<companion_cube>
I improved the docs a bit thanks to you
<narimiran>
:)
jbrown has joined #ocaml
barockobamo has quit [Remote host closed the connection]
<narimiran>
btw, what would you want to see as docs improvements?
<narimiran>
from what i can tell, there's a big no-no to any kind of the examples in ocaml docs :P :D
<companion_cube>
more examples, more explanations of how to use stuff
<companion_cube>
hey, I like examples :p
<narimiran>
ok, that's exactly what i would want to see too :)
<narimiran>
when i catch some time, i'll try to improve the most frequently used modules.
<companion_cube>
perfect 💯
<companion_cube>
there's also the readme's tutorial btw
<narimiran>
but that might be after new year, as now/soon Advent of Code is my top 1 priority in my spare time :)
<companion_cube>
oh I forgot about that
<zfnmxt>
companion_cube: Can you send another emoji like that? A smiley face or something.
<companion_cube>
💃
<companion_cube>
🐫🚀
<zfnmxt>
had no idea my terminal supported emoji :O
<companion_cube>
it's just unicode, if you have the right fonts it's out of the box
<narimiran>
(my hexchat just shows empty rectangles, yay)
jaar has quit [Ping timeout: 268 seconds]
<zfnmxt>
Yeah, but it's doing some font "stitching" or something since the font I've configured my terminal to use has really limited unicode support.
<narimiran>
never forget about AoC!! it is my go-to tool when learning new languages, it is a great set of various tasks
<narimiran>
the reason why i'm asking all these stupid questions in last couple of weeks is because i'm trying to learn ocaml basics so i can be ready for this year's AoC :)
<companion_cube>
nice.
<companion_cube>
I suggest you also get used to merlin, it's a great boost when writing OCaml
<narimiran>
both merlin and utop are GREAT
<companion_cube>
(especially stuff like Foo.<tab> to explore APIs, and type info for symbols)
<companion_cube>
yeah, and dune too
<narimiran>
i want to have :MerlinTypeOf for my other languages too! :)
<narimiran>
dune i don't like as much. at first i hated it because i wasn't able to do what i wanted, but now i'm...... okay with it
<companion_cube>
bind that to \t or something
<companion_cube>
it's actually very good, that dune is opinionated; makes it fast and reliable
<narimiran>
yeah, i have it as `<leader>mt`
<companion_cube>
<leader>t and <leader>i for me
<companion_cube>
for type and doc respectively
<companion_cube>
also, `gd`, of course
<narimiran>
i always forget about :MerlinDocument (<leader>md for me)
<companion_cube>
it's pretty neat
<narimiran>
and i guess i don't know how to properly use :MerlinDestruct (<leader>mx, x for eXplode :))
<companion_cube>
match x with _ ->, position cursor on _ (when type of x is known), and destruct
<companion_cube>
will give a list of cases
<narimiran>
yeah, but it puts everything on the same line
<companion_cube>
typically, a `_` pattern of known type can be destructed
<companion_cube>
ah yes…
<narimiran>
and it doesn't work if i have `a`, but if i have `match a` then it will do `match (match a with .....)`
kjak has quit [Ping timeout: 240 seconds]
<narimiran>
so i figured out that i'm slower if i try to use Destruct, than doing everything manually :D
Haudegen has joined #ocaml
<companion_cube>
it's nice when you have a large-ish sum type
KeyJoo has quit [Quit: KeyJoo]
amiloradovsky has joined #ocaml
amiloradovsky has quit [Remote host closed the connection]
amiloradovsky has joined #ocaml
amiloradovsky has quit [Remote host closed the connection]
amiloradovsky has joined #ocaml
amiloradovsky has quit [Remote host closed the connection]
rgherdt has joined #ocaml
kalio has quit [Ping timeout: 268 seconds]
unyu has quit [Quit: brb]
unyu has joined #ocaml
brettgilio has quit [Ping timeout: 264 seconds]
kakadu_ has quit [Quit: Konversation terminated!]
Serpent7776 has joined #ocaml
brettgilio has joined #ocaml
kjak has joined #ocaml
kalio has joined #ocaml
<oni-on-ion>
narimiran, i am using hexchat, and got the colored emoji. fwiw
<narimiran>
oni-on-ion: heh, then i need to see what can i change in hexchat settings or system-wide
<companion_cube>
clearly, you need to be able to see camel emojis
<narimiran>
oni-on-ion: btw, your OS?
<oni-on-ion>
narimiran, last i remember, #emacs recommended installing "-noto" fonts from distribution. debian here
<oni-on-ion>
companion_cube, especially ! =)
<companion_cube>
also, 😱
<companion_cube>
(o/ Drup)
<narimiran>
i have `noto-fonts` package installed on manjaro
<oni-on-ion>
and i learned that camels originally were from the arctic north america. ocaml got me interested in them =)
<narimiran>
oh, there's a `noto-fonts-emoji`, lets see if this does the trick
<companion_cube>
so llamas just migrated south, heh?
gareppa has joined #ocaml
<narimiran>
and no, i won't be installing 300MB+ `noto-fonts-extra` :)
<companion_cube>
noto-fonts-emoji is what I use! 💃
<oni-on-ion>
companion_cube, yep =) apparently their padded+seperated feet, humps, all good for arctic . many old bones found up here
<oni-on-ion>
i think that package will solve the problem =) camels for all
<companion_cube>
I'm glad I could contribute real improvements to y'all's lives
<oni-on-ion>
*thumb_emoji*
<narimiran>
ok, installed, lets see if it will work if i only restart hexchat.... brb
narimiran has quit [Quit: Leaving]
narimiran has joined #ocaml
<companion_cube>
howdy 🤠
<narimiran>
well hello there cowboy! i see you loud and clear :D
<companion_cube>
you're the person who often has to 😦 to what I say, and occasionally 😱 in terror
gareppa has quit [Remote host closed the connection]
<companion_cube>
and !emoji on ddg is pretty fun
<narimiran>
eh, now i need to restart my browser too....
<Drup>
well, it's mostly the negativeness that makes me 😦
<oni-on-ion>
oh nice =) it searches them. but decodemoji.com fully translates to/from english =)
<companion_cube>
arf
<companion_cube>
don't worry, I'm removing ppx^W the negativeness from my life
<narimiran>
test 🐪
<oni-on-ion>
i have no mouse atm so i cant copy+paste example. got to update opam today
<companion_cube>
🎉
<narimiran>
suddenly my screen is so colorful
<companion_cube>
I know right?
<companion_cube>
puts some ☀️ into your ♥
<narimiran>
ok, i'm deinstalling this font, this is too much! :P
<companion_cube>
:DDD
<oni-on-ion>
doesnt it only come up when viewing emoji ? =/
<oni-on-ion>
this is first emoji i seen in about a week of computing
<companion_cube>
fwiw I use a few emojis in my debug messages these days
<oni-on-ion>
irc and icons and web itself are much more colorful. plus the emoji are tiny
<narimiran>
companion_cube: just wait until i improve your docs by thousands of emojis!
<oni-on-ion>
i think its a good idea
<Leonidas>
yeah, IRC has color filters, but no emoji filters
<thizanne>
companion_cube: that's a nice way to put some colors without either remembering ansi escape codes or having an actual infrastructure to put them for you :)
<Leonidas>
someone should come up with that
<oni-on-ion>
Leonidas, uninstall emoji font, as witnessed and observed here (albeit in reverse) =)
<companion_cube>
narimiran: oh dear.
<companion_cube>
thizanne: putting colors in the terminal is pretty easy if you use containers, just sayin' :p
<thizanne>
but is it when you use SML ? :-)
<companion_cube>
now you make me sad :p
<thizanne>
you'd like it
<Drup>
thizanne: why would you do that to yourself ?
<thizanne>
"end" everywhere !
<companion_cube>
but I don't want `end` on the let
<companion_cube>
:(
<companion_cube>
and the tooling is… lacking, compared to OCaml ^^