Haudegen has quit [Ping timeout: 246 seconds]
olle has quit [Ping timeout: 258 seconds]
olle has joined #ocaml
mfp has quit [Ping timeout: 240 seconds]
nullcone has quit [Quit: Connection closed for inactivity]
nullcone has joined #ocaml
t-j-r is now known as
_tjr_
waleee-cl has quit [Quit: Connection closed for inactivity]
urek has quit [Ping timeout: 272 seconds]
_whitelogger has joined #ocaml
mbuf has joined #ocaml
remexre has quit [Quit: WeeChat 2.7.1]
kleisli has quit [Ping timeout: 264 seconds]
amiloradovsky has quit [Ping timeout: 260 seconds]
_whitelogger has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Client Quit]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
_whitelogger has joined #ocaml
rak has quit [Ping timeout: 256 seconds]
rak has joined #ocaml
narimiran has joined #ocaml
vicfred has quit [Quit: Leaving]
rosalogia has joined #ocaml
snowpanda has quit [Quit: Leaving...]
waleee-cl has joined #ocaml
Haudegen has joined #ocaml
kleisli has joined #ocaml
mfp has joined #ocaml
rockethead has joined #ocaml
bikacore has joined #ocaml
rosalogia has quit [Quit: rosalogia]
bikacore has quit []
narimiran_ has joined #ocaml
rosalogia__ has joined #ocaml
Anarchos has joined #ocaml
rosalogia__ has quit [Client Quit]
rosalogia__ has joined #ocaml
narimiran has quit [Ping timeout: 246 seconds]
rosalogia__ has quit [Client Quit]
rosalogia has joined #ocaml
narimiran_ is now known as narimiran
rosalogia has quit [Quit: rosalogia]
<
olle>
how hard is it to do escape analysis?
<
olle>
"What is the most simple (and correct) escaping algorithm?"
<
olle>
Stackoverflow does it again ^^
<
olle>
wait no, that's html escaping ><
waleee-cl has quit [Quit: Connection closed for inactivity]
Serpent7776 has quit [Read error: Connection reset by peer]
damienkrine[m] has joined #ocaml
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
<
damienkrine[m]>
Bonjour tout le monde
Serpent7776 has joined #ocaml
rockethead has quit [Remote host closed the connection]
olle has quit [Quit: leaving]
rock64 has joined #ocaml
C-16 has quit [Quit: leaving]
Anarchos has joined #ocaml
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
urek has joined #ocaml
Anarchos has joined #ocaml
tane has joined #ocaml
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
ski__ has quit [Ping timeout: 272 seconds]
drdee has joined #ocaml
dr-dd has joined #ocaml
malc_ has joined #ocaml
dr-dd has quit [Remote host closed the connection]
rockethead has joined #ocaml
malc_ has quit [Quit: ERC (IRC client for Emacs 28.0.50)]
rockethead has quit [Ping timeout: 272 seconds]
waleee-cl has joined #ocaml
jnavila has joined #ocaml
narimiran has quit [Quit: leaving]
amiloradovsky has joined #ocaml
muskan has joined #ocaml
stux|RC has quit [Read error: Connection reset by peer]
stux|RC has joined #ocaml
drdee has quit [Remote host closed the connection]
vicfred has joined #ocaml
jnavila has quit [Ping timeout: 246 seconds]
jbrown has quit [Ping timeout: 256 seconds]
Hrundi_V_Bakshi has joined #ocaml
Haudegen has quit [Quit: No Ping reply in 180 seconds.]
Haudegen has joined #ocaml
jbrown has joined #ocaml
kleisli has quit [Ping timeout: 246 seconds]
charles_ has joined #ocaml
drdee has joined #ocaml
Anarchos has joined #ocaml
Anarchos has quit [Client Quit]
mbuf has quit [Quit: Leaving]
charles_ has quit [Quit: leaving]
muskan has quit [Ping timeout: 245 seconds]
<
ksft>
I'm trying to understand functors
<
ksft>
I'd like to produce a module given another module and a value
urek has quit [Remote host closed the connection]
<
ksft>
a value whose type depends on the given module*
urek has joined #ocaml
<
ksft>
is that possible?
urek_ has joined #ocaml
urek has quit [Read error: Connection reset by peer]
<
rock64>
ksft: use-case?
Jesin has quit [Quit: Leaving]
Jesin has joined #ocaml
rosalogia__ has joined #ocaml
rosalogia__ has quit [Client Quit]
rosalogia__ has joined #ocaml
rosalogia__ has quit [Client Quit]
rosalogia__ has joined #ocaml
rosalogia__ has quit [Client Quit]
rosalogia__ has joined #ocaml
rosalogia__ is now known as rosalogia
eagleflo has joined #ocaml
drdee has quit [Quit: Leaving]
eagleflo has quit [Client Quit]
eagleflo has joined #ocaml
peterbb has joined #ocaml
<
ksft>
rock64: I'm refactoring code that does computations involving a given metric space
<
ksft>
one algorithm depends on the space plus a map to another space
<
ksft>
my plan was to represent spaces as modules
<
ksft>
and write a functor that takes a space and returns a module that performs these computations with it
<
ksft>
but I'd like to be able to take a space and a function from that space's point type to another type
<
ksft>
I think I got it working by wrapping that function in another module, but maybe there's a better way to handle this?
drdee has joined #ocaml
Anarchos has joined #ocaml
<
octachron>
ksft, you could simply make a functor with two arguments: the origin and target space.
tane has quit [Quit: Leaving]
<
ksft>
the target space is constant
<
ksft>
but the function between the two spaces isn't
<
octachron>
Just take the function as an argument?
<
octachron>
module F(X:Origin)(Y:Target) = struct let do_something (f: X.t -> Y.t) = ... end
snowpanda has joined #ocaml
Hrundi_V_Bakshi has quit [Ping timeout: 256 seconds]
drdee has quit [Remote host closed the connection]
Haudegen has quit [Ping timeout: 240 seconds]
peterbb has quit [Quit: peterbb]
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
urek_ has quit [Remote host closed the connection]
urek_ has joined #ocaml
kleisli has joined #ocaml
urek_ has quit [Ping timeout: 272 seconds]
urek has joined #ocaml
<
ksft>
octachron: I was hoping to have the whole module depend on the function
<
ksft>
I wanted it to share an interface with a similar procedure that uses a different algorithm
<
ksft>
the other algorithm doesn't need this function