<samg_>
I'm trying to refactor a large slab of recursive functions without functorizing the whole thing. I'm trying to reuse the same module between calls instead of creating a new module each call.
<samg_>
4.03.0, FWIW
mengu has quit [Ping timeout: 240 seconds]
mengu has joined #ocaml
wagle has quit [Read error: Connection reset by peer]
wagle has joined #ocaml
rgrinberg has quit [Ping timeout: 260 seconds]
nomicflux has joined #ocaml
FreeBird_ has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 260 seconds]
FreeBirdLjj has joined #ocaml
FreeBird_ has quit [Ping timeout: 260 seconds]
copy` has quit [Quit: Connection closed for inactivity]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
DanielRi1hman is now known as DanielRichman
nomicflux has quit [Quit: nomicflux]
malina has quit [Ping timeout: 268 seconds]
noddy has quit [Ping timeout: 260 seconds]
noddy has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
chetshah has joined #ocaml
Algebr has joined #ocaml
FreeBirdLjj has joined #ocaml
jao has quit [Ping timeout: 240 seconds]
justicefries has left #ocaml [#ocaml]
noddy has quit [Ping timeout: 240 seconds]
noddy has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
chetshah has quit [Quit: Page closed]
philtor has quit [Ping timeout: 264 seconds]
ygrek has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
mrnugget has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
MercurialAlchemi has joined #ocaml
mengu has quit [Remote host closed the connection]
mrnugget has quit [Ping timeout: 240 seconds]
freusque has joined #ocaml
govg has quit [Ping timeout: 240 seconds]
govg has joined #ocaml
snhmib has quit [Ping timeout: 240 seconds]
freusque has quit [Ping timeout: 255 seconds]
freusque has joined #ocaml
djellemah_ has joined #ocaml
snhmib has joined #ocaml
FreeBirdLjj has joined #ocaml
djellemah_ has quit [Quit: Leaving]
djellemah_ has joined #ocaml
Simn has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
mengu has joined #ocaml
Algebr has quit [Ping timeout: 260 seconds]
mengu has quit [Ping timeout: 240 seconds]
jnavila_ has joined #ocaml
FreeBirdLjj has joined #ocaml
demonimin_ has quit [Remote host closed the connection]
maattdd_1 has quit [Read error: Connection reset by peer]
maattdd__ has quit [Ping timeout: 240 seconds]
mengu has joined #ocaml
frefity has joined #ocaml
FreeBirdLjj has joined #ocaml
maattdd_1 has joined #ocaml
andreas__ has joined #ocaml
mengu has quit [Ping timeout: 240 seconds]
silver has joined #ocaml
maattdd has joined #ocaml
maattdd_1 has quit [Ping timeout: 268 seconds]
larhat has quit [Quit: Leaving.]
maattdd_ has joined #ocaml
maattdd has quit [Ping timeout: 240 seconds]
maattdd has joined #ocaml
maattdd_ has quit [Ping timeout: 260 seconds]
frefity has quit [Ping timeout: 260 seconds]
frefity has joined #ocaml
larhat has joined #ocaml
FreeBird_ has joined #ocaml
FreeBirdLjj has quit [Read error: Connection reset by peer]
rpg has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 240 seconds]
ggherdov__ has quit [Changing host]
ggherdov__ has joined #ocaml
ggherdov__ has joined #ocaml
ggherdov__ is now known as ggherdov
jnavila_ has quit [Ping timeout: 255 seconds]
FreeBirdLjj has joined #ocaml
rpg has quit [Ping timeout: 260 seconds]
FreeBird_ has quit [Ping timeout: 268 seconds]
mengu has joined #ocaml
mengu has quit [Ping timeout: 268 seconds]
malc_ has joined #ocaml
tane has joined #ocaml
t4nk818 has joined #ocaml
t4nk818 has quit [Client Quit]
maattdd_ has joined #ocaml
maattdd has quit [Ping timeout: 240 seconds]
maattdd_ has quit [Read error: Connection reset by peer]
Algebr has joined #ocaml
maattdd_ has joined #ocaml
dx has quit [Remote host closed the connection]
dx has joined #ocaml
nomicflux has joined #ocaml
nomicflux has quit [Client Quit]
sepp2k has joined #ocaml
ollehar has joined #ocaml
sh0t has joined #ocaml
sepp2k has quit [Ping timeout: 240 seconds]
malina has joined #ocaml
mengu has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
mengu has quit [Ping timeout: 255 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 255 seconds]
mengu has joined #ocaml
mengu has quit [Ping timeout: 240 seconds]
Algebr has quit [Ping timeout: 255 seconds]
mfp has joined #ocaml
shinnya has quit [Ping timeout: 240 seconds]
jnavila_ has joined #ocaml
frefity has quit [Ping timeout: 260 seconds]
chbatey has joined #ocaml
silver_ has joined #ocaml
ryanartecona has joined #ocaml
silver has quit [Ping timeout: 260 seconds]
nomicflux has joined #ocaml
<flux>
you could also choose to use names other than 'a, 'b, 's, 't ;-)
frefity has joined #ocaml
silver_ is now known as silver
Simn has quit [Ping timeout: 240 seconds]
<infinity0_>
Drup: i'm trying to extend your "typing tricks" post https://drup.github.io/2016/08/02/difflists/ to deal with lists where the element of one type is partially determined by the element of the next type
<infinity0_>
haven't yet managed to write a "len" function yet https://is.gd/OJjRuN any idea what's wrong?
MercurialAlchemi has joined #ocaml
<infinity0_>
oh, i think i figured it out, my mistake was trying to add extra type params to the ('ty, 'v) part
<Drup>
so, basically, you have a list of dominos and the dominos must match with their neighbours ?
<Drup>
(type-wise, of course)
<Drup>
(those are type dominoes)
<infinity0_>
yeah
<infinity0_>
| Cons : 'a * 'b * ('b -> 'ty, 'v) t -> ('a -> 'b -> 'ty, 'v) t
<infinity0_>
this seems like it might work, gonna keep trying
<Drup>
why do you think you need cps for computing the lenght ?
<infinity0_>
i don't, i was trying to figure out why the (* llen *) wasn't working, by taking an existing example where you performed a calculation over the entire list and then changing it backwards to be close to my code
<infinity0_>
but that was a red herring i realise now
<infinity0_>
but i did solve both the overall thing and the unnecessary specific thing in the end
<infinity0_>
(ty2, ty3, v, b, a, y, x) lenss ->
<infinity0_>
(ty1, ty2, v, fb, b, fy, y) fmaps ->
<infinity0_>
i thought that was quite neat, even though it turned out to be pointless ¬.¬
malc_ has quit [Quit: ERC (IRC client for Emacs 25.0.50.2)]
chbatey has quit [Quit: Connection closed for inactivity]
<Drup>
7 parameters
<Drup>
urk
<infinity0_>
yeah that part's ugly, but it unifies over ty2 so you can have two separate (but related) lists of things
<infinity0_>
perhaps this technique would be useful in the future for something or other... lol
<Drup>
7 is too much for any practical use. When you have 3 parameters to encode some property, people already can't really understand what is happening
<infinity0_>
i know, i know :) but if i hadn't done it, i probably wouldn't have realised the much simpler solution exists
<Drup>
Oh, it's fine to play with impractical solution !
<Drup>
You just have to be aware they are impractical :p
AlexDenisov has joined #ocaml
<octachron>
Drup, which is not always exactly easy to do, even more so before being bittten by the impracticalness.
<Drup>
yeah
ollehar has quit [Ping timeout: 255 seconds]
TheLemonMan has joined #ocaml
ollehar has joined #ocaml
rgrinberg has joined #ocaml
gasche` has joined #ocaml
<gasche`>
are there examples around of using OASIS in a js-of-ocaml project that builds a .js file?
MercurialAlchemi has quit [Ping timeout: 260 seconds]
mengu has quit [Remote host closed the connection]
mengu has joined #ocaml
AlexDeni_ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
mengu has quit [Ping timeout: 260 seconds]
Ptival has joined #ocaml
Kakadu has quit [Remote host closed the connection]
Kakadu has joined #ocaml
<ollehar>
someone ever used the rouge syntax highlighter? it removes the "let" keyword on my page.
<ollehar>
for "ml" syntax highlight
<infinity0_>
what's the difference between doing "val xxx : type s t u." vs "val xxx (type s t u) :" ?
<infinity0_>
ocamldoc treats them differently, but it seems ocamlc treats them pretty much the same
<infinity0_>
er, let* not val there
<octachron>
infinity0_, the first types annotations are explicitely polymorphic, not the second one
<octachron>
the differences matters mostly when writing polymorphic recursive functions
gasche` has left #ocaml ["ERC (IRC client for Emacs 24.5.1)"]
<infinity0_>
i see, ok
<infinity0_>
i guess i don't actually need it for my case (it's not recursive) but if i leave it out then ocamldoc will put in its own type variables, sigh
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
djellemah_ has quit [Ping timeout: 255 seconds]
<Drup>
infinity0_: sounds like an ocamldoc bug
larhat1 has joined #ocaml
larhat has quit [Read error: Connection reset by peer]
<octachron>
Drup, quite certainly ( even if the bug is somehow surprising )
<octachron>
infinity0_, note that this also one more reason to have mli files, since there are not subject to these issues
jmiven has quit [Quit: co'o]
jmiven has joined #ocaml
<infinity0_>
true, yeah
Kakadu has quit [Remote host closed the connection]