<SuperNoeMan>
Drup: the ocaml RPC service fits into a larger set of mechanisms and languages, and piqi is what we use to serialize. I want to be able to use my own serialization method!
<Drup>
then call it yourself ?
<Drup>
if you want to do it yourself, do it yourself :)
mcclurmc_ has joined #ocaml
mcclurmc has quit [Ping timeout: 250 seconds]
Thooms has quit [Ping timeout: 272 seconds]
ygrek has quit [Ping timeout: 265 seconds]
<Drup>
(I'm not really sure to understand what you want from eliom on the RPC point of view if you want to handle everything by yourself, though)
<SuperNoeMan>
well just the serialization method. I talked to the piqi author about providing some RPC capability with ocaml
<SuperNoeMan>
but the problem is, I don't think I did a good job with my rpc mechanism. I use an arbitrary number to map to a method
<Drup>
first, you still didn't really told me, who provides the function and who is supposed to call it
<SuperNoeMan>
I'd like it to be an interface that other languages could call, and the generated interface could automatically select some unique identifier. I think that would be much better
<SuperNoeMan>
Well, ocaml provides the function. Other languages call it. Java, C, python
<SuperNoeMan>
possibly ocaml on another machine
<Drup>
ok, so no, eliom is not going to help you.
<Drup>
it can helps you for the whole routing stuff
<Drup>
you want some rest-based thing or .. ?
<SuperNoeMan>
Drup: well I use piqi/protocol buffers for argument serialization
<SuperNoeMan>
so, REST isn't really what I need
<SuperNoeMan>
just a way to get arguments across the wrie
<SuperNoeMan>
wire*
rand000 has quit [Quit: leaving]
<Drup>
eliom is designed to make websites or rest-like services, it's not a distributed computing library, sorry. :)
<SuperNoeMan>
oh ok
<SuperNoeMan>
Thanks for the help then :)
<Drup>
you can probably hack something together, but it's hacky and something else would probably do a better job
thomasga has quit [Quit: Leaving.]
<Drup>
(functory maybe ?)
<Drup>
(still not ideal)
<Drup>
eliom provides you a way to do rpc from client (javascript compiled with js_of_ocaml) to server (ocsigen-powered ocaml) but that's all.
<Drup>
(I think you are the first one I saw that overestimate the set of feature that ocsigen is covering, it's usually the other way around ... :D)
ethycol has joined #ocaml
pyon has quit [Quit: stupid emacs!]
pyon has joined #ocaml
SomeDamnBody has joined #ocaml
BitPuffin has quit [Ping timeout: 264 seconds]
mji has joined #ocaml
shinnya has quit [Ping timeout: 240 seconds]
ygrek has joined #ocaml
seanmcl has joined #ocaml
darkf has joined #ocaml
psy has quit [Ping timeout: 265 seconds]
psy has joined #ocaml
Pepe_ has quit [Quit: leaving]
q66 has quit [Quit: Leaving]
lordkryss has quit [Quit: Connection closed for inactivity]
seanmcl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
chambart has quit [Ping timeout: 256 seconds]
ethycol has quit [Quit: WeeChat 1.0.1]
ebzzry__ has joined #ocaml
ebzzry_ has quit [Ping timeout: 256 seconds]
saltylicorice has joined #ocaml
manizzle has quit [Ping timeout: 255 seconds]
mcclurmc_ has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
mcclurmc has quit [Ping timeout: 240 seconds]
chinglish has joined #ocaml
yomimono has joined #ocaml
kapil__ has joined #ocaml
yomimono has quit [Ping timeout: 250 seconds]
bytbox has joined #ocaml
manud___ has quit [Ping timeout: 252 seconds]
manizzle has joined #ocaml
samrat has joined #ocaml
zwer has quit [Remote host closed the connection]
zwer has joined #ocaml
mcclurmc has joined #ocaml
larhat has quit [Quit: Leaving.]
mcclurmc has quit [Ping timeout: 256 seconds]
bytbox has quit [Remote host closed the connection]
contempt has joined #ocaml
samrat has quit [Quit: Computer has gone to sleep.]
mji has quit [Quit: This computer has gone to sleep]
koderok has joined #ocaml
koderok has left #ocaml [#ocaml]
saltylicorice has quit [Ping timeout: 256 seconds]
mji has joined #ocaml
ppjet has joined #ocaml
ppjet has quit [Client Quit]
ppjet has joined #ocaml
milosn has joined #ocaml
ppjet has left #ocaml [#ocaml]
manud___ has joined #ocaml
ppjet has joined #ocaml
manud___ has quit [Client Quit]
mji has quit [Quit: Leaving]
ppjet is now known as Pepe_
crocket has joined #ocaml
<crocket>
Is mirage os useable?
chinglish has quit [Ping timeout: 265 seconds]
<nicoo>
It is used for the Mirage OS website
<nicoo>
(And yes, it is useable)
samrat has joined #ocaml
<crocket>
nicoo, It sure is not useable on desktops.
<crocket>
It can only be used on Xen.
<crocket>
I'm dissapointed.
<crocket>
I wanted a desktop OS written in a functional language.
<nicoo>
Ah. Mirage OS isn't meant as a general-purpose OS
<nicoo>
It is for running a single application directly on Xen (or on bare metal, or on Unix using a pure OCaml network stack, or ...)
<crocket>
nicoo, I read overview, but it was confusing to me.
<nicoo>
Basically, Mirage is a set of libraries that provide things usually handles by the OS (filesystem, network, ...) on top of Xen (or on bare metal, or on top of a Unix OS) ; this is useful if you have a single OCaml program that you want to run directly as a Xen VM or on embedded systems, for instance.
<nicoo>
Mirage doesn't provide multi-processing, so it is (probably) not suitable to build a general-purpose operating system.
manizzle has joined #ocaml
ggole has joined #ocaml
MercurialAlchemi has joined #ocaml
boogie has quit [Remote host closed the connection]
boogie has joined #ocaml
manizzle has quit [Ping timeout: 265 seconds]
boogie has quit [Remote host closed the connection]
<crocket>
Does OCaml provide parallelism?
<adrien>
no
<crocket>
No
<crocket>
That's bad
<crocket>
Does OCaml provide concurrency?
<adrien>
no
<crocket>
Whut
<ggole>
There's libraries for concurrency, like lwt and async
keen____ has quit [Read error: Connection reset by peer]
keen____ has joined #ocaml
larhat has joined #ocaml
MercurialAlchemi has quit [Remote host closed the connection]
psy has quit [Read error: No route to host]
mcclurmc has joined #ocaml
oscar_toro has quit [Ping timeout: 272 seconds]
psy has joined #ocaml
MercurialAlchemi has joined #ocaml
mcclurmc has quit [Ping timeout: 256 seconds]
natrium1970 has joined #ocaml
crocket has left #ocaml ["Leaving"]
<natrium1970>
I *thought* that somehow I managed to get this to work late last night, at least in utop, but maybe it was my imagination. Any suggestions on how to write this in a legal way? http://pastebin.com/yqY7d1g2
boogie has joined #ocaml
<natrium1970>
Right now, I think it makes sense to move `SymbolicConst outside of numeric. But I’m wondering what would happen in a situation there I wanted a construction like this to work.
<natrium1970>
In case anyone is wonderful why I would want use polymorphic variants in this way: I want `Var of string to be a variant of expr, but I also want to be able to write a function that *only* accepts `Var of string and gives a compile-time error for the more general type “expr”.
boogie has quit [Ping timeout: 264 seconds]
natrium1970 has quit [Quit: natrium1970]
matason has joined #ocaml
arj has joined #ocaml
<adrien>
so... about crocket
<adrien>
you won't get out of a conversation with him any happier
<adrien>
quite likely the opposite
<adrien>
don't waste time nor energy with him
oscar_toro has joined #ocaml
<ggole>
PM drama?
<adrien>
no
<adrien>
I just avoid him and I'm happy he left that quickly
<ggole>
So there's some history to explain the brusque response you gave.
<adrien>
definitely
<adrien>
basically he's been on ##slackware for quite some time and
<adrien>
slackware has that reputation of being an "elite" distribution (or some shit like that); more difficult, less user-friendly, more diy
<adrien>
but he stuck around for maybe a couple years at least, never ever learning
<adrien>
http://noobfarm.org/?id=1991 (that one was at least several months after he started on ##slackware ; mesa is in the main repository and that shouldn't surprise anyone)
ocfx has joined #ocaml
boogie has joined #ocaml
boogie has quit [Ping timeout: 265 seconds]
manud___ has joined #ocaml
girrig has quit [Ping timeout: 258 seconds]
ikaros has joined #ocaml
mcclurmc has joined #ocaml
mcclurmc has quit [Ping timeout: 240 seconds]
kakadu has joined #ocaml
manud___ has quit [Quit: Be back later ...]
manud___ has joined #ocaml
expo873 has quit [Quit: Connection closed for inactivity]
boogie has joined #ocaml
thomasga has joined #ocaml
manud___ has quit [Quit: Be back later ...]
manud___ has joined #ocaml
boogie has quit [Ping timeout: 264 seconds]
BitPuffin has joined #ocaml
manud___ has quit [Ping timeout: 258 seconds]
SomeDamnBody has quit [Ping timeout: 245 seconds]
Simn has joined #ocaml
jonludlam has joined #ocaml
badon has quit [Remote host closed the connection]
AltGr has left #ocaml [#ocaml]
aviraldg has joined #ocaml
aviraldg has quit [Max SendQ exceeded]
rand000 has joined #ocaml
dsheets has joined #ocaml
chambart has joined #ocaml
rom1504 has quit [Ping timeout: 265 seconds]
lordkryss has joined #ocaml
rom1504 has joined #ocaml
rand000 has quit [Quit: leaving]
sigjuice has joined #ocaml
araujo has joined #ocaml
BitPuffin has quit [Ping timeout: 250 seconds]
<adrien>
can I answer "Abandon Windows XP" on the mailing-list?
boogie has joined #ocaml
<kakadu>
I prefer "abondon Windows"
axiles has joined #ocaml
<adrien>
heh
badon has joined #ocaml
<kakadu>
Also the guy should abandon Avast whichcan block internet access in browser, if license is not prolonged
<adrien>
oh, nice
<adrien>
reminds me that I've seen AV software strip bits of files from the ocaml distribution
<adrien>
suprisingly they consider toolchains, packing, encryption software, bytecode, interpreters as possible malware
<kakadu>
I remember this but it was about some another antivirus
boogie has quit [Ping timeout: 256 seconds]
zwer has quit [Remote host closed the connection]
zwer has joined #ocaml
ddosia has joined #ocaml
dav_ has joined #ocaml
zwer has quit [Remote host closed the connection]
zwer has joined #ocaml
mcclurmc has joined #ocaml
dav has quit [Ping timeout: 256 seconds]
art-w has joined #ocaml
mort___ has joined #ocaml
oscar_toro has quit [Ping timeout: 265 seconds]
demonimin has quit [Ping timeout: 265 seconds]
demonimin has joined #ocaml
nojb has joined #ocaml
boogie has joined #ocaml
boogie has quit [Ping timeout: 240 seconds]
oscar_toro has joined #ocaml
seanmcl has joined #ocaml
seanmcl has quit [Max SendQ exceeded]
seanmcl has joined #ocaml
Thooms has joined #ocaml
thomasga has quit [Quit: Leaving.]
ygrek has quit [Ping timeout: 256 seconds]
seanmcl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
thomasga has joined #ocaml
_5kg_ has joined #ocaml
_5kg has quit [Ping timeout: 258 seconds]
dsheets has quit [Ping timeout: 258 seconds]
thomasga has quit [Quit: Leaving.]
BitPuffin has joined #ocaml
samrat has quit [Quit: Computer has gone to sleep.]
boogie has joined #ocaml
boogie has quit [Ping timeout: 244 seconds]
pyon has quit [Ping timeout: 245 seconds]
nojb has quit [Quit: nojb]
Thooms has quit [Quit: WeeChat 1.0.1]
nojb has joined #ocaml
davine has joined #ocaml
bytbox has joined #ocaml
davine has quit [Client Quit]
bytbox has quit [Remote host closed the connection]
<reynir>
I often find caml-list mails in my spam folder on gmail. :/
<adrien>
yeah, gmail...
<MercurialAlchemi>
reynir: you need to tell gmail not to mark it as spam
<MercurialAlchemi>
but that's hardly unique to caml-list, it's a general issue with gmail and mailing lists
samrat has joined #ocaml
<adrien>
and everything that doesn't come from gmail actually
<adrien>
turned email into a walled garden
<companion_cube>
-_-
<reynir>
I'm on other mailinglists with more traffic and they usually dont end up in spam
<reynir>
Ah yea one of them is a google mailinglist hehe
davine has joined #ocaml
davine has left #ocaml [#ocaml]
<MercurialAlchemi>
I've seen stuff from other mailing list in spam
<MercurialAlchemi>
relatively regularly
boogie has joined #ocaml
nojb has quit [Read error: Connection reset by peer]
nojb_ has joined #ocaml
boogie has quit [Ping timeout: 240 seconds]
seanmcl has joined #ocaml
mcclurmc_ has joined #ocaml
mcclurmc has quit [Ping timeout: 264 seconds]
<whitequark>
ugh, antivirii
* Drup
snorts every time he sees latin plural in english.
<whitequark>
the problem with that is?
<Drup>
I find it ridiculous :)
<whitequark>
I find antivirii ridiculous. it's snake oil. they don't work
<Drup>
that too
<adrien>
anyone knows how to merge several git submodules?
<adrien>
like splitting wasn't a good idea in the first place
<Drup>
whitequark: I have the same feeling when someone use a greek word when there is a correct english equivalent. :p
<whitequark>
companion_cube: hmm, so ppx_deriving_yojson is on par with manually written code?
<whitequark>
that's nice
<adrien>
what's english if not the merge of latin (and therefore some greek) and saxon
<adrien>
?
<Drup>
latin is has related to greek as swedish is to german.
<Drup>
as*
<ggole>
Antivirus programs are a great way to fuck up other software.
<ggole>
They particularly like crashing email clients.
dsheets has joined #ocaml
<Drup>
and english is related to latin by vocabulary (french really, in fact). Not at all by grammar
thomasga has joined #ocaml
<companion_cube>
whitequark: yes
<companion_cube>
with code I wrote straightforwardly, that is
<companion_cube>
it's pretty good anyway
dsheets has quit [Client Quit]
dsheets has joined #ocaml
<companion_cube>
(btw whitequark thanks a lot for your help those past days)
<Drup>
whitequark: btw, why did you used yojson, and not jsonm ?
<companion_cube>
I think it's because Yojson provides integers
<companion_cube>
Drup: you can use cconv with jsonm, I suppose ;)
<whitequark>
Drup: because yojson is batch, and jsonm is streaming
<Drup>
thomasga: and how does it work if the makefile driver is broken ? ^^
<thomasga>
you can still describe your project
<thomasga>
`assemblage describe`
<thomasga>
(even if you cannot built it again)
<thomasga>
so the new version does not work yet but at least we have a nicer API
<Drup>
:D
<Drup>
I should give this argument the next time I introduce a bug after breaking the API.
mcclurmc has joined #ocaml
mcclurmc_ has quit [Ping timeout: 244 seconds]
<Drup>
thomasga: I'll try to play with it when it works ;)
<thomasga>
sure! I don't expect (and want) people to use Assemblage immediately. But if people are interested to help, they are welcome now that the API is stabilised
<avsm>
Drup: no better way to learn it than contributing a Makefile backend :)
ikaros has quit [Quit: Ex-Chat]
<Drup>
I tend to work by experimenting, if I can't experiment, there is no point. And I can't experiment if you don't have a functioning backend.
dav has joined #ocaml
<Drup>
I'm fine with something in beta, but it has to at least do something ;)
dav_ has quit [Ping timeout: 245 seconds]
<thomasga>
well, assemblage is still in alpha :-) we experimented with a first API + driver in the first versions, now we have a better idea of the API and daniel implemented it. the new driver is coming, just need to find some time to do it.
boogie has joined #ocaml
<thomasga>
but you have a fair point :-)
<Drup>
(also, if I may, I wouldn't personally consider an API stable if the main purpose of the API is not implemented, because I don't have yet a proof that the API map correctly just yet. I have hope, but that's not enough :D)
<Drup>
anyway, as I said, ping me when you have a backend, I'll happily play with it, I have an eliom-distilery to reimplement :3
<whitequark>
can someone please explain politely why = with a pattern at rhs is a bad idea
tane has quit [Ping timeout: 272 seconds]
tharugrim has quit [Ping timeout: 272 seconds]
tharugrim has joined #ocaml
elfring has quit [Quit: Konversation terminated!]
ygrek has quit [Ping timeout: 244 seconds]
martintrojer has quit [Ping timeout: 264 seconds]
martintrojer has joined #ocaml
mcclurmc_ has joined #ocaml
mcclurmc has quit [Ping timeout: 244 seconds]
badkins has quit [Ping timeout: 250 seconds]
jwatzman|work has joined #ocaml
oscar_toro has joined #ocaml
mcclurmc_ has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
q66[lap] has joined #ocaml
q66 has joined #ocaml
struk_at_work has joined #ocaml
jonludlam has quit [Ping timeout: 255 seconds]
<flux>
I rather like the 'as', it could even with with a 'when' guard clause
<flux>
..though I don't quite see the opposition with for 'let' based matching in an expression ;-)
<flux>
it's the = that's the problem?
ygrek has joined #ocaml
<flux>
isn't that 'let p = e' part of the proposed 'if' exactly the same kind of 'let' as lets usually are, except that instead of raising an exception it goes to the else clause, or otherwise goes to the then clause?
MrScout has joined #ocaml
psy has quit [Disconnected by services]
psy_ has joined #ocaml
Hannibal_Smith has joined #ocaml
psy_ has quit [Max SendQ exceeded]
nojb has quit [Quit: nojb]
psy_ has joined #ocaml
AlexRussia is now known as AlexFromNowhere
milosn has quit [Ping timeout: 264 seconds]
Thooms has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 265 seconds]
jabesed has joined #ocaml
mcclurmc has joined #ocaml
kakadu has quit [Quit: Page closed]
nojb has joined #ocaml
milosn has joined #ocaml
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
MercurialAlchemi has joined #ocaml
badkins has joined #ocaml
expo873 has joined #ocaml
nojb has quit [Quit: nojb]
claudiuc has joined #ocaml
<mfp>
whitequark: maybe that it's too close to the currently parsable if let b = true in b then print_endline "hah" ?
kdef has joined #ocaml
nojb has joined #ocaml
dsheets_ has quit [Ping timeout: 245 seconds]
chambart has quit [Ping timeout: 240 seconds]
AlexFromNowhere is now known as AlexRussia
badkins has quit [Read error: Connection reset by peer]
badkins has joined #ocaml
kakadu has joined #ocaml
<flux>
btw, could this be implemented with ppx? if%let?
<whitequark>
if [%let?]
<flux>
maybe quite not as convenient.
nojb has quit [Quit: nojb]
nojb has joined #ocaml
nojb has quit [Client Quit]
claudiuc has quit [Remote host closed the connection]
claudiuc has joined #ocaml
nojb has joined #ocaml
ygrek has quit [Ping timeout: 255 seconds]
nojb has quit [Client Quit]
mcclurmc has quit [Remote host closed the connection]
tane has joined #ocaml
Arsenik has joined #ocaml
nadako_ has joined #ocaml
mcclurmc has joined #ocaml
BitPuffin has quit [Ping timeout: 240 seconds]
larhat has joined #ocaml
claudiuc has quit [Remote host closed the connection]
igstan has joined #ocaml
mort___ has quit [Ping timeout: 272 seconds]
claudiuc_ has joined #ocaml
claudiuc_ has quit [Remote host closed the connection]
claudiuc has joined #ocaml
claudiuc has quit [Ping timeout: 264 seconds]
claudiuc has joined #ocaml
slash^1 has quit [Read error: Connection reset by peer]
Reventlov has quit [Excess Flood]
Reventlov has joined #ocaml
manud___ has joined #ocaml
ggole has quit []
mcclurmc has quit [Remote host closed the connection]
thomasga has quit [Ping timeout: 265 seconds]
mcclurmc has joined #ocaml
dav_ has joined #ocaml
dav has quit [Ping timeout: 255 seconds]
dsheets_ has joined #ocaml
nadako_ has quit [Read error: Connection reset by peer]
elfring has joined #ocaml
thomasga has joined #ocaml
avsm has quit [Quit: Leaving.]
shinnya has quit [Ping timeout: 240 seconds]
mcclurmc has quit [Remote host closed the connection]
Hannibal_Smith has quit [Quit: Sto andando via]
shinnya has joined #ocaml
thomasga has quit [Quit: Leaving.]
nadako_ has joined #ocaml
_whitelogger_ has joined #ocaml
milosn has quit [Ping timeout: 258 seconds]
maufred_ has joined #ocaml
mrpantou1le has joined #ocaml
siddhart1v_away has joined #ocaml
companion_square has joined #ocaml
demonimin_ has joined #ocaml
fraggle_ has quit [Ping timeout: 272 seconds]
PM` has joined #ocaml
shinnya_ has joined #ocaml
esden_ has joined #ocaml
tane has quit [Quit: Verlassend]
dav__ has joined #ocaml
PM has quit [Disconnected by services]
PM` is now known as PM
shinnya has quit [*.net *.split]
dav_ has quit [*.net *.split]
larhat has quit [*.net *.split]
demonimin has quit [*.net *.split]
art-w has quit [*.net *.split]
Simn has quit [*.net *.split]
siddharthv_away has quit [*.net *.split]
_whitelogger has quit [*.net *.split]
bobpoekert has quit [*.net *.split]
nox has quit [*.net *.split]
maufred has quit [*.net *.split]
esden has quit [*.net *.split]
mrpantoufle has quit [*.net *.split]
companion_cube has quit [*.net *.split]
esden_ is now known as esden
nox_ is now known as nox
bobpoekert_ is now known as bobpoekert
fraggle_ has joined #ocaml
_whitelogger has joined #ocaml
_whitelogger has joined #ocaml
hhugo has quit [Ping timeout: 255 seconds]
Sim_n has quit [Quit: Leaving]
companion_square is now known as companion_cube
dav_ has joined #ocaml
igstan has quit [Quit: igstan]
dav__ has quit [Ping timeout: 245 seconds]
milosn has joined #ocaml
oscar_toro has quit [Ping timeout: 250 seconds]
art-w has joined #ocaml
chambart has joined #ocaml
cojy has quit [Read error: Connection reset by peer]
cojy has joined #ocaml
Arsenik has quit [Remote host closed the connection]
kakadu has quit [Remote host closed the connection]
badkins has quit [Ping timeout: 244 seconds]
dsheets_ has quit [Ping timeout: 252 seconds]
elfring has quit [Quit: Konversation terminated!]
MercurialAlchemi has quit [Ping timeout: 255 seconds]
jao has quit [Ping timeout: 264 seconds]
nojb has quit [Quit: nojb]
expo873 has quit [Ping timeout: 258 seconds]
MrScout_ has joined #ocaml
MrScout_ has quit [Read error: Connection reset by peer]
MrScout_ has joined #ocaml
expo873 has joined #ocaml
MrScout has quit [Ping timeout: 258 seconds]
rossberg has quit [Ping timeout: 272 seconds]
dav_ has quit [Ping timeout: 245 seconds]
rossberg has joined #ocaml
manud___ has quit [Quit: Be back later ...]
avsm has joined #ocaml
MrScout_ has quit [Remote host closed the connection]