<b4284>
i don't understand why the labelled version doesn't work, looking at mli right now
<Maelan>
what’s the error?
johnelse has quit [Ping timeout: 276 seconds]
<b4284>
their function prototypes look exactly the same
<b4284>
Maelan: "Error: The function applied to this argument has type 'a list -> 'b list" "This argument cannot be applied with label ~f"
<b4284>
val map : ('a -> 'b) -> 'a list -> 'b list val map : f:('a -> 'b) -> 'a list -> 'b list
<b4284>
the former is original, the latter is labelled
pierpa has quit [Ping timeout: 240 seconds]
<Maelan>
how comes you have two different function with the same name (‘List.map’)?
psy has quit [Ping timeout: 240 seconds]
<Maelan>
functions*
<b4284>
Maelan: you're right, there should be only one, isn't there
micro___1 is now known as micro_
psy has joined #ocaml
<b4284>
now this would be correct: ListLabels.map ~f:(pred % pred) [1; 2; 3];;
<b4284>
Maelan: thanks a lot
johnelse has joined #ocaml
johnelse is now known as Guest76596
Korhonen has quit [Read error: Connection reset by peer]
Korhonen has joined #ocaml
Korhonen has quit [Read error: Connection reset by peer]
<b4284>
does the keyword `val' only show up in modules ?
<b4284>
and if i'm using a `let' in toplevel, it shows a message starting with `val' if i'm defining a function
<b4284>
because i'm defining it in the `Toplevel' module, if any ?
sz0 has quit [Ping timeout: 264 seconds]
struk|desk|away is now known as struk|desk
<teknozulu>
So I just came across Core's Univ_map, which I believe will prove useful (I essentially want a heterogeneous map). Does anyone here have experience with managing the keys for the map? If I want to act as if the Univ_map works with string keys, I have to map each string to a Univ_map.Key, but Univ_map.Key is parametric so now again (at a glance) I seem to require another heterogeneous map, going full circle.
struk|desk has quit [Quit: Konversation terminated!]
b4284 is now known as b3284
mac10688 has quit [Ping timeout: 250 seconds]
struk|desk has joined #ocaml
pabs3 has left #ocaml ["Don't rest until the streets are paved in poems."]
badon has joined #ocaml
badon has quit [Excess Flood]
badon has joined #ocaml
Denommus has quit [Quit: going to sleep]
darkf has joined #ocaml
nullcatxxx_ has joined #ocaml
jimt_ has quit [Quit: leaving]
jimt_ has joined #ocaml
jimt_ is now known as jimt
ggole has joined #ocaml
badon has quit [Quit: Leaving]
ggole_ has joined #ocaml
ggole has quit [Ping timeout: 265 seconds]
ggole__ has joined #ocaml
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
ggole_ has quit [Ping timeout: 272 seconds]
sz0 has joined #ocaml
psy has quit [Ping timeout: 264 seconds]
badon has joined #ocaml
ggole__ has quit [Ping timeout: 260 seconds]
ggole__ has joined #ocaml
<Drup>
you are not really supposed to store them all together
<b3284>
what does the `counter: 0' do in utop prompt ?
<Drup>
teknozulu: I see you struggling with this heterogeneous container since a few day, can you explain the whole problem ?
<teknozulu>
Yeah. So I'm taking a stab at building something (rudimentary) that can do "execution topologies" similar to what Apache Storm does, e.g. you can tell it workers A and B are pumping out data, which C processes (all three are on different machines)
<teknozulu>
And I'm building this on top of Jane Street's Rpc_parallel which I'm using for message passing
<teknozulu>
Ideally when everything is "done", the user of my library will provide a list of worker descriptors, which is a record type and one of its fields is Rpc.One_way.t (parametric type)
<teknozulu>
If they provide a 'msg Rpc.One_way.t for building a descriptor, along with it they provide a function 'msg -> 'output
<teknozulu>
(At this point I think I can say I'm not insane for thinking I need a heterogenous container to do any reasonable automation)
<Drup>
I see
<Drup>
no, you don't really want an heterogenous container for that
<Drup>
If I understand what you want right, you will want chaining, right ?
<Drup>
like, you have some thing producing 'a, you have something consuming 'a and producing 'b, and you chain them
<Drup>
is that correct ?
<teknozulu>
yeah that's the jist of it
<Drup>
Is your network static ?
<teknozulu>
right now I haven't planned any functionality for removing/adding nodes at runtime, however I would like to have the flexibility where all the user provides in terms of the network is a list of machines, rather than a fixed graph which I currently have code to calculate based on dependencies that the user provides with each worker
<Drup>
ah, no, that's not what I meant
<Drup>
can the network changed based on computations inside then network itself ?
<Drup>
the*
<Drup>
like, can a producer return a list of producers that will be used in the next consumer
<teknozulu>
Nope, the communication (graph, if you will) between each node is added on startup and will stay the same
<Drup>
ok
<Drup>
So there is a very usual abstraction for this kind of pattern, which is called applicative functors and that should help you to make the whole thing typesafe
<Drup>
let's say you have a type 'a node, for a node that proposes a value of type 'a
<Drup>
a producer of 'a is an 'a node
<Drup>
a consumer of 'a and producer of 'b is a ('a -> 'b) node
<Drup>
and you have an application operator, that combines the two, to make a 'b node
<teknozulu>
ooh that looks good
<teknozulu>
At the beginning I had some hazy monad-ish vision of how this might work, not far off conceptually
<Drup>
formally, it means your type node looks like that:
<Drup>
type _ node = | One : 'a One.t -> 'a node | Rpc : ('a,'b,my_error) Pipe_rpc.t -> ('a -> 'b) node | App : 'a node * ('a -> 'b) node -> 'b node
<Drup>
I advise you to look up applicative functors, they are well documented (especially in the haskell community)
<teknozulu>
Yeah I'll take a good look, this seems a lot more promising (and probably agreeably less hacky than anything GADTs or universal types might be able to do to remedy the situation)
<teknozulu>
thanks
<Drup>
well, it uses GADTs
<Drup>
(there is an existential hidden in there, for the 'a in the App constructor)
<teknozulu>
Sorry, when I said GADTs I was referring to what I tried with hiding the type (permanently)
<teknozulu>
oh
<teknozulu>
yep
<Drup>
but it's less terrible :p
<Drup>
Also, it means than your graph is fully described by the thing of type node, so you just to have to walk the type. What you can't do here is destruct an application after the fact and return the sub-elements
<Drup>
(rule of thumb: if you need full blown heterogenous containers, take a good look at your problem, and try to find another way)
<Drup>
(most often, you will find one)
<teknozulu>
I'll keep in mind. Sounds reasonable when you look at the big picture, considering casting your <everything> to a void* in cpp or a plain Object in Java would be considered dubious
nullcatxxx_ has joined #ocaml
ggole__ is now known as ggole
Simn has joined #ocaml
teknozulu has quit [Ping timeout: 264 seconds]
zpe has quit [Ping timeout: 250 seconds]
ryanartecona has joined #ocaml
ggole has quit [Ping timeout: 276 seconds]
ggole has joined #ocaml
ely-se has joined #ocaml
larhat1 has joined #ocaml
larhat1 has quit [Client Quit]
JacobEdelman has quit [Quit: Connection closed for inactivity]
struk|desk is now known as struk|desk|away
ggole_ has joined #ocaml
ggole has quit [Ping timeout: 265 seconds]
b3284 has quit [Quit: Page closed]
_gt has joined #ocaml
tmtwd has joined #ocaml
jrslepak has quit [Quit: This computer has gone to sleep]
ryanartecona has quit [Quit: ryanartecona]
ggole__ has joined #ocaml
ggole_ has quit [Ping timeout: 256 seconds]
ggole_ has joined #ocaml
ggole__ has quit [Ping timeout: 264 seconds]
kakadu has joined #ocaml
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
ely-se has quit [Quit: leaving]
ely-se has joined #ocaml
ely-se has quit [Client Quit]
avsm has joined #ocaml
tmtwd has quit [Remote host closed the connection]
avsm has quit [Quit: Leaving.]
lostman has quit [Quit: Connection closed for inactivity]
sbrouf has joined #ocaml
<sbrouf>
val s : bytes = "['Node', ['Initial_place']]"
<sbrouf>
let ss = Bytes.to_string s;;
<sbrouf>
val ss : bytes = "['Node', ['Initial_place']]"
<sbrouf>
anyone has a clue ?
<haesbaert>
what's wrong with that ?
<sbrouf>
ss is of type bytes
<haesbaert>
Bytes.t is the same as String.t, but String.t is immutable in newer ocaml
MercurialAlchemi has quit [Ping timeout: 256 seconds]
BitPuffin|osx has joined #ocaml
al-maisan has quit [Ping timeout: 255 seconds]
al-maisan has joined #ocaml
apache2 has joined #ocaml
DanielRichman has joined #ocaml
micro____ has quit [Ping timeout: 245 seconds]
DanielRichman has quit [Ping timeout: 240 seconds]
apache2_ has quit [Ping timeout: 260 seconds]
orbitz has quit [Ping timeout: 246 seconds]
_whitelogger has quit [Excess Flood]
_whitelogger has joined #ocaml
jlouis has joined #ocaml
orbitz has joined #ocaml
Haudegen has joined #ocaml
_whitelogger has quit [Excess Flood]
_whitelogger has joined #ocaml
lobo has joined #ocaml
al-maisan has quit [Ping timeout: 272 seconds]
apache2_ has joined #ocaml
orbitz has quit [Ping timeout: 260 seconds]
DanielRichman has quit [Ping timeout: 260 seconds]
apache2 has quit [Ping timeout: 240 seconds]
_whitelogger has joined #ocaml
orbitz has joined #ocaml
al-maisan has quit [Ping timeout: 260 seconds]
al-maisan has joined #ocaml
ygrek has joined #ocaml
hay207__ has joined #ocaml
hay207__ has quit [Remote host closed the connection]
_whitelogger has quit [Excess Flood]
_whitelogger has joined #ocaml
kdas_ has joined #ocaml
hay207 has joined #ocaml
hay207__ has quit [Ping timeout: 245 seconds]
kushal has quit [Ping timeout: 245 seconds]
<gasche>
kakadu: I just saw your report of compilation with -with-debug-runtime breaking on your machine
_whitelogger has quit [Excess Flood]
_whitelogger has joined #ocaml
_whitelogger has joined #ocaml
blub has joined #ocaml
_whitelogger has quit [Ping timeout: 240 seconds]
_whitelogger has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
<kakadu>
I found a virtualbox, btw. And the error seems to be the same. ARCH_INTNAT_PRINTF_FORMAT is defined to be "l" (found out with #pragame message in the right header)
<kakadu>
gasche: ^^
<kakadu>
We define typedef long intnat there
<kakadu>
which doesn't mean that (intnat*) should be printed with %Ld
<kakadu>
Maybe we can erase these l letter?
mort___ has quit [Ping timeout: 260 seconds]
dsheets has quit [Ping timeout: 260 seconds]
ygrek has quit [Ping timeout: 246 seconds]
NingaLeaf has joined #ocaml
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
nullcatxxx_ has joined #ocaml
ggole_ has quit []
hay207 has quit [Ping timeout: 240 seconds]
ygrek has joined #ocaml
hay207 has joined #ocaml
ygrek has quit [Ping timeout: 260 seconds]
philtor has joined #ocaml
<edwin>
kakadu: whats the error?
_whitelogger has joined #ocaml
<mrvn>
2 choices: 1) #include <inttypes.h> and PRIdPTR, 2) cast to long long int
<mrvn>
Anyone here that can help me add a preprocessor to oasis/myocamlbuild that generate ml and c files?
<mrvn>
The preprocessor would have to be compiled from ml files first and then used to create a number of files.
_whitelogger has joined #ocaml
_whitelogger has quit [Ping timeout: 240 seconds]
_whitelogger_ has joined #ocaml
ryanartecona has joined #ocaml
_whitelogger has joined #ocaml
ncthom91 has joined #ocaml
Guest76596 is now known as johnelse
hay207_ has quit [Ping timeout: 246 seconds]
hay207_ has joined #ocaml
ncthom91 has quit [Ping timeout: 265 seconds]
ncthom91 has joined #ocaml
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
struk|desk|away is now known as struk|desk
hay207_ has quit [Ping timeout: 250 seconds]
hay207__ has joined #ocaml
Accidus has joined #ocaml
tyrokroketa has joined #ocaml
BitPuffin|osx has joined #ocaml
struk|desk is now known as struk|desk|away
<please_help>
why print a pointer with %[l]d instead of %p?
ncthom91 has joined #ocaml
ncthom91 has quit [Client Quit]
mcc has joined #ocaml
mac10688 has joined #ocaml
MercurialAlchemi has joined #ocaml
hay207__ has quit [Read error: Connection reset by peer]
hay207__ has joined #ocaml
Guest14236 has quit [Ping timeout: 264 seconds]
dsheets has quit [Ping timeout: 260 seconds]
wolfcore has joined #ocaml
wolfcore is now known as Guest68822
<edwin>
its a difference between pointers
nullcatxxx_ has quit [Ping timeout: 250 seconds]
nullcatxxx_ has joined #ocaml
struk|desk|away is now known as struk|desk
abeaumont_ has joined #ocaml
ygrek has quit [Ping timeout: 240 seconds]
Simn has quit [Quit: Leaving]
mcmillhj has quit [Quit: Lost terminal]
MercurialAlchemi has quit [Ping timeout: 264 seconds]
<mrvn>
edwin: so are you using PRIdPTR now or casting to long long int?
<mrvn>
edwin: should be 0xFFFFFFFF81784201
<mrvn>
ups, enick
Accidus has quit [Remote host closed the connection]