<Tekk_>
figured out my problem. Related though, does anyone know of a program to generate ctypes struct definitions from a header file?
mengu has joined #ocaml
mengu has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #ocaml
axiles has joined #ocaml
mort___ has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #ocaml
enitiz has quit [Ping timeout: 264 seconds]
larhat has joined #ocaml
aravindpg has joined #ocaml
_5kg has quit [Ping timeout: 265 seconds]
larhat has quit [Quit: Leaving.]
mort___ has quit [Quit: Leaving.]
larhat has joined #ocaml
Yoric has joined #ocaml
larhat has quit [Quit: Leaving.]
Yoric has quit [Ping timeout: 244 seconds]
aravindpg has left #ocaml [#ocaml]
samrat has quit [Quit: Computer has gone to sleep.]
_5kg has joined #ocaml
kdef has quit [Quit: peace]
samrat has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 256 seconds]
rgrinberg has quit [Quit: Leaving.]
MercurialAlchemi has joined #ocaml
ollehar has joined #ocaml
maufred has joined #ocaml
chinglish has joined #ocaml
alkoma has quit [Ping timeout: 264 seconds]
matason has joined #ocaml
Yoric has joined #ocaml
antegallya has joined #ocaml
jonludlam has joined #ocaml
avsm has joined #ocaml
samrat has quit [Quit: Computer has gone to sleep.]
samrat has joined #ocaml
Submarine has joined #ocaml
Submarine has joined #ocaml
bezirg has joined #ocaml
ingsoc has joined #ocaml
alkoma has joined #ocaml
kapil__ has quit [Quit: Connection closed for inactivity]
alkoma has quit [Ping timeout: 250 seconds]
mengu has quit [Remote host closed the connection]
thomasga has joined #ocaml
lordkryss has joined #ocaml
AltGr has left #ocaml [#ocaml]
dsheets has joined #ocaml
Simn has joined #ocaml
Thooms has joined #ocaml
samrat has quit [Quit: Computer has gone to sleep.]
matason_ has joined #ocaml
samrat has joined #ocaml
_5kg has quit [Ping timeout: 255 seconds]
matason has quit [Ping timeout: 244 seconds]
_5kg has joined #ocaml
demonimin has joined #ocaml
ocp has joined #ocaml
Yoric has quit [Remote host closed the connection]
antegallya has quit [Ping timeout: 264 seconds]
alkoma has joined #ocaml
ddosia has joined #ocaml
alkoma has quit [Ping timeout: 256 seconds]
matason_ is now known as matason
<ddosia>
Hi there. Reading RWO right now and stumble upon example of using of Core_bench. "open Core_bench.Std" they said. -> Error: Unbound module Core_bench.
<ddosia>
Although I can find it under my ~/.opam/4.02.1/lib/core_bench directory
jonludlam has quit [Quit: Coyote finally caught me]
<ddosia>
Doh, just added -pkgs core_bench to corebuild and this done the trick
mengu has joined #ocaml
jonludlam has joined #ocaml
antegallya has joined #ocaml
antegallya has quit [Ping timeout: 240 seconds]
antegallya has joined #ocaml
Thooms has quit [Ping timeout: 244 seconds]
kapil__ has joined #ocaml
alkoma has joined #ocaml
Thooms has joined #ocaml
alkoma has quit [Ping timeout: 245 seconds]
jlouis_ is now known as jlouis
bezirg has quit [Ping timeout: 245 seconds]
thomasga has quit [Quit: Leaving.]
larhat has joined #ocaml
BitPuffin has joined #ocaml
Yoric has joined #ocaml
Yoric_ has joined #ocaml
oscar_toro has joined #ocaml
Yoric has quit [Ping timeout: 265 seconds]
dsheets has quit [Ping timeout: 250 seconds]
samrat has quit [Quit: Computer has gone to sleep.]
avsm has quit [Quit: Leaving.]
BitPuffin has quit [Ping timeout: 255 seconds]
bezirg has joined #ocaml
Thooms has quit [Quit: WeeChat 1.0.1]
alkoma has joined #ocaml
badkins has joined #ocaml
vanila has quit [Remote host closed the connection]
tnguyen has quit [Remote host closed the connection]
alkoma has quit [Ping timeout: 250 seconds]
tnguyen has joined #ocaml
maurer has quit [Ping timeout: 272 seconds]
tnguyen has quit [Client Quit]
marynate has quit [Ping timeout: 255 seconds]
clrnd has joined #ocaml
Yoric_ has quit [Remote host closed the connection]
Yoric has joined #ocaml
NoNNaN has quit [Ping timeout: 250 seconds]
MercurialAlchemi has quit [Ping timeout: 245 seconds]
MercurialAlchemi has joined #ocaml
NoNNaN has joined #ocaml
jonludlam has quit [Quit: Coyote finally caught me]
jonludlam has joined #ocaml
huza has joined #ocaml
planetlarg has joined #ocaml
thomasga has joined #ocaml
planetlarg has quit [Remote host closed the connection]
planetlarg has joined #ocaml
tane has joined #ocaml
thomasga has quit [Quit: Leaving.]
larhat has quit [Quit: Leaving.]
alkoma has joined #ocaml
alkoma has quit [Ping timeout: 256 seconds]
<ddosia>
is there any sequence generator facilities? I mean I need something like list with natural numbers up to certain border.
Yoric_ has joined #ocaml
bezirg has quit [Ping timeout: 245 seconds]
Yoric has quit [Ping timeout: 265 seconds]
Haudegen has quit [Ping timeout: 250 seconds]
Haudegen has joined #ocaml
<dmbaturin>
Batteries used to have list comprehensions.
<Drup>
ddosia: Sequence.( 1 -- 5 )
<Drup>
:D
<ddosia>
afaik list comprehensions use already created lists and works like filter+map
<Drup>
(or Gen)
<ddosia>
Drup: Error: Unbound value --
<ddosia>
but I got it, will read about this module
<Drup>
ah, that's because you are using Core's Sequence
c74d has quit [Read error: Connection reset by peer]
MrScout_ has quit [Ping timeout: 265 seconds]
MrScout has joined #ocaml
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
hilquias has quit [Remote host closed the connection]
Sim_n has quit [Read error: Network is unreachable]
Sim_n has joined #ocaml
c74d has joined #ocaml
jonludlam has joined #ocaml
gabemc has quit [Ping timeout: 264 seconds]
lordkryss has joined #ocaml
govg has joined #ocaml
NoNNaN has quit [Remote host closed the connection]
alkoma has joined #ocaml
NoNNaN has joined #ocaml
travisbrady has joined #ocaml
ddosia has quit [Quit: Connection closed for inactivity]
fafounet has joined #ocaml
Thooms_ has quit [Quit: WeeChat 1.0.1]
olauzon has quit [Quit: olauzon]
rgrinberg has quit [Quit: Leaving.]
MrScout has quit [Remote host closed the connection]
MrScout has joined #ocaml
olauzon has joined #ocaml
hilquias has joined #ocaml
travisbrady has quit [Quit: travisbrady]
rgrinberg has joined #ocaml
travisbrady has joined #ocaml
enitiz has quit [Ping timeout: 245 seconds]
_andre has quit [Quit: leaving]
madroach has quit [Ping timeout: 250 seconds]
madroach has joined #ocaml
madroach has quit [Ping timeout: 250 seconds]
badon has joined #ocaml
diethyl has quit [Ping timeout: 264 seconds]
diethyl has joined #ocaml
Yoric has joined #ocaml
chrizel has joined #ocaml
matason has quit [Quit: Leaving...]
fafounet has quit [Ping timeout: 240 seconds]
NoNNaN has quit [Ping timeout: 250 seconds]
NoNNaN has joined #ocaml
Guest74803 is now known as reynir
reynir has quit [Quit: WeeChat 1.0.1]
reynir has joined #ocaml
reynir is now known as Guest80782
oriba has joined #ocaml
Yoric has quit [Remote host closed the connection]
Guest80782 has quit [Client Quit]
reynir1 has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
reynir1 has quit [Changing host]
reynir1 has joined #ocaml
rgrinberg has joined #ocaml
travisbrady has quit [Quit: travisbrady]
reynir1 is now known as reynir
reynir has quit [Quit: WeeChat 1.0.1]
reynir has joined #ocaml
reynir is now known as Guest2221
Guest2221 has quit [Changing host]
Guest2221 has joined #ocaml
<ingsoc>
ocaml is categorised as a functional language but it has OOP features. Were these added later ? How often are they used in a typical ocaml code base ?
<ingsoc>
also, what is the status of multicore ocaml ?
<bjorkintosh>
ingsoc, first came ML
<bjorkintosh>
then CAML
Guest2221 is now known as reynir
<bjorkintosh>
then ...
<bjorkintosh>
the rest is left as an exercise for the reader.
<mrvn>
So we should have MOCaml now that modules are first class
<bjorkintosh>
modules were already part of ML.
<Drup>
but not first class :p
<Drup>
ingsoc: OOP features are not used a lot
<ingsoc>
ok well i may have to have a look at the ancestry
<bjorkintosh>
they're there, just in case you go on a camping trip and might need it.
<bjorkintosh>
you know?
<Drup>
ocasionally, when they are appropriate and that the functional way is not better. So that's not very often.
<mrvn>
and for some things you need them
<mrvn>
Drup: objects can be functional
<mrvn>
you need objects for row types
<ingsoc>
and what about mult-icore ?
travisbrady has joined #ocaml
<ingsoc>
multi-core*
<Drup>
I would still not describe that as "the functional way" :D
<mrvn>
ingsoc: nothing in standard ocaml
<Drup>
ingsoc: work in progress.
<mrvn>
Drup: in the end object is just a container. How you use it is up to you
<ingsoc>
ok. seems a bit like state of python
<ingsoc>
obviously ocaml runs sequential code much faster though
<mrvn>
ingsoc: you can always offload some stuff to C or do multi-processing
<mrvn>
ingsoc: Even if ocaml gets a multicore GC I don't think it will ever excell at it. Other type systems allow better code for multithreaded things, esspecially tracking how shared data is.
<mrvn>
rust could be good there
<ingsoc>
mrvn: yeah looked at rust briefly but it seems to be in flux
<ingsoc>
still a moving target
<ingsoc>
haskell seems too academic
<mrvn>
it's verry strict
<mrvn>
idealistically so
Hannibal_Smith has joined #ocaml
<whitequark>
ingsoc: rust 1.0 is released this friday
<whitequark>
after this, the language will be backward-compatible
<whitequark>
wow
<ingsoc>
whitequark: you been playing with rust ?
<whitequark>
yes
<ingsoc>
seems to be a mixing pot of many language features
<ingsoc>
whitequark: how have you been finding it ?
<ingsoc>
good points/ bad poitns ?
<ingsoc>
points*
<smondet>
just being rigourous: you can do a lot of cool multi-core stuff in ocaml, what you don't have is shared-memory parallelism
<whitequark>
ingsoc: the only systems language that stands a chance to dent C/C++
Haudegen has quit [Ping timeout: 265 seconds]
<tobiasBora>
Hello !
<tobiasBora>
Does anyone knows a library that can manipulate Djvu files ?
<ingsoc>
whitequark: are you saying that it is targetted at different problem domain to something like ocaml ?
<whitequark>
ingsoc: yes
Haudegen has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
<whitequark>
rust places heavy emphasis on memory management
<Hannibal_Smith>
whitequark, agree seems like that finally we can have a modern C
<ingsoc>
well not having a repl is a pain when you're used to having one
samrat has quit [Quit: Computer has gone to sleep.]
<ingsoc>
but this is no criticism of the language tho
<Hannibal_Smith>
OCaml is easier to write, at least IMHO
<ingsoc>
so does memory management fall on the programmer ?
<ingsoc>
(in rust)
enitiz has joined #ocaml
<Hannibal_Smith>
ingsoc, is not like C, the compiler know where free stuff automatically
<Hannibal_Smith>
But telling the compiler "this object depend on..."
<Hannibal_Smith>
Is not always trivial
<mrvn>
How does that work with passing objects to functions? How rust know wether the functions keeps a reference to the object in some global table or not?
<mrvn>
The short into to rust didn't give any example for that
<mrvn>
+i read
<Hannibal_Smith>
mrvn, it will simply pass the ownership of things
travisbrady has quit [Quit: travisbrady]
<Hannibal_Smith>
Similar to C++11 move semantics
<mrvn>
Hannibal_Smith: It passes the ownership to the function when you call it. But from [&foo] -> unit how does it know wether the function keeps it?
<whitequark>
mrvn: regions
<whitequark>
if it's &foo, the function can't keep it
<whitequark>
(after it finished executing)
<whitequark>
in other words, rust encodes nested lifetimes in the type system
tnguyen has quit [Ping timeout: 264 seconds]
<mrvn>
ahh, so when it keeps it how does the signature look?
<whitequark>
foo (copy) or ~foo (owned, unique)
<whitequark>
er, Box<foo> it is now
<whitequark>
or Rc<foo> for refcounting, or Gc<foo> for some hypothetical GC
<mrvn>
I've seen Rc in the tutorial. They didn't mention Gc.
<Hannibal_Smith>
They dropped it
Yoric has joined #ocaml
<mrvn>
The tutorial said you need Rc for recursive types but I'm not sure how Rc is supposed to work with cyclic types, like a graph. The cycle will always keep itself alive.
<mrvn>
Seems hard to free that without a GC
tnguyen has joined #ocaml
planetlarg has quit [Quit: Ex-Chat]
<Hannibal_Smith>
mrvn, they have Weak that broke dependency
<Hannibal_Smith>
Not unlike C++11 again
<mrvn>
But weak means only one direction keeps the graph alive. Means you need a overall structure that keeps an array of all nodes.
tnguyen has quit [Client Quit]
<mrvn>
And if you have that outer structure then it would be cool if you could tell the compiler that the nodes have the same lifetime as the outer structure.
<Hannibal_Smith>
mrvn, search for lifetime annotation
<Hannibal_Smith>
Unfortunately at least for me is a topic that continue to be unclear
<Hannibal_Smith>
So I cannot say more that read their documentation on the argument
larhat has joined #ocaml
travisbrady has joined #ocaml
Yoric has quit [Remote host closed the connection]
Yoric has joined #ocaml
rgrinberg has joined #ocaml
Yoric has quit [Ping timeout: 250 seconds]
antegallya has joined #ocaml
axiles has quit [Remote host closed the connection]
AlexRussia has quit [Ping timeout: 264 seconds]
Yoric has joined #ocaml
tautologico has joined #ocaml
olauzon has quit [Quit: olauzon]
Yoric has quit [Remote host closed the connection]
Yoric has joined #ocaml
AlexRussia has joined #ocaml
clrnd is now known as clrd_
clrd_ is now known as shachaf_
travisbrady has quit [Quit: travisbrady]
shachaf_ is now known as clrnd
Yoric has quit [Ping timeout: 265 seconds]
clrnd has quit [Quit: leaving]
tane has quit [Quit: Verlassend]
Yoric has joined #ocaml
MrScout_ has joined #ocaml
larhat has quit [Quit: Leaving.]
Yoric has quit [Remote host closed the connection]
MrScout has quit [Ping timeout: 265 seconds]
Yoric has joined #ocaml
BitPuffin has quit [Ping timeout: 264 seconds]
ingsoc has quit [Quit: Leaving.]
travisbrady has joined #ocaml
ingsoc has joined #ocaml
chrizel has quit [Quit: Leaving]
AlexRussia has quit [Quit: WeeChat 1.1-dev]
AlexRussia has joined #ocaml
olauzon has joined #ocaml
olauzon has quit [Client Quit]
AlexRussia has quit [Client Quit]
AlexRussia has joined #ocaml
ingsoc has quit [Quit: Leaving.]
flx has joined #ocaml
larhat has joined #ocaml
travisbrady has quit [Quit: travisbrady]
MrScout_ has quit [Remote host closed the connection]
MrScout has joined #ocaml
jao has quit [Ping timeout: 256 seconds]
kakadu has quit [Remote host closed the connection]
tnguyen has joined #ocaml
larhat has quit [Quit: Leaving.]
Cyanure has joined #ocaml
Thooms has joined #ocaml
Yoric has quit [Remote host closed the connection]
Yoric_ has joined #ocaml
Yoric_ has quit [*.net *.split]
flx has quit [*.net *.split]
q66 has quit [*.net *.split]
flux has quit [*.net *.split]
malc_ has quit [*.net *.split]
badkins has quit [*.net *.split]
demonimin has quit [*.net *.split]
Reventlov has quit [*.net *.split]
sgnb` has quit [*.net *.split]
vpm has quit [*.net *.split]
seliopou has quit [*.net *.split]
w0rp has quit [*.net *.split]
bugabinga has quit [*.net *.split]
acieroid has quit [*.net *.split]
troydm has quit [*.net *.split]
thizanne has quit [*.net *.split]
Tekk_ has quit [*.net *.split]
wting has quit [*.net *.split]
dinosaure2 has quit [*.net *.split]
tizoc has quit [*.net *.split]
ski has quit [*.net *.split]
Khady has quit [*.net *.split]
Darnuria has quit [*.net *.split]
emias has quit [*.net *.split]
ia0 has quit [*.net *.split]
S11001001 has quit [*.net *.split]
xorpse has quit [*.net *.split]
inr_ has quit [*.net *.split]
srax has quit [*.net *.split]
dwoos has quit [*.net *.split]
pollux has quit [*.net *.split]
smondet has quit [*.net *.split]
tobiasBora has quit [*.net *.split]
gargawel has quit [*.net *.split]
xaimus_ has quit [*.net *.split]
binarybitme has quit [*.net *.split]
Drup has quit [*.net *.split]
Cyanure has quit [*.net *.split]
Haudegen has quit [*.net *.split]
alkoma has quit [*.net *.split]
bytbox has quit [*.net *.split]
skchrko has quit [*.net *.split]
burgobianco has quit [*.net *.split]
jbalint has quit [*.net *.split]
dmbaturin has quit [*.net *.split]
ruoso_ has quit [*.net *.split]
orbitz has quit [*.net *.split]
Pepe_ has quit [*.net *.split]
cartwright has quit [*.net *.split]
tokenrove has quit [*.net *.split]
tianon has quit [*.net *.split]
dbrumley has quit [*.net *.split]
Cypi has quit [*.net *.split]
Armael has quit [*.net *.split]
Antoine59 has quit [*.net *.split]
WanderingGlitch has quit [*.net *.split]
CissWit has quit [*.net *.split]
vpm has joined #ocaml
Khady has joined #ocaml
Khady has quit [Changing host]
Khady has joined #ocaml
seliopou has joined #ocaml
Reventlov has joined #ocaml
ski has joined #ocaml
gargawel has joined #ocaml
demonimin has joined #ocaml
demonimin has joined #ocaml
Tekk_ has joined #ocaml
dwoos has joined #ocaml
w0rp has joined #ocaml
wting has joined #ocaml
pollux has joined #ocaml
Drup has joined #ocaml
smondet has joined #ocaml
Yoric_ has joined #ocaml
malc_ has joined #ocaml
Darnuria has joined #ocaml
xorpse has joined #ocaml
bugabinga has joined #ocaml
inr_ has joined #ocaml
badkins has joined #ocaml
acieroid has joined #ocaml
tobiasBora has joined #ocaml
thizanne has joined #ocaml
S11001001 has joined #ocaml
Drup has left #ocaml [#ocaml]
Yoric__ has joined #ocaml
q66 has joined #ocaml
tnguyen has quit [Quit: tnguyen]
Cyanure has joined #ocaml
Haudegen has joined #ocaml
alkoma has joined #ocaml
bytbox has joined #ocaml
skchrko has joined #ocaml
burgobianco has joined #ocaml
jbalint has joined #ocaml
dmbaturin has joined #ocaml
ruoso_ has joined #ocaml
orbitz has joined #ocaml
Pepe_ has joined #ocaml
cartwright has joined #ocaml
tokenrove has joined #ocaml
tianon has joined #ocaml
Antoine59 has joined #ocaml
Armael has joined #ocaml
Cypi has joined #ocaml
WanderingGlitch has joined #ocaml
dbrumley has joined #ocaml
CissWit has joined #ocaml
tizoc has joined #ocaml
sgnb` has joined #ocaml
dinosaure2 has joined #ocaml
tizoc has quit [Changing host]
tizoc has joined #ocaml
binarybitme has joined #ocaml
girrig has quit [Ping timeout: 245 seconds]
lopex has quit [Ping timeout: 244 seconds]
strmpnk has quit [Ping timeout: 244 seconds]
srcerer has quit [Ping timeout: 264 seconds]
alkoma has quit [Max SendQ exceeded]
burgobianco has quit [Excess Flood]
Reventlov has quit [Read error: Connection reset by peer]
Reventlov has joined #ocaml
srax has joined #ocaml
alkoma has joined #ocaml
flux has joined #ocaml
oskarth has quit [Ping timeout: 244 seconds]
burgobianco has joined #ocaml
Yoric_ has quit [Ping timeout: 265 seconds]
strmpnk_ has joined #ocaml
girrig has joined #ocaml
lopex has joined #ocaml
tnguyen has joined #ocaml
relrod_ has joined #ocaml
nicoo has quit [Ping timeout: 250 seconds]
Yoric__ has quit [Ping timeout: 243 seconds]
NoNNaN has quit [Ping timeout: 250 seconds]
xaimus has joined #ocaml
badon has quit [Ping timeout: 250 seconds]
hekmek has quit [Quit: Verlassend]
oskarth has joined #ocaml
relrod has quit [Ping timeout: 250 seconds]
relrod_ is now known as relrod
flx has joined #ocaml
iZsh has quit [Ping timeout: 245 seconds]
Nahra` has joined #ocaml
Drup has joined #ocaml
Nahra has quit [Remote host closed the connection]
ousado has quit [Remote host closed the connection]
ousado has joined #ocaml
iZsh has joined #ocaml
travisbrady has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
antegallya has quit [Quit: Leaving.]
antegallya has joined #ocaml
rgrinberg has joined #ocaml
malc_ has quit [Quit: leaving]
ysz has quit [Quit: This computer has gone to sleep]
ysz has joined #ocaml
ousado has quit [Changing host]
ousado has joined #ocaml
ysz has quit [Quit: This computer has gone to sleep]
travisbrady has quit [Quit: travisbrady]
fschwidom has joined #ocaml
Sim_n has quit [Quit: Leaving]
iZsh has quit [Ping timeout: 244 seconds]
ysz has joined #ocaml
bytbox has quit [Ping timeout: 240 seconds]
ysz has quit [Client Quit]
iZsh has joined #ocaml
fschwidom has quit [Remote host closed the connection]