adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.07.1 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.07/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml | Due to ongoing spam, you must register your nickname to talk on the channel
ziyourenxiang has joined #ocaml
<companion_cube> are you sure you want a first-class functor? it's kind of an advanced feature, really
<companion_cube> if you want to apply this to a module, you have to unpack
<omarramo> I have to parameterize a module, I need to pass it the size of the matrixes it will handle. that's why I created the functor that takes a module supplying the 'variable count' which is the size of the matrix.
<omarramo> and that number will be determined at runtime
<omarramo> so I think there is no other way, but also I am not very good at ocaml
carlosdagos has joined #ocaml
<companion_cube> you're trying to do complciated stuff, it's going to be painful
<companion_cube> dependent types are no joke
<__y> you have to “pattern-match” the module value, to unpack the module: let (module Test) = test in let module M = MyFunctor (Test) in ... (* use module M here *)
<__y> but if you are not using the packed module “test” anywhere else you may inline these let-bindings just as well: let M = MyFunctor (struct ... end : ...) in ... (* use module M here *)
hdon has joined #ocaml
<hdon> hi all :) is there an IRC channel somewhere where people discuss bucklescript? ISTR their discord had a bot that allowed discord/irc comms
<__y> this way you avoid first-class modules
reynir has quit [Ping timeout: 240 seconds]
<orbifx> hdon: dunno :/
Spetznaz_ has quit [Ping timeout: 258 seconds]
<omarramo> __y: I have it like this right now: https://termbin.com/35q4 the unpacking works but line the line with test2 gives me 'Error: Unbound constructor OctagonDomain.ArrayOctagon'
von-strauss has joined #ocaml
<von-strauss> hi everyone
<orbifx> hi von-strauss
<orbifx> cya everyone :)
<von-strauss> ocaml is so cool
<von-strauss> im tripping on type safety
<orbifx> von-strauss: indeed
<von-strauss> it's such a pleasure to wrtie
<von-strauss> write
<von-strauss> im doing an ocaml app with react
<von-strauss> the state reducer model is so sensible
<orbifx> nice
<omarramo> ill go off to sleep, __y thanks for helping me so far!
<von-strauss> orbifx, it's such a welcome departure from oop trash
<von-strauss> oop is literally filth
<orbifx> it's true von-strauss
iZsh has quit [Quit: ZNC - http://znc.in]
<von-strauss> it's programming for the masses
<von-strauss> it's dumbed down rubbish
iZsh has joined #ocaml
<orbifx> von-strauss: :)
<orbifx> gotta go, cya everyone
orbifx has quit [Quit: WeeChat 2.3]
omarramo has quit [Ping timeout: 250 seconds]
reynir has joined #ocaml
omarramo has joined #ocaml
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
silver has quit [Read error: Connection reset by peer]
<timeless> hey companion_cube
* timeless is temporarily contemplating trying to get that thing to build
omarramo has quit [Ping timeout: 268 seconds]
ziyourenxiang has quit [Ping timeout: 272 seconds]
* timeless sighs
olle has quit [Ping timeout: 258 seconds]
olle has joined #ocaml
valtr has quit [Ping timeout: 268 seconds]
troydm has quit [Ping timeout: 268 seconds]
jrslepak has quit [Ping timeout: 268 seconds]
valtr has joined #ocaml
jrslepak has joined #ocaml
troydm has joined #ocaml
mfp has quit [Ping timeout: 268 seconds]
bacam_ has joined #ocaml
def`_ has joined #ocaml
tsani_ has joined #ocaml
eagleflo_ has joined #ocaml
sheijk_ has joined #ocaml
jrslepak has quit [Ping timeout: 268 seconds]
valtr has quit [Ping timeout: 268 seconds]
companion_square has joined #ocaml
jrslepak has joined #ocaml
saltine has joined #ocaml
krkini has joined #ocaml
companion_cube has quit [*.net *.split]
eagleflo has quit [*.net *.split]
keep_learning has quit [*.net *.split]
ahf has quit [*.net *.split]
sheijk has quit [*.net *.split]
Fistine has quit [*.net *.split]
dTal has quit [*.net *.split]
kini has quit [*.net *.split]
catern has quit [*.net *.split]
tsani has quit [*.net *.split]
bacam has quit [*.net *.split]
bronsen has quit [*.net *.split]
def` has quit [*.net *.split]
salc has quit [*.net *.split]
valtr has joined #ocaml
catern has joined #ocaml
Fistine has joined #ocaml
ahf has joined #ocaml
keep_learning has joined #ocaml
recj has quit [Ping timeout: 240 seconds]
tormen has joined #ocaml
companion_square is now known as companion_cube
tormen_ has quit [Ping timeout: 250 seconds]
ziyourenxiang has joined #ocaml
von-strauss has quit [Ping timeout: 268 seconds]
marvin2 has quit [Ping timeout: 240 seconds]
recj has joined #ocaml
recj has quit [Client Quit]
recj has joined #ocaml
gravicappa has joined #ocaml
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
_whitelogger has joined #ocaml
<timeless> how do i use opam to get ocamldep 4.05?
<timeless> oh, i just lost my `eval $(opam env)`
marvin2 has joined #ocaml
nicoo has quit [Ping timeout: 256 seconds]
nicoo has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
olle has quit [Ping timeout: 258 seconds]
JimmyRcom has quit [Ping timeout: 272 seconds]
carlosdagos has quit [Quit: Connection closed for inactivity]
notzmv has quit [Ping timeout: 244 seconds]
bernard22300 has joined #ocaml
<Leonidas> TIL sks-keyserver is written in ocaml and yminsky is one of the authors
bernard22300 has left #ocaml [#ocaml]
cthuluh has quit [Quit: leaving]
cthuluh has joined #ocaml
hdon has quit [Remote host closed the connection]
asymptotically has joined #ocaml
ollehar has joined #ocaml
<timeless> Leonidas: i take it that you know yminsky
* timeless is trying to figure out how to use ocamldebug :/
<timeless> so far, w/ a bit of effort i've managed to get one of the many PRs (#60 ?) for that project to build so that 4.05 works, and i've managed to write a patch (which doesn't work), but i can't get ocamldebug to cooperate :-(
bronsen has joined #ocaml
bronsen has quit [Remote host closed the connection]
bronsen has joined #ocaml
<Leonidas> timeless: yeah, he's pretty well-known in the ocaml community: https://blog.janestreet.com/author/yminsky/
<timeless> thx
<timeless> i don't suppose i could prevail on you to help me try to debug that thing? :-)
Haudegen has joined #ocaml
iovec has quit [Quit: Connection closed for inactivity]
<Leonidas> I've never used ocamldebug and I my day-job is ocaml, so not really
<Leonidas> can I somehow include a module but replace one of the included modules?
<timeless> sounds like monkeypatching :)
<timeless> (in some systems one can replace the loader and the load the module)
<Leonidas> yes, I monkeypatch Yojson to have "normal" prettyprinters
<Leonidas> but monkeypatch is not the real thing, since I'm recreating a derived version of Yojson
themsay has quit [Ping timeout: 250 seconds]
Haudegen has quit [Ping timeout: 268 seconds]
themsay has joined #ocaml
Haudegen has joined #ocaml
themsay has quit [Ping timeout: 246 seconds]
luna___ has joined #ocaml
themsay has joined #ocaml
mfp has joined #ocaml
pierpal has joined #ocaml
niceplace has quit [Ping timeout: 264 seconds]
niceplace has joined #ocaml
pierpal has quit [Ping timeout: 245 seconds]
jimt has quit [Quit: WeeChat 1.9.1]
jimt has joined #ocaml
themsay has quit [Ping timeout: 246 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Client Quit]
decentpenguin has joined #ocaml
themsay has joined #ocaml
Haudegen has quit [Remote host closed the connection]
pierpal has joined #ocaml
andrewalker has joined #ocaml
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
ostera2112 has joined #ocaml
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
ostera2112 has quit [Ping timeout: 246 seconds]
silver has joined #ocaml
opt9 has quit [Quit: Lost terminal]
decentpenguin has quit [Ping timeout: 250 seconds]
decentpenguin has joined #ocaml
nullifidian__ is now known as nullifidian
Haudegen has joined #ocaml
omarramo has joined #ocaml
ostera2112 has joined #ocaml
ostera2112 has quit [Ping timeout: 250 seconds]
tane has joined #ocaml
iovec has joined #ocaml
<omarramo> Hey guys, I still am struggling to find the right syntax for this: https://termbin.com/967a
<omarramo> actually I have it like this right now https://termbin.com/zgrh
<omarramo> it seems like it should work but I am getting 'Unbound constructor ArrayOctagon
<octachron> omarramo, if test2 is supposed to be a local module "let module Test2 = ... in"
ehmry has joined #ocaml
<omarramo> octachron: ok it works now, thanks! but of what type is test in this exmaple then? Test and Test2 seem to be ordinary modules and if I inspect the type of test and Test, I get the same result.
<omarramo> forgive me those annoying names
<octachron> test is a packed module of type `(module VariableCount)`
<omarramo> what would I have to google to learn more about this concept?
<octachron> "First-class module"? It leads to https://dev.realworldocaml.org/first-class-modules.html for instance
ostera2112 has joined #ocaml
ostera2112 has quit [Ping timeout: 245 seconds]
demonimin has quit [Ping timeout: 246 seconds]
asymptotically has quit [Quit: Leaving]
spew has joined #ocaml
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
pierpal has quit [Ping timeout: 244 seconds]
bartholin has joined #ocaml
jaar has joined #ocaml
recj has quit [Ping timeout: 245 seconds]
recj has joined #ocaml
waleee has joined #ocaml
ostera2112 has joined #ocaml
ostera2112 has quit [Ping timeout: 245 seconds]
FreeBirdLjj has joined #ocaml
pierpal has joined #ocaml
ostera2112 has joined #ocaml
ostera2112 has quit [Ping timeout: 258 seconds]
hcarty[m] has quit [Ping timeout: 250 seconds]
sepp2k has quit [Ping timeout: 250 seconds]
yetanotherion[m] has quit [Ping timeout: 252 seconds]
srenatus[m] has quit [Ping timeout: 252 seconds]
spectrumgomas[m] has quit [Ping timeout: 252 seconds]
aspiwack[m] has quit [Ping timeout: 264 seconds]
yawaramin[m] has quit [Ping timeout: 250 seconds]
talyian[m] has quit [Ping timeout: 250 seconds]
Walter[m] has quit [Ping timeout: 250 seconds]
regnat[m] has quit [Ping timeout: 250 seconds]
bglm[m] has quit [Ping timeout: 250 seconds]
hdurer[m] has quit [Ping timeout: 260 seconds]
jimt[m] has quit [Ping timeout: 260 seconds]
flux[m] has quit [Ping timeout: 252 seconds]
rgr[m] has quit [Ping timeout: 252 seconds]
isaachodes[m] has quit [Ping timeout: 252 seconds]
cgenie[m] has quit [Ping timeout: 252 seconds]
ttt123[m] has quit [Ping timeout: 264 seconds]
dl3br[m] has quit [Ping timeout: 264 seconds]
copy` has quit [Ping timeout: 264 seconds]
Haudegen[m] has quit [Ping timeout: 264 seconds]
abcxyz[m] has quit [Ping timeout: 264 seconds]
smondet[m] has quit [Ping timeout: 264 seconds]
peddie has quit [Ping timeout: 260 seconds]
webshinra_ has quit [Ping timeout: 252 seconds]
sepp2k has joined #ocaml
hcarty[m] has joined #ocaml
peddie has joined #ocaml
aspiwack[m] has joined #ocaml
smondet[m] has joined #ocaml
abcxyz[m] has joined #ocaml
copy` has joined #ocaml
yetanotherion[m] has joined #ocaml
spectrumgomas[m] has joined #ocaml
rgr[m] has joined #ocaml
ttt123[m] has joined #ocaml
flux[m] has joined #ocaml
jimt[m] has joined #ocaml
isaachodes[m] has joined #ocaml
opt9 has joined #ocaml
hdurer[m] has joined #ocaml
opt9 has quit [Client Quit]
opt9 has joined #ocaml
Haudegen[m] has joined #ocaml
regnat[m] has joined #ocaml
dl3br[m] has joined #ocaml
srenatus[m] has joined #ocaml
asymptotically has joined #ocaml
yawaramin[m] has joined #ocaml
cgenie[m] has joined #ocaml
bglm[m] has joined #ocaml
talyian[m] has joined #ocaml
Walter[m] has joined #ocaml
decentpenguin has quit [Read error: Connection reset by peer]
asymptotically has quit [Client Quit]
asymptotically has joined #ocaml
decentpenguin has joined #ocaml
ygrek has joined #ocaml
ostera2112 has joined #ocaml
webshinra has joined #ocaml
ostera2112 has quit [Ping timeout: 250 seconds]
initiumdoeslinux has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
ollehar has quit [Ping timeout: 246 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 246 seconds]
FreeBirdLjj has joined #ocaml
nikivi has quit [Quit: ZNC is awesome]
nikivi has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
nullifidian_ has joined #ocaml
initiumdoeslinux has quit [Remote host closed the connection]
initiumdoeslinux has joined #ocaml
nullifidian has quit [Ping timeout: 246 seconds]
initiumdoeslinux has quit [Ping timeout: 245 seconds]
ziyourenxiang has quit [Ping timeout: 258 seconds]
Bronsa has joined #ocaml
roygbiv has joined #ocaml
Serpent7776 has joined #ocaml
omarramo has quit [Ping timeout: 250 seconds]
luna___ has quit [Remote host closed the connection]
olle has joined #ocaml
themsay has quit [Ping timeout: 245 seconds]
ostera2112 has joined #ocaml
ostera2112 has quit [Ping timeout: 245 seconds]
dedgrant has quit [Ping timeout: 246 seconds]
jonatan has quit [Remote host closed the connection]
zolk3ri has joined #ocaml
dedgrant has joined #ocaml
zolk3ri has quit [Quit: Lost terminal]
jaar has quit [Quit: Leaving]
initiumdoeslinux has joined #ocaml
initiumdoeslinux has quit [Remote host closed the connection]
initiumdoeslinux has joined #ocaml
initiumdoeslinux has quit [Ping timeout: 258 seconds]
roygbiv has quit [Quit: ™]
omarramo has joined #ocaml
Haudegen has quit [Remote host closed the connection]
waleee has quit [Quit: WeeChat 2.3]
jao has joined #ocaml
superherointj has joined #ocaml
tarptaeya has joined #ocaml
jnavila has joined #ocaml
omarramo has quit [Ping timeout: 246 seconds]
webshinra has quit [Ping timeout: 252 seconds]
gravicappa has quit [Ping timeout: 258 seconds]
ostera2112 has joined #ocaml
tarptaeya has quit [Remote host closed the connection]
Anarchos has joined #ocaml
ostera2112 has quit [Ping timeout: 246 seconds]
pierpal has quit [Quit: Poof]
pierpal has joined #ocaml
picolino has joined #ocaml
asymptotically has quit [Ping timeout: 256 seconds]
kakadu_ has joined #ocaml
omarramo has joined #ocaml
decentpenguin has quit [Quit: WeeChat 2.3]
ygrek has quit [Ping timeout: 252 seconds]
omarramo has quit [Quit: Konversation terminated!]
kakadu_ has quit [Remote host closed the connection]
kakadu_ has joined #ocaml
steenuil has joined #ocaml
Anarchos has quit [Remote host closed the connection]
Anarchos has joined #ocaml
asymptotically has joined #ocaml
nullifidian__ has joined #ocaml
nullifidian_ has quit [Ping timeout: 250 seconds]
Spetznaz_ has joined #ocaml
Serpent7776 has quit [Quit: leaving]
kakadu has quit [Ping timeout: 272 seconds]
jnavila has quit [Ping timeout: 246 seconds]
orbifx has joined #ocaml
<orbifx> greetings
<companion_cube> o/
tane has quit [Quit: Leaving]
<orbifx> \o
<orbifx> is anyone missing NNTP? :P
<orbifx> I've set up a server for fame and glory :P
<companion_cube> heh, it's been a few years…
<orbifx> I'm thinking of making an ocaml group, or functional-programming-world-domination group
<companion_cube> I think there's already too many places where ocamlers can talk :s
<orbifx> tis true, but this has to be the 1337357 one
<companion_cube> :D
<orbifx> might be good for projects /me thinks
orbitz has quit [Read error: Connection reset by peer]
<orbifx> the troubles of setting up something for fun and then trying to find use for it :P
Ocaml_Power has joined #ocaml
<Ocaml_Power> orbifx:
<Ocaml_Power> Interested in functional-programming-world-domination group
<orbifx> Ocaml_Power: did you just join for that? :P
<Ocaml_Power> orbifx: yes
<orbifx> nice :P
<Ocaml_Power> i have low activation energy
orbitz has joined #ocaml
<companion_cube> orbifx: did you join twice just to make this joke? :D
<orbifx> orbitz and I are two different people
<orbifx> what are the odds in the OCaml world.. :P
<orbifx> Ocaml_Power: was mostly kidding, but I don't mind. Shall I make it OCaml, ML or functional....domination?
<orbifx> have you ever used NNTP Ocaml_Power ?
<Ocaml_Power> orbifx: I wouldn't mind all three
<Ocaml_Power> nope, but I am quite good and googling shit
<Ocaml_Power> at
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
webshinra has joined #ocaml
superherointj has quit [Quit: Leaving]
jnavila has joined #ocaml
ostera2112 has joined #ocaml
Ocaml_Power has quit [Ping timeout: 256 seconds]
jnavila has quit [Remote host closed the connection]
Power_ML has joined #ocaml
<Power_ML> orbifx
<Power_ML> no charge left
<Power_ML> just plugged my computer
<dmbaturin> orbifx: An independent server, or you are carrying the usual usenet hierarchy?
<dmbaturin> alt.protocol.nostalgia.nntp ;)
<orbifx> nostalgia! was trying to remember that word
<orbifx> dmbaturin: independent server, I might peer (some groups) with AIOE at a later point
<orbifx> dmbaturin: are you interested?
<Armael> h good there's a nntp client in emacs
<dmbaturin> orbifx: Sure, why not. Been a while since I used NNTP.
<orbifx> dmbaturin: :D
ostera2112 has quit [Ping timeout: 245 seconds]
<dmbaturin> comp.text.tex might have been displaced by stackexchange by now, but it used to be the best place to ask.
<orbifx> I get why these platforms have replaced NNTP, but I feel it's a shame
silver has quit [Ping timeout: 250 seconds]
silver has joined #ocaml
ostera2112 has joined #ocaml
asymptotically has quit [Quit: Leaving]
ostera2112 has quit [Ping timeout: 272 seconds]
carlosdagos has joined #ocaml
bartholin has quit [Remote host closed the connection]
silver has quit [Ping timeout: 245 seconds]
hph^ has joined #ocaml
ziyourenxiang has joined #ocaml
ec is now known as ELLIOTTCABLE
sagax has quit [Quit: Konversation terminated!]
Power_ML has quit [Ping timeout: 256 seconds]
ELLIOTTCABLE is now known as KL4JC
olle has quit [Ping timeout: 250 seconds]
kakadu_ has quit [Remote host closed the connection]