adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.09 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.09/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
zebrag has quit [Ping timeout: 258 seconds]
zebrag has joined #ocaml
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?
<flux1> I was wondering how the plain `of_seq` was implemented and here it is, takes a bit though to follow it through :). https://github.com/ocaml/ocaml/blob/167e66e15d94f685b2bed2b29aa0a743978dc425/stdlib/list.ml#L550
<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)
<olle> refcount*
<companion_cube> olle: have fun https://arxiv.org/abs/1908.05647
<olle> companion_cube: bookmarked for tonight!
<olle> I've been drowning myself in academic papers last weeks, phew
<olle> E was interesting, btw
<olle> A chapter about "Fragile composition" - love it
<CcxWrk> E the ocap programming language?
<CcxWrk> I'm quite intrigued by the similarities of session types and capabilities. I think they would mesh quite well together.
sarna has quit [Quit: Connection closed]
<olle> There's a lot of overlap between lots of different techniques there
<CcxWrk> I remember reading the papers on Emily back when, gave me insights on secure UI design.
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 260 seconds]
catern has quit [Excess Flood]
catern has joined #ocaml
<olle> Emily?
FreeBirdLjj has joined #ocaml
nicoo has quit [Ping timeout: 240 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 246 seconds]
nicoo has joined #ocaml
osa1 has quit [Remote host closed the connection]
<CcxWrk> olle: www.hpl.hp.com/techreports/2006/HPL-2006-116.pdf cap-safe dialect of OCaml
ArthurStrong has quit [Ping timeout: 240 seconds]
narimiran has quit [Ping timeout: 272 seconds]
FreeBirdLjj has joined #ocaml
<olle> CcxWrk: good tip, thanks you
<olle> the night is saved ^^
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]
Haudegen has quit [Ping timeout: 272 seconds]
kvda has joined #ocaml