<whitequark>
flux: try to write him a letter, seems like he's still active
ontologiae_ has joined #ocaml
amirmc has quit [Quit: Leaving.]
tane has joined #ocaml
mcclurmc has joined #ocaml
dant3 has quit [Remote host closed the connection]
WraithM_ has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
<gasche>
companion_cube: if there is a problem with Batteries' take semantics, we should not just try to forget it
<gasche>
I think the right thing to do is to *use* take, and decide on what the correct semantics for it should be
<companion_cube>
I'm not sure I want to dig too deep in enum
<companion_cube>
is thelema still on the issue?
<gasche>
I don't know but I'm not sure
<companion_cube>
hmmm
<companion_cube>
would be great to have opinions on Enum's features
<companion_cube>
because I still think it tries to achieve too much
Eyyub has quit [Ping timeout: 240 seconds]
<companion_cube>
I think it should be replaced by a simple consumable iterator for most uses, the other uses being covered by LazyList or Seq
<companion_cube>
(in case you need to iterate on too big an enum to fit in memory)
mcclurmc has quit [Remote host closed the connection]
<gasche>
hm
<Drup>
(I agree with companion_cube)
<gasche>
thinking about it more, I'm ok with the suggestion of having a common parent function for print and print_at_most
Neros has joined #ocaml
<gasche>
it's the best of two bad choices, but eh
<Drup>
the complexity of Enum is, afaiu, motivated by the ability to clone midway and preserve side effets
<gasche>
Drup: where did you end up with the SQL frontend syntax for Macaque?
<gasche>
(I'm not terribly interested in having yet another well-meant-but-ultimately-resulting-in-nothing discussion about the fact that Enums are tricky)
<Drup>
and ths ability ... I still don't know what's the point
<companion_cube>
Drup: also, to count elements efficiently if available
<Drup>
gasche: I didn't work more on the subject, everything is in my fork
<gasche>
which is where, and in what state?
<flux>
if only lazy lists were are persistent in the interface as enums ;). but yes, that would be a lot of duplication..
<Drup>
flux: what's the issue exactly ?
<gasche>
you mean if they had as much features?
<flux>
personally I find myself just using lazy lists in my functions. it's that much simpler to not worry about when the list has been consumed.
<Drup>
gasche: iirc, the base query is working, but we lack some feature (like min/max, maybe agregation, i don't remember) and insert aren't done yet
<flux>
I suppose non-memoizing sequences would be an alternative.
<gasche>
but what did your "if only" mean?
<gasche>
(I don't understand what you mean by "persistent" here)
<flux>
gasche, well, whenever I want to use lazy lists with batteries I need to go through enums, right?
<Drup>
flux: use Seq
<companion_cube>
I suppose flux means "if only lazy lists were as pervasive as enum"
<gasche>
but in which sense?
<companion_cube>
I think having every module producing iterators would be nice
<companion_cube>
you can make a lazy list out of an iterator easily
<Drup>
well, it's the case
<Drup>
enum is the iterator :p
<companion_cube>
I mean simple, consumable iterators
<companion_cube>
:)
<companion_cube>
if you want to clone: iterator -> lazy list, then you can produce as many iterators as needed from the lazy list
<companion_cube>
wow, enum is 1250 lines...
<flux>
gasche, well, all Enum stuff is nicely invokable like List/Array.enum or List/Array.of_enum, but lazy lists have all lazy list stuff in the LazyList module.
<flux>
as Enum is the standard interoperability data structure in Batteries
<flux>
I mean it's great that such thing exists..
Neros_ has joined #ocaml
<Drup>
flux: as I said, use Seq. It's like LazyList but 10 times more efficient and convenient.
<Drup>
(and the implementation is dead simple)
Neros has quit [Ping timeout: 245 seconds]
amirmc has joined #ocaml
shinnya has joined #ocaml
mcclurmc has joined #ocaml
<companion_cube>
how can it be 10 times faster ?!
<companion_cube>
it is the same as lazy list, but with a closure instead of a lazy
<Drup>
yes, I know.
<companion_cube>
+thunk
<companion_cube>
maybe it's just faster for flatMap ;)
<Drup>
I looked at both code, it's sensibly the same
<Drup>
(for flatMap)
malvarez has joined #ocaml
q66 has quit [Quit: Leaving]
snyp has joined #ocaml
BitPuffin is now known as CorporatePuffin
Kakadu has quit [Quit: Page closed]
Neros_ is now known as Neros
CorporatePuffin is now known as BitPuffin
amirmc has quit [Quit: Leaving.]
Neros is now known as Pylade
Pylade has quit [Disconnected by services]
Neros has joined #ocaml
thomasga has quit [Quit: Leaving.]
thomasga has joined #ocaml
nikki93 has joined #ocaml
malvarez has quit [Ping timeout: 245 seconds]
Xenasis has joined #ocaml
nikki93 has quit [Ping timeout: 246 seconds]
ollehar has quit [Ping timeout: 245 seconds]
snyp has quit [Quit: "brb"]
snyp has joined #ocaml
skchrko has quit [Quit: Leaving]
mcclurmc has quit [Remote host closed the connection]
tianon has quit [Ping timeout: 250 seconds]
Arzaga has quit [Quit: Computer has gone to sleep.]
tianon has joined #ocaml
cago has left #ocaml []
mika1 has quit [Quit: Leaving.]
thomasga has quit [Quit: Leaving.]
Kakadu has joined #ocaml
q66 has joined #ocaml
tianon has quit [Ping timeout: 265 seconds]
tianon has joined #ocaml
hto has quit [Ping timeout: 245 seconds]
mcclurmc has joined #ocaml
hto has joined #ocaml
mchqwerty has quit [Quit: Odcházím]
mcclurmc has quit [Ping timeout: 265 seconds]
BitPuffin has quit [Quit: WeeChat 0.4.2]
Neros has quit [Ping timeout: 246 seconds]
snyp has quit [Quit: "bbl"]
eikke has quit [Ping timeout: 264 seconds]
ollehar has joined #ocaml
thomasga has joined #ocaml
cthuluh has quit [Read error: Operation timed out]
mcclurmc has joined #ocaml
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
cthuluh has joined #ocaml
ocp has quit [Ping timeout: 264 seconds]
jzelinskie has quit [Read error: Connection reset by peer]
amirmc has joined #ocaml
Neros has joined #ocaml
jonludlam has quit [Remote host closed the connection]
nikki93 has joined #ocaml
michael_lee has quit [Quit: Ex-Chat]
nikki93 has quit [Ping timeout: 250 seconds]
jzelinskie_ has joined #ocaml
nikki93 has joined #ocaml
Rc43 has quit [Quit: Page closed]
Kakadu has quit []
ontologiae_ has quit [Ping timeout: 260 seconds]
_andre has quit [Quit: leaving]
tane has quit [Quit: Verlassend]
dsheets_ has quit [Read error: Operation timed out]
jonludlam has joined #ocaml
avsm has quit [Quit: Leaving.]
cdidd has quit [Ping timeout: 260 seconds]
pango_ is now known as pango
shinnya has quit [Ping timeout: 260 seconds]
jonludlam has quit [Ping timeout: 260 seconds]
mcclurmc has quit [Remote host closed the connection]
jonludlam has joined #ocaml
dant3 has joined #ocaml
dant3 has quit [Remote host closed the connection]
dant3 has joined #ocaml
dant3 has quit [Remote host closed the connection]
dant3 has joined #ocaml
amirmc has quit [Quit: Leaving.]
dsheets_ has joined #ocaml
manizzle has joined #ocaml
manizzle is now known as WeLoveCP
dant3 has quit [Remote host closed the connection]
zpe has quit [Remote host closed the connection]
kyrylo has quit [Quit: Don't give up! Tell ya neighbour, tell ya friend...]
kyrylo has joined #ocaml
avsm has joined #ocaml
avsm has quit [Client Quit]
thomasga has quit [Ping timeout: 264 seconds]
eikke has joined #ocaml
dant3 has joined #ocaml
ggole has quit []
skchrko has joined #ocaml
kyrylo has quit [Read error: Connection reset by peer]
kyrylo has joined #ocaml
malvarez has joined #ocaml
zpe has joined #ocaml
zpe has quit [Ping timeout: 240 seconds]
avsm has joined #ocaml
bholst has quit [Ping timeout: 272 seconds]
q66 has quit [Quit: Leaving]
q66 has joined #ocaml
zpe has joined #ocaml
metasyntax has quit [Quit: Leaving]
avsm has quit [Quit: Leaving.]
dant3 has quit [Remote host closed the connection]
avsm has joined #ocaml
jonludlam has quit [Remote host closed the connection]
rand000 has quit [Quit: leaving]
jonludlam has joined #ocaml
mcclurmc has joined #ocaml
bjorkintosh has quit [Quit: Leaving]
nikki93 has quit [Remote host closed the connection]
tnguyen has joined #ocaml
cdidd has joined #ocaml
<flux>
gaah, lablgtk, thank you for using -warn-error and failing to build with apparently a more recent ocaml :/ Warning 3: deprecated feature: operator (or); you should use (||) instead
nlucaroni has quit [Quit: leaving]
nlucaroni has joined #ocaml
nikki93 has joined #ocaml
<flux>
(actually lablgtk-extras)
nlucaroni has quit [Client Quit]
nlucaroni has joined #ocaml
<flux>
do folks really get so much verbose output from their compilers that -warn-error is of benefit?
<nlucaroni>
It depends on the warnings enabled, but I would say so.
strobegen has quit [Quit: Leaving.]
<whitequark>
-Werror in release builds is a known C antipattern...
<whitequark>
and I think OCaml manual mentions it too
tnguyen has quit [Remote host closed the connection]
tnguyen has joined #ocaml
<nlucaroni>
it's mentioned in the compiler help commands too
<nlucaroni>
err, man pages*
darkf has joined #ocaml
jao has quit [Ping timeout: 246 seconds]
jzelinskie_ is now known as jzelinskie
BitPuffin has joined #ocaml
<flux>
I understand some developers just like to use it, a personal preference, but then it becomes difficult to release something else than what they use
<flux>
but they should find a way :)
tnguyen has quit [Remote host closed the connection]
bjorkintosh has joined #ocaml
nikki93 has quit [Remote host closed the connection]
zpe has quit [Remote host closed the connection]
WraithM_ has quit [Ping timeout: 250 seconds]
nikki93 has joined #ocaml
Nahra has quit [Ping timeout: 260 seconds]
Nahra has joined #ocaml
Nahra has quit [Changing host]
Nahra has joined #ocaml
<flux>
hmm, merlin seems to be unable to find GMain.cmi though I've told it to use the package lablgtk2. suggestions?
<flux>
for example, how I can see what merlin is doing and why it dosen't find lablgtk2..
<flux>
actually now it seems to work except for that exact symbol (it compiles fine, though)
<Drup>
flux: you can try to force merlin to load the module with C-c l
<Drup>
the package*
<flux>
that's exactly what I did
wolfnn has quit [Ping timeout: 265 seconds]
<flux>
but it seems to work, except for GMain.Main.quit ()
nlucaroni has quit [Quit: leaving]
<flux>
GMain.Main.main () works, though..
<Drup>
weird
<flux>
I must've poisoned it somehow
<flux>
if I change the quit to main it still is in 'error'
jonludlam has quit [Remote host closed the connection]
<flux>
hmm, kakadu's qt bindings seem to be on the bleeding edge, needs a version from git to compile..
<flux>
(actually 5.2 beta is probably ok)
<adrien>
afaik, 5.2 should be fine
<flux>
5.2 is not released yet
<flux>
hmm
<flux>
yes, it's in feature freeze
<flux>
ah, there is rc1 available as well
mort___ has joined #ocaml
tobiasBora has joined #ocaml
ontologiae_ has joined #ocaml
<flux>
nice, got qocamlbrowser working right away
nikki93 has quit [Remote host closed the connection]
BitPuffin has quit [Quit: WeeChat 0.4.2]
tobiasBora has quit [Read error: No route to host]
tobiasBora has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
nikki93 has joined #ocaml
kyrylo has quit [Ping timeout: 250 seconds]
zpe has joined #ocaml
zpe has quit [Ping timeout: 246 seconds]
mcclurmc has quit [Remote host closed the connection]