00:00
ziyourenxiang has joined #ocaml
00:01
<
companion_cube >
are you sure you want a first-class functor? it's kind of an advanced feature, really
00:01
<
companion_cube >
if you want to apply this to a module, you have to unpack
00:04
<
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.
00:04
<
omarramo >
and that number will be determined at runtime
00:04
<
omarramo >
so I think there is no other way, but also I am not very good at ocaml
00:13
carlosdagos has joined #ocaml
00:21
<
companion_cube >
you're trying to do complciated stuff, it's going to be painful
00:21
<
companion_cube >
dependent types are no joke
00:23
<
__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 *)
00:24
<
__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 *)
00:26
hdon has joined #ocaml
00:27
<
hdon >
hi all :) is there an IRC channel somewhere where people discuss bucklescript? ISTR their discord had a bot that allowed discord/irc comms
00:27
<
__y >
this way you avoid first-class modules
00:42
reynir has quit [Ping timeout: 240 seconds]
00:50
<
orbifx >
hdon: dunno :/
01:04
Spetznaz_ has quit [Ping timeout: 258 seconds]
01:08
<
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'
01:10
von-strauss has joined #ocaml
01:10
<
von-strauss >
hi everyone
01:11
<
orbifx >
hi von-strauss
01:11
<
orbifx >
cya everyone :)
01:11
<
von-strauss >
ocaml is so cool
01:11
<
von-strauss >
im tripping on type safety
01:11
<
orbifx >
von-strauss: indeed
01:12
<
von-strauss >
it's such a pleasure to wrtie
01:12
<
von-strauss >
write
01:12
<
von-strauss >
im doing an ocaml app with react
01:12
<
von-strauss >
the state reducer model is so sensible
01:12
<
omarramo >
ill go off to sleep, __y thanks for helping me so far!
01:13
<
von-strauss >
orbifx, it's such a welcome departure from oop trash
01:13
<
von-strauss >
oop is literally filth
01:14
<
orbifx >
it's true von-strauss
01:14
<
von-strauss >
it's programming for the masses
01:14
<
von-strauss >
it's dumbed down rubbish
01:14
iZsh has joined #ocaml
01:16
<
orbifx >
von-strauss: :)
01:16
<
orbifx >
gotta go, cya everyone
01:16
orbifx has quit [Quit: WeeChat 2.3]
01:17
omarramo has quit [Ping timeout: 250 seconds]
01:17
reynir has joined #ocaml
01:18
omarramo has joined #ocaml
01:32
pierpal has quit [Quit: Poof]
01:33
pierpal has joined #ocaml
01:33
silver has quit [Read error: Connection reset by peer]
01:37
<
timeless >
hey companion_cube
01:37
* timeless
is temporarily contemplating trying to get that thing to build
01:41
omarramo has quit [Ping timeout: 268 seconds]
01:41
ziyourenxiang has quit [Ping timeout: 272 seconds]
01:53
olle has quit [Ping timeout: 258 seconds]
01:55
olle has joined #ocaml
02:17
valtr has quit [Ping timeout: 268 seconds]
02:19
troydm has quit [Ping timeout: 268 seconds]
02:19
jrslepak has quit [Ping timeout: 268 seconds]
02:21
valtr has joined #ocaml
02:21
jrslepak has joined #ocaml
02:23
troydm has joined #ocaml
02:30
mfp has quit [Ping timeout: 268 seconds]
02:39
bacam_ has joined #ocaml
02:39
def`_ has joined #ocaml
02:39
tsani_ has joined #ocaml
02:39
eagleflo_ has joined #ocaml
02:40
sheijk_ has joined #ocaml
02:41
jrslepak has quit [Ping timeout: 268 seconds]
02:41
valtr has quit [Ping timeout: 268 seconds]
02:41
companion_square has joined #ocaml
02:42
jrslepak has joined #ocaml
02:42
saltine has joined #ocaml
02:44
krkini has joined #ocaml
02:46
companion_cube has quit [*.net *.split]
02:46
eagleflo has quit [*.net *.split]
02:46
keep_learning has quit [*.net *.split]
02:46
ahf has quit [*.net *.split]
02:46
sheijk has quit [*.net *.split]
02:46
Fistine has quit [*.net *.split]
02:46
dTal has quit [*.net *.split]
02:46
kini has quit [*.net *.split]
02:46
catern has quit [*.net *.split]
02:46
tsani has quit [*.net *.split]
02:46
bacam has quit [*.net *.split]
02:46
bronsen has quit [*.net *.split]
02:46
def` has quit [*.net *.split]
02:46
salc has quit [*.net *.split]
02:46
valtr has joined #ocaml
02:48
catern has joined #ocaml
02:50
Fistine has joined #ocaml
02:50
ahf has joined #ocaml
02:56
keep_learning has joined #ocaml
02:58
recj has quit [Ping timeout: 240 seconds]
03:05
tormen has joined #ocaml
03:07
companion_square is now known as companion_cube
03:08
tormen_ has quit [Ping timeout: 250 seconds]
03:13
ziyourenxiang has joined #ocaml
03:47
von-strauss has quit [Ping timeout: 268 seconds]
04:08
marvin2 has quit [Ping timeout: 240 seconds]
04:10
recj has joined #ocaml
04:12
recj has quit [Client Quit]
04:13
recj has joined #ocaml
04:27
gravicappa has joined #ocaml
04:29
pierpal has quit [Quit: Poof]
04:29
pierpal has joined #ocaml
04:42
pierpal has quit [Quit: Poof]
04:42
pierpal has joined #ocaml
05:06
_whitelogger has joined #ocaml
05:53
<
timeless >
how do i use opam to get ocamldep 4.05?
05:54
<
timeless >
oh, i just lost my `eval $(opam env)`
06:08
marvin2 has joined #ocaml
06:09
nicoo has quit [Ping timeout: 256 seconds]
06:23
nicoo has joined #ocaml
07:14
pierpal has quit [Read error: Connection reset by peer]
07:14
pierpal has joined #ocaml
07:18
pierpal has quit [Read error: Connection reset by peer]
07:31
olle has quit [Ping timeout: 258 seconds]
07:35
JimmyRcom has quit [Ping timeout: 272 seconds]
07:58
carlosdagos has quit [Quit: Connection closed for inactivity]
08:15
notzmv has quit [Ping timeout: 244 seconds]
08:20
bernard22300 has joined #ocaml
08:34
<
Leonidas >
TIL sks-keyserver is written in ocaml and yminsky is one of the authors
08:36
bernard22300 has left #ocaml [#ocaml]
08:36
cthuluh has quit [Quit: leaving]
08:42
cthuluh has joined #ocaml
08:48
hdon has quit [Remote host closed the connection]
08:54
asymptotically has joined #ocaml
08:59
ollehar has joined #ocaml
09:00
<
timeless >
Leonidas: i take it that you know yminsky
09:00
* timeless
is trying to figure out how to use ocamldebug :/
09:01
<
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 :-(
09:11
bronsen has joined #ocaml
09:11
bronsen has quit [Remote host closed the connection]
09:12
bronsen has joined #ocaml
09:17
<
timeless >
i don't suppose i could prevail on you to help me try to debug that thing? :-)
09:24
Haudegen has joined #ocaml
09:34
iovec has quit [Quit: Connection closed for inactivity]
09:35
<
Leonidas >
I've never used ocamldebug and I my day-job is ocaml, so not really
09:36
<
Leonidas >
can I somehow include a module but replace one of the included modules?
09:37
<
timeless >
sounds like monkeypatching :)
09:37
<
timeless >
(in some systems one can replace the loader and the load the module)
09:38
<
Leonidas >
yes, I monkeypatch Yojson to have "normal" prettyprinters
09:39
<
Leonidas >
but monkeypatch is not the real thing, since I'm recreating a derived version of Yojson
09:41
themsay has quit [Ping timeout: 250 seconds]
09:41
Haudegen has quit [Ping timeout: 268 seconds]
09:42
themsay has joined #ocaml
09:42
Haudegen has joined #ocaml
09:48
themsay has quit [Ping timeout: 246 seconds]
09:48
luna___ has joined #ocaml
09:49
themsay has joined #ocaml
10:02
mfp has joined #ocaml
10:13
pierpal has joined #ocaml
10:40
niceplace has quit [Ping timeout: 264 seconds]
10:41
niceplace has joined #ocaml
10:54
pierpal has quit [Ping timeout: 245 seconds]
10:55
jimt has quit [Quit: WeeChat 1.9.1]
10:58
jimt has joined #ocaml
11:01
themsay has quit [Ping timeout: 246 seconds]
11:20
FreeBirdLjj has joined #ocaml
11:20
FreeBirdLjj has quit [Client Quit]
11:30
decentpenguin has joined #ocaml
11:38
themsay has joined #ocaml
11:41
Haudegen has quit [Remote host closed the connection]
11:48
pierpal has joined #ocaml
11:54
andrewalker has joined #ocaml
12:00
pierpal has quit [Quit: Poof]
12:00
pierpal has joined #ocaml
12:08
ostera2112 has joined #ocaml
12:25
pierpal has quit [Quit: Poof]
12:25
pierpal has joined #ocaml
12:27
ostera2112 has quit [Ping timeout: 246 seconds]
12:39
silver has joined #ocaml
12:44
opt9 has quit [Quit: Lost terminal]
12:48
decentpenguin has quit [Ping timeout: 250 seconds]
12:50
decentpenguin has joined #ocaml
12:52
nullifidian__ is now known as nullifidian
12:54
Haudegen has joined #ocaml
12:59
omarramo has joined #ocaml
13:01
ostera2112 has joined #ocaml
13:05
ostera2112 has quit [Ping timeout: 250 seconds]
13:09
tane has joined #ocaml
13:16
iovec has joined #ocaml
13:21
<
omarramo >
it seems like it should work but I am getting 'Unbound constructor ArrayOctagon
13:23
<
octachron >
omarramo, if test2 is supposed to be a local module "let module Test2 = ... in"
13:24
ehmry has joined #ocaml
13:28
<
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.
13:28
<
omarramo >
forgive me those annoying names
13:29
<
octachron >
test is a packed module of type `(module VariableCount)`
13:30
<
omarramo >
what would I have to google to learn more about this concept?
13:40
ostera2112 has joined #ocaml
13:45
ostera2112 has quit [Ping timeout: 245 seconds]
13:50
demonimin has quit [Ping timeout: 246 seconds]
13:58
asymptotically has quit [Quit: Leaving]
14:01
spew has joined #ocaml
14:11
pierpal has quit [Quit: Poof]
14:11
pierpal has joined #ocaml
14:15
pierpal has quit [Ping timeout: 244 seconds]
14:29
bartholin has joined #ocaml
14:36
jaar has joined #ocaml
14:37
recj has quit [Ping timeout: 245 seconds]
14:38
recj has joined #ocaml
14:47
waleee has joined #ocaml
14:48
ostera2112 has joined #ocaml
15:00
ostera2112 has quit [Ping timeout: 245 seconds]
15:00
FreeBirdLjj has joined #ocaml
15:01
pierpal has joined #ocaml
15:02
ostera2112 has joined #ocaml
15:19
ostera2112 has quit [Ping timeout: 258 seconds]
15:32
hcarty[m] has quit [Ping timeout: 250 seconds]
15:32
sepp2k has quit [Ping timeout: 250 seconds]
15:32
yetanotherion[m] has quit [Ping timeout: 252 seconds]
15:32
srenatus[m] has quit [Ping timeout: 252 seconds]
15:32
spectrumgomas[m] has quit [Ping timeout: 252 seconds]
15:33
aspiwack[m] has quit [Ping timeout: 264 seconds]
15:33
yawaramin[m] has quit [Ping timeout: 250 seconds]
15:33
talyian[m] has quit [Ping timeout: 250 seconds]
15:33
Walter[m] has quit [Ping timeout: 250 seconds]
15:33
regnat[m] has quit [Ping timeout: 250 seconds]
15:33
bglm[m] has quit [Ping timeout: 250 seconds]
15:33
hdurer[m] has quit [Ping timeout: 260 seconds]
15:33
jimt[m] has quit [Ping timeout: 260 seconds]
15:33
flux[m] has quit [Ping timeout: 252 seconds]
15:33
rgr[m] has quit [Ping timeout: 252 seconds]
15:33
isaachodes[m] has quit [Ping timeout: 252 seconds]
15:33
cgenie[m] has quit [Ping timeout: 252 seconds]
15:33
ttt123[m] has quit [Ping timeout: 264 seconds]
15:33
dl3br[m] has quit [Ping timeout: 264 seconds]
15:33
copy` has quit [Ping timeout: 264 seconds]
15:33
Haudegen[m] has quit [Ping timeout: 264 seconds]
15:33
abcxyz[m] has quit [Ping timeout: 264 seconds]
15:33
smondet[m] has quit [Ping timeout: 264 seconds]
15:33
peddie has quit [Ping timeout: 260 seconds]
15:34
webshinra_ has quit [Ping timeout: 252 seconds]
15:35
sepp2k has joined #ocaml
15:35
hcarty[m] has joined #ocaml
15:36
peddie has joined #ocaml
15:36
aspiwack[m] has joined #ocaml
15:37
smondet[m] has joined #ocaml
15:37
abcxyz[m] has joined #ocaml
15:37
copy` has joined #ocaml
15:37
yetanotherion[m] has joined #ocaml
15:38
spectrumgomas[m] has joined #ocaml
15:38
rgr[m] has joined #ocaml
15:38
ttt123[m] has joined #ocaml
15:38
flux[m] has joined #ocaml
15:39
jimt[m] has joined #ocaml
15:39
isaachodes[m] has joined #ocaml
15:39
opt9 has joined #ocaml
15:39
hdurer[m] has joined #ocaml
15:39
opt9 has quit [Client Quit]
15:40
opt9 has joined #ocaml
15:40
Haudegen[m] has joined #ocaml
15:40
regnat[m] has joined #ocaml
15:41
dl3br[m] has joined #ocaml
15:42
srenatus[m] has joined #ocaml
15:42
asymptotically has joined #ocaml
15:42
yawaramin[m] has joined #ocaml
15:43
cgenie[m] has joined #ocaml
15:43
bglm[m] has joined #ocaml
15:43
talyian[m] has joined #ocaml
15:43
Walter[m] has joined #ocaml
15:45
decentpenguin has quit [Read error: Connection reset by peer]
15:45
asymptotically has quit [Client Quit]
15:46
asymptotically has joined #ocaml
15:50
decentpenguin has joined #ocaml
15:50
ygrek has joined #ocaml
15:52
ostera2112 has joined #ocaml
15:56
webshinra has joined #ocaml
15:56
ostera2112 has quit [Ping timeout: 250 seconds]
15:59
initiumdoeslinux has joined #ocaml
16:09
FreeBirdLjj has quit [Remote host closed the connection]
16:09
ollehar has quit [Ping timeout: 246 seconds]
16:10
FreeBirdLjj has joined #ocaml
16:15
FreeBirdLjj has quit [Ping timeout: 246 seconds]
16:16
FreeBirdLjj has joined #ocaml
16:17
nikivi has quit [Quit: ZNC is awesome]
16:18
nikivi has joined #ocaml
16:22
FreeBirdLjj has quit [Remote host closed the connection]
16:28
nullifidian_ has joined #ocaml
16:29
initiumdoeslinux has quit [Remote host closed the connection]
16:30
initiumdoeslinux has joined #ocaml
16:31
nullifidian has quit [Ping timeout: 246 seconds]
16:34
initiumdoeslinux has quit [Ping timeout: 245 seconds]
16:34
ziyourenxiang has quit [Ping timeout: 258 seconds]
16:57
Bronsa has joined #ocaml
17:05
roygbiv has joined #ocaml
17:14
Serpent7776 has joined #ocaml
17:21
omarramo has quit [Ping timeout: 250 seconds]
17:22
luna___ has quit [Remote host closed the connection]
17:37
olle has joined #ocaml
17:47
themsay has quit [Ping timeout: 245 seconds]
17:52
ostera2112 has joined #ocaml
17:57
ostera2112 has quit [Ping timeout: 245 seconds]
17:57
dedgrant has quit [Ping timeout: 246 seconds]
18:06
jonatan has quit [Remote host closed the connection]
18:11
zolk3ri has joined #ocaml
18:22
dedgrant has joined #ocaml
18:26
zolk3ri has quit [Quit: Lost terminal]
18:27
jaar has quit [Quit: Leaving]
18:36
initiumdoeslinux has joined #ocaml
18:36
initiumdoeslinux has quit [Remote host closed the connection]
18:37
initiumdoeslinux has joined #ocaml
18:42
initiumdoeslinux has quit [Ping timeout: 258 seconds]
18:45
roygbiv has quit [Quit: ™]
18:46
omarramo has joined #ocaml
18:46
Haudegen has quit [Remote host closed the connection]
19:01
waleee has quit [Quit: WeeChat 2.3]
19:01
jao has joined #ocaml
19:10
superherointj has joined #ocaml
19:15
tarptaeya has joined #ocaml
19:28
jnavila has joined #ocaml
19:29
omarramo has quit [Ping timeout: 246 seconds]
19:37
webshinra has quit [Ping timeout: 252 seconds]
19:42
gravicappa has quit [Ping timeout: 258 seconds]
19:50
ostera2112 has joined #ocaml
19:50
tarptaeya has quit [Remote host closed the connection]
19:52
Anarchos has joined #ocaml
20:00
ostera2112 has quit [Ping timeout: 246 seconds]
20:04
pierpal has quit [Quit: Poof]
20:05
pierpal has joined #ocaml
20:14
picolino has joined #ocaml
20:17
asymptotically has quit [Ping timeout: 256 seconds]
20:17
kakadu_ has joined #ocaml
20:27
omarramo has joined #ocaml
20:28
decentpenguin has quit [Quit: WeeChat 2.3]
20:31
ygrek has quit [Ping timeout: 252 seconds]
20:32
omarramo has quit [Quit: Konversation terminated!]
20:33
kakadu_ has quit [Remote host closed the connection]
20:34
kakadu_ has joined #ocaml
20:36
steenuil has joined #ocaml
20:42
Anarchos has quit [Remote host closed the connection]
20:42
Anarchos has joined #ocaml
20:45
asymptotically has joined #ocaml
20:48
nullifidian__ has joined #ocaml
20:51
nullifidian_ has quit [Ping timeout: 250 seconds]
20:53
Spetznaz_ has joined #ocaml
21:12
Serpent7776 has quit [Quit: leaving]
21:12
kakadu has quit [Ping timeout: 272 seconds]
21:19
jnavila has quit [Ping timeout: 246 seconds]
21:19
orbifx has joined #ocaml
21:21
<
companion_cube >
o/
21:21
tane has quit [Quit: Leaving]
21:25
<
orbifx >
is anyone missing NNTP? :P
21:25
<
orbifx >
I've set up a server for fame and glory :P
21:25
<
companion_cube >
heh, it's been a few years…
21:25
<
orbifx >
I'm thinking of making an ocaml group, or functional-programming-world-domination group
21:26
<
companion_cube >
I think there's already too many places where ocamlers can talk :s
21:27
<
orbifx >
tis true, but this has to be the 1337357 one
21:27
<
companion_cube >
:D
21:28
<
orbifx >
might be good for projects /me thinks
21:28
orbitz has quit [Read error: Connection reset by peer]
21:28
<
orbifx >
the troubles of setting up something for fun and then trying to find use for it :P
21:32
Ocaml_Power has joined #ocaml
21:32
<
Ocaml_Power >
orbifx:
21:32
<
Ocaml_Power >
Interested in functional-programming-world-domination group
21:34
<
orbifx >
Ocaml_Power: did you just join for that? :P
21:34
<
Ocaml_Power >
orbifx: yes
21:34
<
Ocaml_Power >
i have low activation energy
21:34
orbitz has joined #ocaml
21:34
<
companion_cube >
orbifx: did you join twice just to make this joke? :D
21:35
<
orbifx >
orbitz and I are two different people
21:35
<
orbifx >
what are the odds in the OCaml world.. :P
21:36
<
orbifx >
Ocaml_Power: was mostly kidding, but I don't mind. Shall I make it OCaml, ML or functional....domination?
21:36
<
orbifx >
have you ever used NNTP Ocaml_Power ?
21:37
<
Ocaml_Power >
orbifx: I wouldn't mind all three
21:37
<
Ocaml_Power >
nope, but I am quite good and googling shit
21:41
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
21:42
webshinra has joined #ocaml
21:48
superherointj has quit [Quit: Leaving]
21:54
jnavila has joined #ocaml
22:04
ostera2112 has joined #ocaml
22:15
Ocaml_Power has quit [Ping timeout: 256 seconds]
22:17
jnavila has quit [Remote host closed the connection]
22:19
Power_ML has joined #ocaml
22:19
<
Power_ML >
no charge left
22:19
<
Power_ML >
just plugged my computer
22:20
<
dmbaturin >
orbifx: An independent server, or you are carrying the usual usenet hierarchy?
22:20
<
dmbaturin >
alt.protocol.nostalgia.nntp ;)
22:21
<
orbifx >
nostalgia! was trying to remember that word
22:22
<
orbifx >
dmbaturin: independent server, I might peer (some groups) with AIOE at a later point
22:22
<
orbifx >
dmbaturin: are you interested?
22:22
<
Armael >
h good there's a nntp client in emacs
22:24
<
dmbaturin >
orbifx: Sure, why not. Been a while since I used NNTP.
22:24
<
orbifx >
dmbaturin: :D
22:25
ostera2112 has quit [Ping timeout: 245 seconds]
22:25
<
dmbaturin >
comp.text.tex might have been displaced by stackexchange by now, but it used to be the best place to ask.
22:28
<
orbifx >
I get why these platforms have replaced NNTP, but I feel it's a shame
22:29
silver has quit [Ping timeout: 250 seconds]
22:33
silver has joined #ocaml
22:53
ostera2112 has joined #ocaml
22:54
asymptotically has quit [Quit: Leaving]
23:01
ostera2112 has quit [Ping timeout: 272 seconds]
23:06
carlosdagos has joined #ocaml
23:13
bartholin has quit [Remote host closed the connection]
23:18
silver has quit [Ping timeout: 245 seconds]
23:22
hph^ has joined #ocaml
23:22
ziyourenxiang has joined #ocaml
23:36
ec is now known as ELLIOTTCABLE
23:36
sagax has quit [Quit: Konversation terminated!]
23:44
Power_ML has quit [Ping timeout: 256 seconds]
23:47
ELLIOTTCABLE is now known as KL4JC
23:49
olle has quit [Ping timeout: 250 seconds]
23:52
kakadu_ has quit [Remote host closed the connection]