Algebr has quit [Read error: Connection reset by peer]
Algebr has joined #ocaml
sh0t has quit [Remote host closed the connection]
navaja has quit [Ping timeout: 248 seconds]
Jfault has quit [Quit: EliteBNC free bnc service - http://elitebnc.org - be a part of the Elite!]
Jfault has joined #ocaml
kakadu has quit [Remote host closed the connection]
pierpa has quit [Quit: Page closed]
nojb has quit [Ping timeout: 240 seconds]
Jesin has joined #ocaml
Algebr has quit [Remote host closed the connection]
Algebr has joined #ocaml
JazzyEagle has quit [Ping timeout: 240 seconds]
raphaelss has quit [Remote host closed the connection]
raphaelss has joined #ocaml
Denommus has joined #ocaml
Jesin has quit [Quit: Leaving]
Jesin has joined #ocaml
JazzyEagle has joined #ocaml
TarVanimelde has joined #ocaml
pmetzger has quit []
ayxih_ has joined #ocaml
ayxih has quit [Ping timeout: 240 seconds]
mfp has quit [Ping timeout: 260 seconds]
silver has quit [Read error: Connection reset by peer]
rossberg has quit [Ping timeout: 240 seconds]
rossberg has joined #ocaml
Algebr has quit [Remote host closed the connection]
lopex has quit [Quit: Connection closed for inactivity]
Soni has quit [Ping timeout: 248 seconds]
teknozulu has joined #ocaml
Soni has joined #ocaml
p1n34ppl3 has quit [Quit: Lost terminal]
suo has joined #ocaml
sz0 has quit [Quit: Connection closed for inactivity]
<suo>
I'm having an issue when installing coqide with a fresh opam switch, on OCaml 4.06.0
<suo>
# File "ide/ideutils.ml", line 376, characters 38-74:# Error: This expression has type string but an expression was expected of type bytes
Chobbes has joined #ocaml
malina has joined #ocaml
<smondet[m]>
suo: ocaml 4.06.0 was released very recently and many packages have not been updated w.r.t. the "safe-string by default" change
<smondet[m]>
you should try with 4.05.0
teknozulu has quit [Ping timeout: 248 seconds]
govg has joined #ocaml
jbrown has quit [Ping timeout: 248 seconds]
zaquest has quit [Quit: Leaving]
zaquest has joined #ocaml
enterprisey has joined #ocaml
mbuf has joined #ocaml
infinity0_ has joined #ocaml
infinity0_ has quit [Changing host]
infinity0_ has joined #ocaml
infinity0 has quit [Killed (tolkien.freenode.net (Nickname regained by services))]
suo has quit [Ping timeout: 260 seconds]
whoman has quit [Quit: Leaving]
freusque has joined #ocaml
raphaelss has quit [Remote host closed the connection]
freyr has joined #ocaml
mk9 has joined #ocaml
ziyourenxiang has joined #ocaml
TheLemonMan has joined #ocaml
mk9 has quit [Quit: mk9]
ygrek has joined #ocaml
sgnb` has quit [Remote host closed the connection]
cbot has quit [Quit: Leaving]
sgnb has joined #ocaml
lopex has joined #ocaml
argent_smith has joined #ocaml
argent_smith has quit [Ping timeout: 248 seconds]
argent_smith1 has joined #ocaml
argent_smith1 has quit [Ping timeout: 248 seconds]
argent_smith has joined #ocaml
ygrek_ has joined #ocaml
enterprisey has quit [Ping timeout: 258 seconds]
ygrek has quit [Ping timeout: 248 seconds]
kerrhau has quit [Ping timeout: 248 seconds]
TarVanimelde has quit [Quit: TarVanimelde]
p1n34ppl3 has joined #ocaml
mfp has joined #ocaml
nicooo is now known as nicoo
fluter has quit [Ping timeout: 240 seconds]
fluter has joined #ocaml
jao has quit [Ping timeout: 258 seconds]
Denommus` has joined #ocaml
Denommus has quit [Ping timeout: 250 seconds]
andreas___ has joined #ocaml
Denommus` has quit [Ping timeout: 252 seconds]
freusque has quit [Quit: WeeChat 1.9.1]
shinnya has quit [Ping timeout: 250 seconds]
freusque has joined #ocaml
kakadu has joined #ocaml
aziem has quit [Quit: ZNC 1.6.3+deb1 - http://znc.in]
Exagone313 has quit [Quit: see ya!]
Exagone313 has joined #ocaml
sepp2k has joined #ocaml
_andre has joined #ocaml
freusque has quit [Ping timeout: 240 seconds]
dx has quit [Ping timeout: 246 seconds]
freusque has joined #ocaml
dx has joined #ocaml
sapristi has joined #ocaml
silver has joined #ocaml
mbuf has quit [Quit: Leaving]
<Leonidas>
though adopting libraries should often be very easy
<Leonidas>
*adapting
<Leonidas>
I'm wondering how hard it would be to make mirage soft-realtime
<Leonidas>
I suppose it would be near-impossible because of the ocaml runtime gc?
nomicflux has joined #ocaml
jbrown has joined #ocaml
voglerr has joined #ocaml
kakadu has quit [Read error: No route to host]
kakadu has joined #ocaml
voglerr has quit []
govg has quit [Ping timeout: 248 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
argent_smith1 has joined #ocaml
freyr has quit [Remote host closed the connection]
argent_smith has quit [Ping timeout: 248 seconds]
malina has quit [Ping timeout: 268 seconds]
malina has joined #ocaml
nomicflux has quit [Quit: nomicflux]
kerrhau has joined #ocaml
argent_smith has joined #ocaml
argent_smith1 has quit [Ping timeout: 240 seconds]
sz0 has joined #ocaml
argent_smith has quit [Quit: Leaving.]
sh0t has joined #ocaml
sh0t has quit [Remote host closed the connection]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
sh0t has joined #ocaml
ygrek_ has quit [Ping timeout: 248 seconds]
FreeBirdLjj has joined #ocaml
freusque has quit [Quit: WeeChat 1.9.1]
<orbifx[m]>
Leonidas: the gc could be accounted for to some extend.. maybe
kakadu has left #ocaml ["Konversation terminated!"]
kakadu has joined #ocaml
malina has quit [Ping timeout: 240 seconds]
<kakadu>
vk
malina has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
zolk3ri has joined #ocaml
FreeBirdLjj has joined #ocaml
teknozulu has joined #ocaml
ziyourenxiang has quit [Ping timeout: 255 seconds]
spew has joined #ocaml
jbrown has quit [Ping timeout: 268 seconds]
TheLemonMan has joined #ocaml
nomicflux has joined #ocaml
moei has quit [Quit: Leaving...]
sh0t has quit [Ping timeout: 240 seconds]
jbrown has joined #ocaml
tane has joined #ocaml
spew has quit [Ping timeout: 240 seconds]
raphaelss has joined #ocaml
malina has quit [Quit: Throwing apples of Montserrat]
AlexRussia has quit [Ping timeout: 240 seconds]
Jesin has quit [Quit: Leaving]
sapristi has quit [Ping timeout: 248 seconds]
kakadu has quit [Quit: Konversation terminated!]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 248 seconds]
andreas___ has quit [Quit: Connection closed for inactivity]
sh0t has joined #ocaml
jbrown has quit [Ping timeout: 240 seconds]
spew has joined #ocaml
sh0t has quit [Remote host closed the connection]
spew has quit [Ping timeout: 240 seconds]
argent_smith has joined #ocaml
spew has joined #ocaml
spew has quit [Remote host closed the connection]
jbrown has joined #ocaml
Winwin has joined #ocaml
nomicflux has quit [Quit: nomicflux]
whoman has joined #ocaml
jnavila has joined #ocaml
kakadu has joined #ocaml
Winwin has quit []
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
andreas___ has joined #ocaml
moei has joined #ocaml
picolino has quit [Remote host closed the connection]
ayxih_ is now known as ayxih
p1n34ppl3 has quit [Quit: Lost terminal]
Jesin has joined #ocaml
argent_smith has quit [Quit: Leaving.]
ayxih has quit [Remote host closed the connection]
<orbifx[m]>
When making an interface between two parts of a system, what would make you decide between having an Abstract tree which can be traversed by the consuming code and making the appropriate callbacks vs having a callback interface?
<orbifx[m]>
I think that callback interface would avoid intermediate allocations, but it's not as flexible.
<whoman>
i was about to say, abstract tree is more flexible
<orbifx[m]>
Anything else you would consider, especially from a functional perspective? Any theory behind this?
<whoman>
somewhat with how lisp/sexp and json are used as an intermediary DSL
<whoman>
hehe well, the tree can be treated: imperatively, functionally, declaratively, logically ...
_andre has quit [Quit: leaving]
<orbifx[m]>
I'd be using a variant for my tree
<orbifx[m]>
I might end up implementing both, for API flexibility
<whoman>
remember, if she's too flexible, you might lose her
<orbifx[m]>
companion_cube: any advice on this from your experience with containers?
<orbifx[m]>
haha thanks whoman :P
<orbifx[m]>
Hopefully my API is not so promiscuous
ayxih has joined #ocaml
<whoman>
^_^;;
sz0 has quit [Quit: Connection closed for inactivity]
sapristi has joined #ocaml
jnavila has quit [Ping timeout: 264 seconds]
jnavila has joined #ocaml
snhmib has joined #ocaml
mk9 has joined #ocaml
p1n34ppl3 has joined #ocaml
<SomeDamnBody>
Is there a way to configure opam to be in a directory other than ~?
<orbifx[m]>
SomeDamnBody: `opam help init`, look at the root option
<SomeDamnBody>
oh ok awesome.
<SomeDamnBody>
Has anybody used singularity before? It's like an alternative to docker...
<orbifx[m]>
Haven't even heard of it
jnavila has quit [Remote host closed the connection]
mk9 has quit [Read error: Connection reset by peer]
Jesin has quit [Quit: Leaving]
p1n34ppl3 has quit [Quit: Lost terminal]
zolk3ri has quit [Remote host closed the connection]
tane has quit [Quit: Leaving]
p1n34ppl3 has joined #ocaml
pierpa has joined #ocaml
ziyourenxiang has joined #ocaml
andreas___ has quit [Quit: Connection closed for inactivity]
ziyourenxiang has quit [Ping timeout: 248 seconds]
enterprisey has joined #ocaml
<companion_cube>
orbifx[m]: I'm not sure
<companion_cube>
is your tree an AST?
<orbifx[m]>
It's not invented yet. I wouldn't call it Abstract, but it probably qualifies as Syntax Tree.
<orbifx[m]>
It's the templating system for Logarion. So far it's mess of function calls from HTML to the Template module, which doesn't make sense.
<orbifx[m]>
I'm putting the Template module in ahead in the pipeline. It will either take a module to call to, or produce a a Tree for the back end to consume.
<companion_cube>
oO
<companion_cube>
for… logging?
<orbifx[m]>
No, Logarion is a blog/note system basically.
<orbifx[m]>
This is how the pages are currently "rendered", and where I want to go with it
<companion_cube>
oh, sorry.
<orbifx[m]>
If there were multiple passes required on the output of the Template module, I could see the reason for returning a tree structure. But now I'm thinking that allocating just to match that to functions know in advance, I might as well pass a module to the Template module for functions to call.
<orbifx[m]>
Hope I'm making sense
<orbifx[m]>
So I'm split about this one
<companion_cube>
you want a streaming API, so to speak
<companion_cube>
well you could expose an iterator of some sum type
<companion_cube>
type event = Open_scope | Close_scope | Paragraph of string | …
<companion_cube>
type doc = event gen
<companion_cube>
or something similar?
<orbifx[m]>
Yeah, although it's purposely not so granular
<orbifx[m]>
Currently it supports say what markdown does, plus some special fields, like author names, dates, titles etc
<orbifx[m]>
My current set up is closer to a module based approach, so I'm taking that route for now. But wondering if I'm missing something here.
<orbifx[m]>
Wanted to bounce these ideas :)
<companion_cube>
the simplest is still to produce a big AST, you know
<companion_cube>
simple, clean, and in practice allocating one AST should not be slow
snhmib has quit [Ping timeout: 248 seconds]
<orbifx[m]>
Even if the AST contains a lot of text and nesting etc?
<orbifx[m]>
Think of the typical blog having atleast 10s of entries and there is a lot of meta information in a page
<companion_cube>
would you need to load all entries at the same time?
<whoman>
agh homoiconicity
<orbifx[m]>
companion_cube: kinda, the first version of static generation is naive, and regenerates all pages
sapristi has quit [Ping timeout: 240 seconds]
<companion_cube>
bah, anyway, should still be fast
<orbifx[m]>
ok
<orbifx[m]>
I will try it
<orbifx[m]>
on the next version though, as it's easy now to refactor existing code, which doesn't use a tree between template and html. It uses Mustache's tree though for parsing templates.
<orbifx[m]>
I maybe base my tree on that, and basically expand Mustache's.
<orbifx[m]>
Thanks for the advice companion_cube
<orbifx[m]>
whoman: homoiconicity?
<companion_cube>
good luck
<orbifx[m]>
thanks :)
<orbifx[m]>
Hoping to hack something up in the next hour
<companion_cube>
I'll be in bed, sorry
kakadu has quit [Remote host closed the connection]