infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
spew has joined #ocaml
ziyourenxiang has joined #ocaml
copy` has quit [Quit: Connection closed for inactivity]
spew has quit [Ping timeout: 246 seconds]
spew has joined #ocaml
spew has quit [Client Quit]
jabroney has quit [Ping timeout: 260 seconds]
pmetzger has quit []
mfp has quit [Ping timeout: 255 seconds]
_whitelogger has joined #ocaml
iitalics has joined #ocaml
shinnya has quit [Ping timeout: 240 seconds]
cbarrett has joined #ocaml
<cbarrett>
hello
<cbarrett>
I'm wondering what ways there are to do simple forms of reflection in OCaml? I'd like a typed wrapper around something that's roughly a stringly-typed key-value store
<cbarrett>
*I'd like to write
ygrek_ has quit [Ping timeout: 240 seconds]
<cbarrett>
If there's not something easy I'm totally happy to just repeat myself—it's not a ton of code
<cbarrett>
but I'm an ocaml noob so I dunno if there's something obvious to y'all :)
Hardwell9814 has joined #ocaml
Muzer has quit [Ping timeout: 272 seconds]
<iitalics>
cbarrett: well,
<iitalics>
i'm pretty sure that ocaml removes a lot of type information at runtime
<iitalics>
so depending on what you're trying to achieve it may or may not be possible
pierpa has quit [Ping timeout: 260 seconds]
<cbarrett>
doesn't have to be runtime
Muzer has joined #ocaml
cbot has quit [Ping timeout: 268 seconds]
vgrocha has quit [Ping timeout: 246 seconds]
iitalics has quit [Quit: /thread]
jlam_ has joined #ocaml
jlam has quit [Killed (moon.freenode.net (Nickname regained by services))]
<threshold>
type foo = Bar of (bool * string) | Baz of (bool * string)
<threshold>
are these valid ML data types?
<threshold>
if so, what does (bool * string) represent?
<threshold>
i've also seen type quz = Foo of dom list * dom list * dom list * dom list * dom list
FreeBirdLjj has quit [Ping timeout: 268 seconds]
rpg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
ygrek_ has joined #ocaml
Mercuria1Alchemi has joined #ocaml
cbot has joined #ocaml
cbot_ has joined #ocaml
cbot has quit [Ping timeout: 240 seconds]
_whitelogger has joined #ocaml
n4323 has joined #ocaml
n4323 has quit [Ping timeout: 268 seconds]
leah2 has quit [Ping timeout: 260 seconds]
Anarchos has joined #ocaml
FreeBirdLjj has joined #ocaml
ygrek_ has quit [Ping timeout: 240 seconds]
<flux>
(bool * string) is a tuple
<flux>
(true, "hello") would be a value of a two-tuple type
FreeBirdLjj has quit [Remote host closed the connection]
<flux>
and similarly Foo of ... is a 4-tuple behind a constructor. there is a slight difference between Foo of (tuple) and Foo of tuple, but maybe you don't need to worry about it right now :)
FreeBirdLjj has joined #ocaml
<flux>
(it has got to do with the memory representation and the latter is a bi tmore restrictive to use)
FreeBirdLjj has quit [Ping timeout: 260 seconds]
n4323 has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
n4323 has quit [Ping timeout: 260 seconds]
jack5638 has quit [Ping timeout: 240 seconds]
jack5638 has joined #ocaml
average has quit [Ping timeout: 245 seconds]
AlexDenisov has joined #ocaml
shinnya has joined #ocaml
average has joined #ocaml
AlexRussia has joined #ocaml
olibjerd has joined #ocaml
jao has quit [Ping timeout: 240 seconds]
kakadu has joined #ocaml
sfri has quit [Remote host closed the connection]
larhat has joined #ocaml
sfri has joined #ocaml
mfp has joined #ocaml
kakadu has quit [Remote host closed the connection]
TheLemonMan has joined #ocaml
FreeBirdLjj has joined #ocaml
richi-235 has joined #ocaml
richi238 has quit [Ping timeout: 260 seconds]
AlexDenisov has quit [Ping timeout: 246 seconds]
AlexDenisov has joined #ocaml
larhat has quit [Ping timeout: 260 seconds]
larhat has joined #ocaml
n4323 has joined #ocaml
n4323 has quit [Ping timeout: 258 seconds]
larhat has quit [Quit: Leaving.]
larhat has joined #ocaml
larhat has quit [Client Quit]
diphuser has quit [Ping timeout: 268 seconds]
rpg has joined #ocaml
Anarchos has joined #ocaml
ziyourenxiang has quit [Quit: Leaving]
leah2 has joined #ocaml
vgrocha has joined #ocaml
spew has joined #ocaml
Mercuria1Alchemi has quit [Ping timeout: 240 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
diphuser has joined #ocaml
spew has quit [Ping timeout: 240 seconds]
_y has quit [Remote host closed the connection]
_y has joined #ocaml
olibjerd has quit [Quit: olibjerd]
Sakarah has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]