zebrag has quit [Read error: Connection reset by peer]
zebrag has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
kvda has joined #ocaml
ollehar has quit [Ping timeout: 272 seconds]
ollehar has joined #ocaml
sagax has quit [Quit: Konversation terminated!]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
kvda has joined #ocaml
catern has quit [Excess Flood]
catern has joined #ocaml
mbuf has joined #ocaml
mbuf has quit [Remote host closed the connection]
mbuf has joined #ocaml
kleisli_ has joined #ocaml
kleisli has quit [Ping timeout: 244 seconds]
dborisog has joined #ocaml
kleisli_ has quit [Remote host closed the connection]
kleisli has joined #ocaml
kleisli has quit [Remote host closed the connection]
kleisli has joined #ocaml
sagax has joined #ocaml
zebrag has quit [Ping timeout: 258 seconds]
zebrag has joined #ocaml
jake121214243233 has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
kvda has joined #ocaml
jake121214243233 has quit [Ping timeout: 245 seconds]
narimiran has joined #ocaml
h14u has quit [Quit: Leaving]
osa1 has joined #ocaml
Haudegen has joined #ocaml
mbuf has quit [Quit: Leaving]
dborisog has quit [Ping timeout: 256 seconds]
sarna has joined #ocaml
mbuf has joined #ocaml
malc_ has joined #ocaml
chripell has joined #ocaml
raver has joined #ocaml
mbuf has quit [Ping timeout: 256 seconds]
mbuf has joined #ocaml
C-16 has quit [Remote host closed the connection]
dckc has quit [Ping timeout: 264 seconds]
dckc has joined #ocaml
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
copy has quit [Ping timeout: 240 seconds]
olle has joined #ocaml
<flux1>
`Seq.mapi`, if it existed, would have solved that I guess IF there also existed `of_seq_rev`. How come that doesn't exist, seems like an obviously nice function for efficiency reasons?
<Drup>
when I saw the coding style, my first reaction was "companion_cube coded this" :D
<flux1>
hmm, so if I'm understanding correctly, big lists will fail, or was there some cool optimization for the `x::recurse()` pattern?
<flux1>
ah, yes I misunderstood :)
<osa1>
I'm trying to see public API of a library (https://github.com/yoriyuki/Camomile), how do I build its documentation? I think dune doesn't have a command for this as far as I can see from --help
<flux1>
it only handles the top 500 entries in recursion. in anyway, `of_seq_rev` would be so much nicer for the cases where it's applicable.
<malc_>
a coding style deeply influenced by idiomatic TIMTOWTDI Haskell
<zozozo>
osa1: there is dune build @doc iirc
<flux1>
I'm amazed nobody has suggested it, according to google :-o
<osa1>
zozozo: thanks
<osa1>
so the README says it needs 4.02, but I can't build it with 4.08, I get "Error (alert deprecated): module Stdlib.Pervasives". any tips?
<flux1>
does anyone know how multicore deals with C code? can you easily run domain number of C functions concurrently?
<flux1>
osa1: I guess someone has enabled all warnings-as-errors and then this happens
<flux1>
osa1: as it seems to be warning about the deprecated module Stdlib.Pervasives, but it is handling it as an error
<Fardale>
osa1: dune build --release @doc
<osa1>
Fardale: that worked, thanks
stan[m] has joined #ocaml
kvda has joined #ocaml
kvda has quit [Client Quit]
_whitelogger has joined #ocaml
mbuf has quit [Ping timeout: 258 seconds]
mbuf has joined #ocaml
olle has quit [Read error: Connection reset by peer]
olle has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
delucks has quit [Ping timeout: 272 seconds]
delucks has joined #ocaml
zolk3ri has joined #ocaml
chripell has quit [Ping timeout: 272 seconds]
chripell has joined #ocaml
zolk3ri has quit [Remote host closed the connection]
<olle>
can linear types simulate uniqueness?
zolk3ri has joined #ocaml
dckc has quit [Ping timeout: 272 seconds]
dckc has joined #ocaml
FreeBirdLjj has joined #ocaml
Haudegen has joined #ocaml
h14u has joined #ocaml
<Drup>
olle: so, not exactly
<Drup>
uniqueness is "in the past, this value has only ever had one owner"
<Drup>
linearity is "in the future, this *reference* must have exactly one owner"
<Drup>
(linearity doesn't really say much about values in general, only about the given pointer you have. other properties of the language might allow you to deduce stuff about values)
<Drup>
linearity is about building safe APIs, uniqueness is about optimisations (like being sure that you can turn functional updates into mutable updates)
<Drup>
locally in a scope, the two allow you to derive similar properties, but as soon as you start to compose, it gets different pretty quickly
zebrag has quit [Ping timeout: 240 seconds]
zebrag has joined #ocaml
<olle>
Drup: thanks!
<olle>
(I experimented a little with PHP's refecount GC and method access. refcount = 1 --> unique)
FreeBirdLjj has quit [Remote host closed the connection]
zolk3ri has quit [Remote host closed the connection]
jco has joined #ocaml
olle has quit [Ping timeout: 272 seconds]
<jco>
Hello! trying to port an program using lwt 4.5.0 to 5.0.0. Ltw.async's signature has changed from (unit -> 'a Lwt.t) -> unit to (unit -> unit Lwt.t) -> unit
<jco>
so looking for an easy fix to conform to the new signature
Haudegen has quit [Quit: Bin weg.]
<jco>
ok, fixed it by doing |> fun _ -> Lwt.return () at some places
kleisli has quit [Remote host closed the connection]
kleisli has joined #ocaml
_whitelogger has joined #ocaml
tane has joined #ocaml
kleisli_ has joined #ocaml
kleisli has quit [Ping timeout: 244 seconds]
copy has joined #ocaml
Haudegen has joined #ocaml
brown121407 has joined #ocaml
narimiran has joined #ocaml
ArthurStrong has joined #ocaml
ArthurStrong has left #ocaml [#ocaml]
h14u has quit [Quit: Leaving]
aaaaaa has joined #ocaml
jco has quit [Quit: WeeChat 2.7]
jbrown has quit [Ping timeout: 272 seconds]
<ollehar>
;*
jbrown has joined #ocaml
mbuf has quit [Quit: Leaving]
Jesin has quit [Quit: Leaving]
chewbranca has joined #ocaml
mrallen1 has joined #ocaml
j14159_ has joined #ocaml
l1x has joined #ocaml
Jesin has joined #ocaml
jmct has joined #ocaml
ec has joined #ocaml
lopex has joined #ocaml
adrianbrink has joined #ocaml
stylewarning has joined #ocaml
Duns_Scrotus has joined #ocaml
strmpnk has joined #ocaml
waleee-cl has joined #ocaml
mgsk has joined #ocaml
stephe has joined #ocaml
cqc has joined #ocaml
SrPx_ has joined #ocaml
brown121407 has quit [Remote host closed the connection]
metadave has joined #ocaml
eterps has joined #ocaml
adi_________ has joined #ocaml
caasih has joined #ocaml
rdivyanshu_ has joined #ocaml
banjiewen has joined #ocaml
narimiran has quit [Ping timeout: 272 seconds]
bitonic has joined #ocaml
terrorjack has joined #ocaml
rgrinberg has joined #ocaml
higherorder has joined #ocaml
conjunctive has joined #ocaml
SrPx_ is now known as SrPx
cemerick has joined #ocaml
mjvoge02 has joined #ocaml
sspi__ has joined #ocaml
jeroud has joined #ocaml
bytesighs has joined #ocaml
wildsebastian has joined #ocaml
Boarders has joined #ocaml
Hrundi_V_Bakshi has joined #ocaml
angerman has joined #ocaml
ipavlo has joined #ocaml
cbarrett has joined #ocaml
JSharp has joined #ocaml
rfv has joined #ocaml
aaaaaa has left #ocaml [#ocaml]
malc_ has quit [Ping timeout: 256 seconds]
tane has quit [Quit: Leaving]
Hrundi_V_Bakshi has quit [Ping timeout: 258 seconds]