cdidd has quit [Remote host closed the connection]
r-A has left #ocaml []
talzeus_ has joined #ocaml
nalaginrut has joined #ocaml
darkf has quit [Read error: Connection reset by peer]
darkf has joined #ocaml
talzeus_ has quit [Remote host closed the connection]
darkf has quit [Ping timeout: 272 seconds]
darkf has joined #ocaml
groovy2shoes has quit [Quit: groovy2shoes]
contempt has quit [Remote host closed the connection]
leoncamel has quit [Quit: WeeChat 0.3.9.2]
contempt has joined #ocaml
ttamttam has joined #ocaml
ggole has quit []
arj1 is now known as yezariaely
Kakadu has joined #ocaml
ontologiae has joined #ocaml
djcoin has joined #ocaml
cdidd has joined #ocaml
UncleVasya has joined #ocaml
derek_c has joined #ocaml
hkBst has joined #ocaml
eikke has joined #ocaml
ontologiae has quit [Ping timeout: 256 seconds]
sgnb has joined #ocaml
mika1 has joined #ocaml
zpe has joined #ocaml
mcclurmc has joined #ocaml
UncleVasya has quit [Read error: Connection reset by peer]
jsvgoncalves has joined #ocaml
UncleVasya has joined #ocaml
UncleVasya has quit [Ping timeout: 260 seconds]
rgrinberg has joined #ocaml
<fasta_>
I have an OASIS library. How can I install it only if it is newer than the previously installed version?
q66 has joined #ocaml
ontologiae has joined #ocaml
rgrinberg has quit [Ping timeout: 260 seconds]
UncleVasya has joined #ocaml
cdidd has quit [Remote host closed the connection]
ontologiae has quit [Ping timeout: 245 seconds]
ontologi1e has joined #ocaml
<fasta_>
I have around 30 files like META.ocplib-subst-worker. What are they doing there?
ontologi1e has quit [Ping timeout: 256 seconds]
ggole has joined #ocaml
ontologiae has joined #ocaml
ontologiae has quit [Read error: Connection reset by peer]
ontologiae has joined #ocaml
jpdeplaix has quit [Ping timeout: 246 seconds]
thelema has quit [Remote host closed the connection]
thelema_ has joined #ocaml
jpdeplaix has joined #ocaml
raichoo has joined #ocaml
Kakadu has quit []
jsvgoncalves has quit [Remote host closed the connection]
jsvgoncalves has joined #ocaml
jbrown__ has joined #ocaml
jsvgoncalves has quit [Ping timeout: 240 seconds]
Drup has joined #ocaml
eikke has quit [Ping timeout: 260 seconds]
logicgeezer_ has quit [Remote host closed the connection]
beckerb has joined #ocaml
derek_c has quit [Ping timeout: 276 seconds]
Drup has quit [Ping timeout: 264 seconds]
eikke has joined #ocaml
Drup has joined #ocaml
_andre has joined #ocaml
malo has joined #ocaml
ia0_ has quit [Quit: leaving]
ia0 has joined #ocaml
breakds has joined #ocaml
ia0 has quit [Quit: leaving]
ia0 has joined #ocaml
gnuvince has quit [Ping timeout: 245 seconds]
mcclurmc has quit [Ping timeout: 252 seconds]
talzeus_ has joined #ocaml
groovy2shoes has joined #ocaml
groovy2shoes has quit [Quit: It is now safe to turn off your Groovebot.]
mcclurmc has joined #ocaml
Tobu has quit [Ping timeout: 246 seconds]
Tobu has joined #ocaml
mcclurmc has quit [Ping timeout: 272 seconds]
fraggle_ has quit [Read error: Connection reset by peer]
tane has joined #ocaml
travisbrady has joined #ocaml
cdidd has joined #ocaml
tane has quit [Quit: Verlassend]
smondet has joined #ocaml
mika1 has quit [Quit: Leaving.]
q66 has quit [Remote host closed the connection]
darkf has quit [Quit: Leaving]
gnuvince has joined #ocaml
hkBst has quit [Quit: Konversation terminated!]
q66 has joined #ocaml
rwmjones has quit [Quit: Terminated with extreme prejudice - dircproxy 1.2.0]
rwmjones has joined #ocaml
ttamttam has quit [Quit: ttamttam]
Anarchos has joined #ocaml
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
ttamttam has joined #ocaml
zpe has quit [Ping timeout: 256 seconds]
gnuvince has quit [Ping timeout: 240 seconds]
ttamttam has quit [Remote host closed the connection]
raichoo has quit [Quit: leaving]
ontologiae has quit [Ping timeout: 264 seconds]
zpe has joined #ocaml
eikke has quit [Ping timeout: 256 seconds]
Neros has quit [Remote host closed the connection]
vpm has quit [Ping timeout: 258 seconds]
zpe has quit [Ping timeout: 260 seconds]
vpm has joined #ocaml
Drup has quit [Ping timeout: 246 seconds]
Neros has joined #ocaml
UncleVasya has quit [Quit: UncleVasya]
tizoc has quit [Quit: Coyote finally caught me]
tizoc has joined #ocaml
zpe has joined #ocaml
tane has joined #ocaml
ontologiae has joined #ocaml
zpe has quit [Ping timeout: 256 seconds]
beckerb has quit [Quit: Konversation terminated!]
eikke has joined #ocaml
breakds has quit [Remote host closed the connection]
raichoo has joined #ocaml
<wmeyer>
hi
<orbitz>
hi
<companion_cube>
hi
<companion_cube>
this chan just got much more interesting.
<Anarchos>
companion_cube because i am here ?
<companion_cube>
I didn't see you :p
<Anarchos>
:/
ttamttam has joined #ocaml
<wmeyer>
hi orbitz companion_cube and Anarchos
<companion_cube>
how are things going in non-fantasy-land-ocaml?
<Anarchos>
companion_cube fine : i am on the right path to finish my interfacing with a multithread C++ API. Seems i could write an article :)
<orbitz>
Hey
<orbitz>
hah
<companion_cube>
Anarchos: good luck with that
<wmeyer>
companion_cube: it's OK, I just got back from the daytime work
<orbitz>
so i'm going to look at avsm's ocaml-ssh and see how to fix up the I/O layer
<orbitz>
hopefully i can get around to it during the enxt few weeks
zpe has joined #ocaml
derek_c has joined #ocaml
zpe has quit [Ping timeout: 246 seconds]
UncleVasya has joined #ocaml
derek_c has quit [Ping timeout: 252 seconds]
<Anarchos>
companion_cube so why do you find this chan more interesting ?
malo has quit [Ping timeout: 240 seconds]
djcoin has quit [Quit: WeeChat 0.3.9.2]
<orbitz>
probabl because people were talking
<Anarchos>
orbitz well i speak because i make cool things with ocaml :)
<wmeyer>
orbitz: yeah, we need to talk more. I'm being a bit un-social these days :-)
<wmeyer>
it's always a good reason Anarchos :)
<wmeyer>
companion_cube: apart from working day, the weather today is awesome!
<companion_cube>
Anarchos: that was a poor attempt at humor ^^
<companion_cube>
wmeyer: quite!
<wmeyer>
:)
<wmeyer>
maybe somebody remembers the second after manual source for "Interfacing with C" topic (I think it was a tutorial or blog)
<Anarchos>
which second ??
<wmeyer>
Anarchos: apart from the manual some people pointed out a tutorial or blog post how to interface with C and how runtime represents values on the heap.
<Anarchos>
wmeyer maybe the interanals of ocaml by philippe wang ?
<Anarchos>
internals (sorry for mistyping)
<wmeyer>
oh yes maybe that one thanks Anarchos
<Anarchos>
not philippe but richard jones acording to google
zpe has joined #ocaml
ontologiae has quit [Ping timeout: 256 seconds]
dsheets has joined #ocaml
<dsheets>
hello, is it possible to set ocamlbuildflags variable from _oasis?
yezariaely has quit [Remote host closed the connection]
yezariaely has joined #ocaml
<dsheets>
or is there a general way to set setup.data variables in _oasis?
<dsheets>
I haven't found anything but maybe it's obvious
ttamttam has left #ocaml []
<Anarchos>
caml_execute_signal sigsev on signal_number=27....
<Anarchos>
kill -l says it is SIGVTALRM
ggole has quit []
<orbitz>
without using objects, how would I implement a container for plugins where i wnat the plugins to be able to store whatever data they want but I need to keep it all inthe same place. each plugin will implement an interface
<thelema_>
orbitz: modules?
<orbitz>
using first class modules? how would it look if the plugin wants to modify the data it holds?
smondet has quit [Remote host closed the connection]
derek_c has joined #ocaml
<thelema_>
modules have access to their internals.
watermind has joined #ocaml
<orbitz>
I thought a module was stateles though? Do you instantiate modules?
<wmeyer>
orbitz: a record?
<thelema_>
modules can have mutable values in them
<orbitz>
wmeyer: what does the record look like?
<orbitz>
thelema_: what if I want the same code with its ow nvalues?
<wmeyer>
orbitz: type 'a plugin = { data: 'a; init : unit -> unit; act: unit -> int; unload: unit -> unit }
<thelema_>
orbitz: use an applicative functor
<orbitz>
wmeyer: how do I store a list of these?
<thelema_>
err, generative
zpe has joined #ocaml
<wmeyer>
orbitz: let plugins : int ref plugin = [];;
<thelema_>
= ref [];;
<wmeyer>
yes
<wmeyer>
and int plugin ref.
<orbitz>
doesn't that require the type of data is alwasy the same?
<wmeyer>
yes
<orbitz>
that isn't what I want
<wmeyer>
then use subtyping and objects
<orbitz>
my question was 'without using objects' :
<orbitz>
:)
<wmeyer>
I see, but the answer is: the easiest way is to use objects or first class modules :)
<thelema_>
wmeyer: probably objects
<wmeyer>
I'd use objects
zpe has quit [Ping timeout: 264 seconds]
Kakadu has joined #ocaml
ulfdoz has joined #ocaml
derek_c has quit [Ping timeout: 268 seconds]
derek_c has joined #ocaml
Drup has joined #ocaml
emmanuelux has joined #ocaml
travisbrady has quit [Quit: travisbrady]
<gasche>
orbitz: you can just use a record of closures that capture some shared mutable state
<gasche>
or modules
<gasche>
if you don't need to manipulate them dynamically, you don't need them to be first-class
<gasche>
(I mean if there is a fixed number of different "plugins" in your application)
astro73|mal has quit [Read error: Connection reset by peer]
<orbitz>
yeah, the closure solution is what I'm thinking if i really want to avoid objects for wahteverreason
astro73|mal has joined #ocaml
<gasche>
records are fine as well
<gasche>
in fact, records or GADTs are necessary if the interface needs to expose the internal state
<gasche>
hm
<gasche>
I meant "modules or GADTs", any form of existential types
<gasche>
(though in fact you could pull that of with first-class polymorphism
<gasche>
)
<gasche>
eg. if your private type is 't' and your interface is "create : t;; next : t -> int;; reset : t -> unit", you can hide the state parameter in the closure
<gasche>
but if you have "create : t;; save : t -> t;; reload : t -> t;; next : t -> int;; reset : t -> unit" and you want to allow users to call (foo.reload foo.save), then you need an (existential) type for the intermediary stuff
<orbitz>
in this case they don't need to expose the state. they will just do some actions on it
<gasche>
closures, then
<orbitz>
tack
raichoo has quit [Quit: leaving]
travisbrady has joined #ocaml
derek_c has quit [Ping timeout: 252 seconds]
tianon has quit [Ping timeout: 255 seconds]
derek_c has joined #ocaml
derek_c has quit [Ping timeout: 264 seconds]
The_third_man has quit [Read error: Operation timed out]
The_third_man has joined #ocaml
tianon has joined #ocaml
dsheets has quit [Ping timeout: 256 seconds]
watermind has quit [Quit: Konversation terminated!]
_andre has quit [Quit: leaving]
ulfdoz has quit [Remote host closed the connection]
ulfdoz has joined #ocaml
derek_c has joined #ocaml
derek_c has quit [Ping timeout: 264 seconds]
dsheets has joined #ocaml
derek_c has joined #ocaml
eni has joined #ocaml
ttamttam has joined #ocaml
derek_c has quit [Ping timeout: 264 seconds]
gildor has joined #ocaml
ttamttam has left #ocaml []
<ousado>
oh man..
<ousado>
I think it's time for developers to end the patent wars
<companion_cube>
it's just been the case for 5 years
<companion_cube>
:(
<ousado>
yes, it's been going on for much too long already.
travisbrady has quit [Quit: travisbrady]
<Anarchos>
ousado which patent war ?
<ousado>
all of them
<Anarchos>
ousado so not only developers but also the whole industry patent system ;)
<ousado>
most recent example I noticed being the SIP protocol
Nahra has quit [Remote host closed the connection]
<ousado>
well, I mean it's time for the developers to end it, as in making their employers stop.
Nahra has joined #ocaml
<ousado>
and a few days before I learned about the british telecom claiming ownership of SIP, I became aware of a public/private key crypto system that's several orders of magnitude faster than RSA, but not in wide-spread use because of guess what
derek_c has joined #ocaml
<Anarchos>
ousado all the idea behind those patent fight is to make money
<Anarchos>
ousado nothing more nothing less
<Anarchos>
so... you are asking to empty an ocean with a tea spoon :)
<ousado>
no
<ousado>
I don't see how that metaphor applies here
<ousado>
and sure it's about money.. but it's a political issue
<Anarchos>
well, we won't see a bill forbiding capitalism soon :D
<Anarchos>
anyway, it's time to go to bed
<ousado>
not everything that helps big companies make money also makes economic sense. and as far as I know in most countries that would matter here, you'd need any bill to go on strike.
<ousado>
*wouldn't need any bill
derek_c has quit [Quit: Lost terminal]
Anarchos has quit [Quit: o kousk emaon o vont]
Kakadu has quit []
Nahra has quit [Remote host closed the connection]
ontologiae has joined #ocaml
rwmjones has quit [Ping timeout: 264 seconds]
malo has joined #ocaml
malo has quit [Quit: Leaving]
rwmjones has joined #ocaml
eni has quit [Ping timeout: 264 seconds]
gnuvince has joined #ocaml
UncleVasya has quit [Quit: UncleVasya]
emmanuelux has quit [Ping timeout: 246 seconds]
ontologiae has quit [Ping timeout: 245 seconds]
emmanuelux has joined #ocaml
tane has quit [Quit: Verlassend]
ulfdoz has quit [Ping timeout: 252 seconds]
jbrown__ has quit [Ping timeout: 272 seconds]
q66 has quit [Remote host closed the connection]
Tobu has quit []
eikke has quit [Ping timeout: 256 seconds]
darkf has joined #ocaml
chrisdotcode has joined #ocaml
smerz_ has joined #ocaml
talzeus_ has quit [Remote host closed the connection]