<rgrinberg>
Drup: so are we calling this function witness? it doesn't sit right with me :/
pseudo-sue has joined #ocaml
<pseudo-sue>
hey, I'm trying to install a few packages with opam, and the root of the errors i'm getting seems to be that the 'time' command isn't available. anyone know which package i need for this?
<pseudo-sue>
oh wait, this was just a strange little test in a configure file. commenting it out, and seeing how it goes...
Algebr` has joined #ocaml
<pseudo-sue>
rats. no, that doesn't really get me out of the woods. the error I'm getting is 'checking for time... no', and it seems to be tripped by various configure scripts when i try to install certain pkgs through opam. any thoughts, #ocaml?
Algebr` has quit [Ping timeout: 255 seconds]
Algebr` has joined #ocaml
nicoo has quit [Ping timeout: 250 seconds]
trystero is now known as tristero
nicoo has joined #ocaml
Algebr` has quit [Ping timeout: 250 seconds]
<pseudo-sue>
specifically, i'm having trouble installing the bitstring.2.0.4 package. when it gets to the configure step, it fails with a complaint about not finding the 'time' command.
<pseudo-sue>
i'm completely new to ocaml, so if anyone can suggest a workaround for this, even an obvious one, i'd be grateful.
<copy`>
pseudo-sue: What OS/distribution are you using?
wu_ng has joined #ocaml
Algebr` has joined #ocaml
tmtwd has joined #ocaml
Algebr` has quit [Ping timeout: 244 seconds]
<Drup>
rgrinberg: ah, well, I have no better name idea, but I'm not attached to that one
pseudo-sue has quit [Ping timeout: 240 seconds]
<rgrinberg>
i guess it doesn't matter, since it's marked as experimental we can change it at will
Algebr` has joined #ocaml
shinnya has quit [Ping timeout: 250 seconds]
Algebr` has quit [Ping timeout: 252 seconds]
FreeBirdLjj has joined #ocaml
Algebr` has joined #ocaml
Algebr` has quit [Ping timeout: 265 seconds]
sh0t has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
Algebr` has joined #ocaml
Algebr` has quit [Ping timeout: 244 seconds]
Algebr` has joined #ocaml
sh0t has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
phase_ has joined #ocaml
Algebr` has quit [Ping timeout: 276 seconds]
nicholasf has joined #ocaml
FreeBirdLjj has quit [Client Quit]
FreeBirdLjj has joined #ocaml
mengu has quit [Remote host closed the connection]
Algebr` has joined #ocaml
pierpa has quit [Ping timeout: 252 seconds]
Algebr` has quit [Ping timeout: 244 seconds]
govg has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
fluter has quit [Ping timeout: 264 seconds]
copy` has quit [Quit: Connection closed for inactivity]
fluter has joined #ocaml
Algebr` has joined #ocaml
Algebr` has quit [Ping timeout: 260 seconds]
govg has quit [Ping timeout: 244 seconds]
AlexDenisov has joined #ocaml
bruce_r has quit [Ping timeout: 265 seconds]
fUD has joined #ocaml
Sorella has quit [Quit: Connection closed for inactivity]
AlexRussia_ has quit [Ping timeout: 276 seconds]
bruce_r has joined #ocaml
Algebr` has joined #ocaml
Algebr` has quit [Ping timeout: 250 seconds]
mengu has joined #ocaml
MercurialAlchemi has joined #ocaml
Algebr` has joined #ocaml
Algebr` has quit [Ping timeout: 252 seconds]
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
sdothum has quit [Quit: ZNC - 1.6.0 - http://znc.in]
MercurialAlchemi has quit [Ping timeout: 264 seconds]
rgrinberg has quit [Ping timeout: 252 seconds]
rwthompsoniiHaxe has joined #ocaml
<rwthompsoniiHaxe>
Hello.
mengu has quit [Remote host closed the connection]
tmtwd has quit [Ping timeout: 244 seconds]
rwthompsoniiHaxe has quit [Quit: Bye]
MercurialAlchemi has joined #ocaml
phase_ has quit [Remote host closed the connection]
<def`>
A simple krivine machine is trivial to implement in OCaml. If you don't know the topic yet, I don't think looking at OCaml implementation will help you much
<def`>
(the Zinc abstract machine is a krivine machine that evolved to better match existing hardware)
copy` has joined #ocaml
<John[Lisbeth]>
I just need access to one but I am reading your pdf
<John[Lisbeth]>
it seems to be on the subjectof what I am talking about
nicholasf has quit [Remote host closed the connection]
nicholasf has joined #ocaml
<John[Lisbeth]>
the math in the pdf are a little beyond my understanding
<John[Lisbeth]>
Do you know of a krivine implementation in postfi notation?
<orbitz>
John[Lisbeth]: what are you trying to accomplish by playing with a krivine machine/
<John[Lisbeth]>
postfix
<John[Lisbeth]>
Really tiny machines
<John[Lisbeth]>
+ postfix
<John[Lisbeth]>
= me a math script kiddie
<orbitz>
I'm not sure what that really means.
<John[Lisbeth]>
It is really easy to implement math in postfix notation
<John[Lisbeth]>
I can almost directly copy over math equations
<John[Lisbeth]>
I intend to run postfix on a very very tiny machine. So far it seems krivine is the best candidate. I am also considering warren abstract machine and whicever one prolog uses I forget
FreeBirdLjj has joined #ocaml
<John[Lisbeth]>
I am gonna implement that tiny machine as minimally as possible on two architectures x86 and arm. Then I am going to implement postfix in that tiny machine. and then to solve programming tasks I will type math directly into it
FreeBirdLjj has quit [Remote host closed the connection]
<John[Lisbeth]>
The secret keeping me from it are the four functions that make up krivine.
<orbitz>
John[Lisbeth]: it might be worth reading a paper or tow on krivine machines.
<orbitz>
But a simple stackbased postfix evaluator can be implemented pretty easily as well.
<John[Lisbeth]>
for now krivine is the solution
mengu has joined #ocaml
<orbitz>
Ok.
<orbitz>
You should probably read a paper on a krivine machine, ttthen, I woudl guess.
<John[Lisbeth]>
The papers really don't make alot of sense to me
<John[Lisbeth]>
I think if I had a krivine machine to play with then it would be easier
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
<John[Lisbeth]>
I've got to copy it from a mathematical notation I can parse is all
<octachron>
John[Lisbeth]: math is very rarely written in postfix notation
<John[Lisbeth]>
I can convert it to postfix notation really easily in my head
<John[Lisbeth]>
it's syntax is not so different from highschool algebra
<orbitz>
John[Lisbeth]: are you more interested in learning abotu krivine machines or implementing a postfix calculator/
<John[Lisbeth]>
the kirvine machine is more important than the postfix at the current moment in time
<John[Lisbeth]>
I just need the four functions in a format I can parse
<dario9>
Anyway, there's still some shortcomings with RIP. The most glaring one is that Resource.apply does not include protocol+host+port.
<dario9>
I'm still wondering about the best way to do it within the limitations of Cohttp...
<Drup>
dario9: note that you might be interested by furl, which is still quite wip
<flux>
is there a simple solution for writing client-web apps with ocaml? to use alongside with that project?
<Drup>
(Also, I would really like your opinion on various tickets on tyre)
<dario9>
Drup: Yes. Did you get around the problem with the value restriction?
<Drup>
nope
<dario9>
Drup: I've shamelessly stole your Tyre combinators idea. See the Path module in RIP.
<Drup>
Yes, I can see that :p
<dario9>
It's basically Tyre combinators with the addition of forward slashes...
FreeBirdLjj has quit [Remote host closed the connection]
<Drup>
that's pretty much what furl was supposed to do ;)
<companion_cube>
"was"? is it dead?
<Drup>
companion_cube: well, it's not alive yet
<dario9>
Though I'm still not 100% happy with the Path module...
<Drup>
dario9: nested tuple sucks ^^'
<dario9>
Drup: I'm happy to hear about alternatives. Does Furl have one?
<Drup>
Well, yes, but it bumps into the value restriction
<Drup>
see my post about difference list
zpe has quit [Ping timeout: 255 seconds]
<dario9>
Nested tuples are not too bad in the RIP case, since most RESTful APIs don't go more than 2 or 3 levels deep.
<dario9>
The ugly part of Path is that I haven't come up with a way of expressing path more naturally.
zpe has joined #ocaml
<dario9>
The combinators work fine, but are a bit confusing for newcomers.
Sorella has joined #ocaml
<dario9>
Ideally, I should be able to express a Path as this: Path.(root / "users" /: Arg.uint)
<Drup>
dario9: in furl, it's exactly that.
<Drup>
It's not very difficult
<dario9>
Drup: OK, I'll need to take a closer look at Furl.
agarwal1975 has joined #ocaml
<Drup>
I think I should just put furl into a beta state, release it and have people starting to use it even if some stuff are not perfect yet
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
sh0t has joined #ocaml
<dario9>
Drup: Or make another blog post about it to refresh people's memories. Furl seems full of cool ideas...
<dario9>
And it's nice that the OCaml ecosystem has grown to the point where people may not be fully aware of all the cool projects out there...
mpenet has joined #ocaml
zpe has quit [Ping timeout: 252 seconds]
zpe has joined #ocaml
AlexDenisov has joined #ocaml
<mpenet>
Shouldn't native bin compiled under linux x64 jut work on osx 64?
<mpenet>
just*
<Algebr`>
why...osx is macho, linux is elf
<flux>
not to mention the standard library
<mpenet>
right
<flux>
in other words: no. but perhaps, with luck, with simple projects, the bytecode versions might run, if your bytecode interpreter is at the same place
<mpenet>
is there an easy way to cross compile from linux ?
AlexDenisov has quit [Read error: Connection reset by peer]
AlexDenisov has joined #ocaml
AlexDenisov has quit [Read error: Connection reset by peer]
AlexDenisov has joined #ocaml
infinity0 is now known as Guest78813
Guest78813 has quit [Killed (sinisalo.freenode.net (Nickname regained by services))]
infinity0 has joined #ocaml
copy` has quit [Quit: Connection closed for inactivity]
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
pierpa has joined #ocaml
FreeBirdLjj has joined #ocaml
copy` has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 250 seconds]
zpe has quit [Remote host closed the connection]
MercurialAlchemi has quit [Ping timeout: 244 seconds]
orbifx-m has joined #ocaml
AlexDenisov has joined #ocaml
yomimono has quit [Ping timeout: 244 seconds]
ocp has quit [Ping timeout: 250 seconds]
ocp has joined #ocaml
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
yomimono has joined #ocaml
freusque has quit [Quit: WeeChat 1.4]
AlexDenisov has joined #ocaml
nicholasf has quit [Remote host closed the connection]
AlexDeni_ has joined #ocaml
AlexDenisov has quit [Read error: Connection reset by peer]
AlexDeni_ has quit [Read error: Connection reset by peer]
nicholasf has joined #ocaml
zpe has joined #ocaml
dario9 has quit [Quit: Konversation terminated!]
ocp has quit [Quit: Leaving.]
ocp1 has joined #ocaml
ocp1 has quit [Client Quit]
bigs has quit [Read error: Connection reset by peer]
bigs has joined #ocaml
fluter has quit [Ping timeout: 265 seconds]
metaglog has quit [Ping timeout: 265 seconds]
Armael has quit [Ping timeout: 265 seconds]
fluter has joined #ocaml
rwmjones has quit [Ping timeout: 265 seconds]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
rwmjones has joined #ocaml
Armael has joined #ocaml
metaglog has joined #ocaml
metaglog has joined #ocaml
metaglog has quit [Changing host]
shinnya has joined #ocaml
FreeBirdLjj has joined #ocaml
MercurialAlchemi has joined #ocaml
yomimono_ has joined #ocaml
yomimono has quit [Ping timeout: 250 seconds]
zpe has quit [Remote host closed the connection]
<adrien>
I'm looking for a tool that can give me the value of a field for a given package from a debian/control file
<adrien>
for some reason I believe there is an ocaml one to do it
<adrien>
(and I'd really like to avoid writing perl)
dra27 has joined #ocaml
<Algebr`>
isn't it just a tarball?
<Algebr`>
perhaps opam itself has something premade?
<adrien>
debian/control is a separate file, plain-text, in a specific format
shinnya has quit [Ping timeout: 255 seconds]
dra27 has quit []
<Algebr`>
yea, but I mean the control file is usually inside the dpkg right, which I thought was just a tarball, open it and parse it, its just key:value?
<adrien>
in my case it is definitely outside of the .deb file
<adrien>
since I want to query it to drive the build of the .deb files :P
<adrien>
and it's not exactly key: value
<adrien>
it's key: value per paragraph
<adrien>
and I can't believe there isn't already something to do it
mpenet has quit [Remote host closed the connection]
<Algebr`>
its ocaml.
<Algebr`>
on the other hand, two package on cursory search in npm
<yomimono_>
this particular repository is a bit strange, yeah
<flux>
I think that's used for configuring the mirage kernel, not the irc server
<yomimono_>
even in mirage-land we prefer to make libraries for whatever protocol, then specific unikernels that use it to do something specific
<flux>
but I think if you want a working irc server for OCaml within the next hour, your best bet is to take that and modify it to unix Unix sockets ;)
<yomimono_>
I strongly suspect that project won't build with modern mirage, but you could give it a try with `mirage configure -t unix`
<flux>
seems pretty cool if the micro-kernel-ability was preserved, though, if that project were to be carried on
FreeBirdLjj has quit [Remote host closed the connection]
<ahf>
i think it was called openmirage when i looked at it :o
<ahf>
PR's will be accepted :-P
slash^ has joined #ocaml
AlexRussia_ has joined #ocaml
<Algebr`>
ha
orbifx-m has quit [Ping timeout: 240 seconds]
<freehck>
% ocamlfind query tls
<freehck>
ocamlfind: Package `tls' not found
<freehck>
While "mirage configure --unix" in scylla directory. :/
<freehck>
Can't find it. People, help?
<freehck>
Hm... Maybe I forgot to update environment.
<reynir>
ahf: is ircd-scylla used in baconsvin ?
<ahf>
reynir: no, we use ircd-charybdis
<ahf>
reynir: skylla was because i wanted to toy around with mirageos
<ahf>
to see what it was
<ahf>
i'm really impressed with how easy it was to get started. i mostly code erlang and i'm very much not used to ocaml
<ahf>
skylla is the only "real" ocaml program i've written i think
<ahf>
(there is still a lot to do on skylla)
<reynir>
Cool!
regnat has joined #ocaml
<Algebr`>
writing so much objective C, I'm gonna write an OCaml lib to do some objective-c introspection
<Algebr`>
need my sanity
FreeBirdLjj has joined #ocaml
<Algebr`>
althought I really wish ocaml had a fatter runtime, at times, so much cool stuff one can do in objc that you can't in ocaml
<Algebr`>
perhaps the intersection of ocaml and objc is basically me
<companion_cube>
probably ^^
<Algebr`>
derp
<companion_cube>
did you take a look at swift?
<Algebr`>
i did, not worth it
<ggole>
It seems what we need is, uh, objective objective caml?
<Algebr`>
yes, objectively
<reynir>
or objective ccaml
<Drup>
Algebr`: swift ? ^^'
<Drup>
At least it's sanner than objective C
<Drup>
eh, nvm, missed the last few messages
<Algebr`>
its not useful to me, for the things I need, and if you thought haskell from six months doesn't compile ....
<Algebr`>
it can't make C object files, talking to C++ is too much a pain
<Algebr`>
but yes, there's at least a type system
natimic has quit [Ping timeout: 264 seconds]
natimic has joined #ocaml
<flux>
I thought someone had written a general URI router for OCaml, does this exist?
<companion_cube>
furl ?
<notdan>
TIL you can easily bundle any modules together with `ocaml -a` and `ocamldep`
<flux>
well yes, that's it. y u no opam!
<companion_cube>
unreleased, I think
<flux>
but I was actually wondering if dario9's rip should rather make use of it
<Drup>
flux: I would like that, ultimately, yes
<Drup>
make furl the goto uri router, then build the rest on top of it
<flux>
has this been communicated with darion9?-)
<Drup>
flux: look at the backlog :D
<flux>
I mean he mentions on reddit that Path may be reworked greatly
<flux>
oh, so he refers to that then?
<flux>
seems like he's considering lifting ideas but not implementation quite yet?-)
<Drup>
well, morally, he's already using the stuff from furl, just that it's inside tyre :D
rgrinberg has quit [Ping timeout: 265 seconds]
FreeBirdLjj has quit [Ping timeout: 255 seconds]
<flux>
I'm thinking of a future where same code might get moved from one web server interface to another, something as central as url routing would be a great start ;-)
natimic has quit [Ping timeout: 244 seconds]
<Drup>
flux: please do add that comment on the reddit thread :p
kakadu has joined #ocaml
Simn has quit [Read error: Connection reset by peer]
Simn has joined #ocaml
TheLemonMan has joined #ocaml
johnf has quit [Read error: Connection reset by peer]