adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml MOOC http://1149.fr/ocaml-mooc | OCaml 4.02.3 announced http://ocaml.org/releases/4.02.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
ril has quit [Client Quit]
larhat has quit [Ping timeout: 272 seconds]
ril has joined #ocaml
julien_t has quit [Ping timeout: 252 seconds]
ril has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
ril has joined #ocaml
theblatt1 has joined #ocaml
madroach has quit [Ping timeout: 248 seconds]
dhil has quit [Ping timeout: 260 seconds]
theblatte has quit [Ping timeout: 250 seconds]
madroach has joined #ocaml
ril has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
lobo has quit [Quit: leaving]
larhat has joined #ocaml
dksong has joined #ocaml
dksong has quit [Ping timeout: 240 seconds]
yegods has joined #ocaml
yegods has quit [Remote host closed the connection]
yegods has joined #ocaml
seangrov` has quit [Ping timeout: 256 seconds]
_berke_ has joined #ocaml
seangrov` has joined #ocaml
dksong has joined #ocaml
dksong has quit [Ping timeout: 272 seconds]
The_Mad_Pirate has joined #ocaml
igoroliveira has quit [Quit: Connection closed for inactivity]
The_Mad_Pirate has quit [Read error: Connection reset by peer]
The_Mad_Pirate has joined #ocaml
yegods has quit [Remote host closed the connection]
foolishmonkey has quit [Quit: Leaving]
Guest38 has joined #ocaml
Guest38 has quit [Max SendQ exceeded]
troydm has quit [Ping timeout: 248 seconds]
dksong has joined #ocaml
dksong has quit [Client Quit]
NingaLeaf has joined #ocaml
NingaLeaf has quit [Client Quit]
seangrov` has quit [Ping timeout: 240 seconds]
struk|desk|away is now known as struk|desk
copy` has quit [Quit: Connection closed for inactivity]
ril has joined #ocaml
crass has joined #ocaml
dksong has joined #ocaml
struk|desk is now known as struk|desk|away
yegods has joined #ocaml
abbiya has joined #ocaml
yegods has quit [Remote host closed the connection]
shinnya has joined #ocaml
The_Mad_Pirate has quit [Excess Flood]
The_Mad_Pirate has joined #ocaml
pierpa has quit [Ping timeout: 252 seconds]
struk|desk|away is now known as struk|desk
f[x] has quit [Ping timeout: 240 seconds]
shinnya has quit [Ping timeout: 260 seconds]
johnelse has quit [Ping timeout: 245 seconds]
Sorella has quit [Quit: Connection closed for inactivity]
johnelse has joined #ocaml
johnelse is now known as Guest22936
yegods has joined #ocaml
yegods has quit [Remote host closed the connection]
yegods has joined #ocaml
yegods has quit [Remote host closed the connection]
nkhodyunya has joined #ocaml
crass has quit [Remote host closed the connection]
ril has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
nkhodyunya has quit [Quit: Leaving.]
MercurialAlchemi has joined #ocaml
struk|desk is now known as struk|desk|away
nkhodyunya has joined #ocaml
The_Mad_Pirate has quit [Excess Flood]
The_Mad_Pirate has joined #ocaml
yegods has joined #ocaml
yegods has quit [Remote host closed the connection]
yegods has joined #ocaml
yegods has quit [Remote host closed the connection]
yegods has joined #ocaml
yegods has quit [Remote host closed the connection]
yegods has joined #ocaml
nkhodyunya has quit [Quit: Leaving.]
yegods has quit [Remote host closed the connection]
yegods has joined #ocaml
yegods has quit [Remote host closed the connection]
yegods has joined #ocaml
yegods has quit [Remote host closed the connection]
yegods has joined #ocaml
yegods has quit [Remote host closed the connection]
yegods has joined #ocaml
yegods has quit [Remote host closed the connection]
yegods has joined #ocaml
yegods has quit [Remote host closed the connection]
yegods has joined #ocaml
Algebr2 has quit [Ping timeout: 260 seconds]
yegods has quit [Remote host closed the connection]
yegods has joined #ocaml
nkhodyunya has joined #ocaml
nkhodyunya has quit [Client Quit]
yegods has quit [Remote host closed the connection]
f[x] has joined #ocaml
accname has joined #ocaml
yawnt has joined #ocaml
yawnt_ has joined #ocaml
slash^ has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 276 seconds]
tane has joined #ocaml
badon has quit [Read error: Connection reset by peer]
badon has joined #ocaml
bacam_ has joined #ocaml
jeroud_ has joined #ocaml
Algebr2 has joined #ocaml
jeroud has quit [Ping timeout: 240 seconds]
bacam has quit [Ping timeout: 240 seconds]
keteim has quit [Ping timeout: 240 seconds]
jeroud_ is now known as jeroud
keteim has joined #ocaml
yawnt_ has quit [Remote host closed the connection]
yawnt has quit [Remote host closed the connection]
Simn has joined #ocaml
Algebr2 has quit [Ping timeout: 252 seconds]
larhat has quit [Ping timeout: 248 seconds]
yegods has joined #ocaml
yegods has quit [Remote host closed the connection]
larhat has joined #ocaml
Algebr2 has joined #ocaml
Algebr2 has quit [Ping timeout: 250 seconds]
larhat1 has joined #ocaml
larhat has quit [Ping timeout: 256 seconds]
malc_ has joined #ocaml
yegods has joined #ocaml
raphaelss has joined #ocaml
malc_ has quit [Quit: leaving]
ak0s has joined #ocaml
ak0s has quit [Client Quit]
yawnt has joined #ocaml
larhat has joined #ocaml
larhat1 has quit [Ping timeout: 276 seconds]
BitPuffin|osx has quit [Ping timeout: 240 seconds]
Algebr2 has joined #ocaml
dksong has joined #ocaml
dksong has quit [Ping timeout: 272 seconds]
accname has quit [Ping timeout: 276 seconds]
Algebr2 has quit [Ping timeout: 240 seconds]
copy` has joined #ocaml
larhat has quit [Ping timeout: 250 seconds]
julien_t has joined #ocaml
larhat has joined #ocaml
larhat1 has joined #ocaml
darkf has quit [Quit: Leaving]
larhat has quit [Ping timeout: 240 seconds]
larhat1 has quit [Ping timeout: 272 seconds]
Simn has quit [Read error: Connection reset by peer]
raphaelss has quit [Ping timeout: 260 seconds]
dksong has joined #ocaml
dksong has quit [Client Quit]
accname has joined #ocaml
dksong has joined #ocaml
abbiya has quit [Remote host closed the connection]
dksong has quit [Client Quit]
dksong has joined #ocaml
dksong has quit [Client Quit]
dksong has joined #ocaml
dksong has quit [Client Quit]
dksong has joined #ocaml
dksong has quit [Client Quit]
Algebr2 has joined #ocaml
dksong has joined #ocaml
dksong has quit [Client Quit]
Algebr2 has quit [Ping timeout: 264 seconds]
<yawnt> mmm i'm feeling dumb.. question.. if I have a foo.mli with something like `type t ;; val o : t -> int` and foo.ml with `type t = int list;; val o l = List.length l`
<yawnt> and in the same folder I have a main.ml that does `open Foo;; Foo.o [1;2;3]` .. why is it wrong?
<yawnt> it says i'm passing a 'a list but it needs a Foo.t
shinnya has joined #ocaml
bacam_ is now known as bacam
tane has quit [Remote host closed the connection]
<reynir> That Foo.t is a list is hidden by the interface. You can add Foo.of_list : int list -> Foo.t to convert
<reynir> 'convert'
<reynir> Or you can expose what t is in foo.mli with 'type t = int list'
LoicBSD has joined #ocaml
dksong has joined #ocaml
Simn has joined #ocaml
<yawnt> makes sense
<yawnt> thanks :))
Kakadu has joined #ocaml
Haudegen has quit [Ping timeout: 248 seconds]
Algebr2 has joined #ocaml
sepp2k has joined #ocaml
julien_t has quit [Ping timeout: 240 seconds]
Haudegen has joined #ocaml
Algebr2 has quit [Ping timeout: 240 seconds]
f[x] has quit [Ping timeout: 250 seconds]
yegods has quit [Remote host closed the connection]
t4nk193 has joined #ocaml
sillyotter has joined #ocaml
sillyotter has quit [Client Quit]
antoniusprime has joined #ocaml
t4nk193 has quit [Client Quit]
rand__ has joined #ocaml
wolfcore has quit [Ping timeout: 240 seconds]
yegods has joined #ocaml
lobo has joined #ocaml
antoniusprime has left #ocaml ["ERC (IRC client for Emacs 24.5.1)"]
wolfcore has joined #ocaml
wolfcore has quit [Ping timeout: 240 seconds]
kansi has joined #ocaml
<kansi> hi, trying to execute "opam depext" but it gives "internal error, uncaught exception". any hints on how fix this
Sorella has joined #ocaml
kansi60 has joined #ocaml
wolfcore has joined #ocaml
kansi has quit [Ping timeout: 276 seconds]
accname has quit [Ping timeout: 250 seconds]
kansi60 has quit [Remote host closed the connection]
kansi60 has joined #ocaml
kansi60 has left #ocaml [#ocaml]
kansi has joined #ocaml
Algebr2 has joined #ocaml
Algebr2 has quit [Ping timeout: 240 seconds]
kansi has quit [Ping timeout: 250 seconds]
dhil has joined #ocaml
lokien_ has joined #ocaml
kansi has joined #ocaml
The_Mad_Pirate has quit [Excess Flood]
The_Mad_Pirate has joined #ocaml
raphaelss has joined #ocaml
malc_ has joined #ocaml
vbmithr has joined #ocaml
raphaelss has quit [Ping timeout: 240 seconds]
orbifx has joined #ocaml
erbse has joined #ocaml
erbse has left #ocaml [#ocaml]
dksong has quit [Quit: Leaving.]
pierpa has joined #ocaml
Algebr2 has joined #ocaml
theblatte has joined #ocaml
theblatt1 has quit [Ping timeout: 264 seconds]
Algebr2 has quit [Ping timeout: 250 seconds]
mxv has joined #ocaml
mxv has quit [Ping timeout: 240 seconds]
accname has joined #ocaml
tane has joined #ocaml
Algebr2 has joined #ocaml
Algebr2 has quit [Ping timeout: 276 seconds]
sepp2k has quit [Ping timeout: 248 seconds]
mxv has joined #ocaml
Kakadu has quit [Quit: Page closed]
crass has joined #ocaml
sepp2k has joined #ocaml
struk|desk|away is now known as struk|desk
mxv has quit [Ping timeout: 260 seconds]
lokien_ has quit [Quit: Connection closed for inactivity]
nkhodyunya has joined #ocaml
orbifx has quit [Ping timeout: 248 seconds]
mxv has joined #ocaml
LoicBSD has left #ocaml ["Leaving"]
Algebr2 has joined #ocaml
Kakadu has joined #ocaml
Algebr2 has quit [Ping timeout: 240 seconds]
struk|desk is now known as struk|desk|away
struk|desk|away is now known as struk|desk
NingaLeaf has joined #ocaml
ggole has joined #ocaml
aantron has quit [Remote host closed the connection]
struk|desk is now known as struk|desk|away
mxv has quit [Ping timeout: 240 seconds]
MercurialAlchemi has joined #ocaml
accname has quit [Ping timeout: 240 seconds]
Algebr2 has joined #ocaml
aantron has joined #ocaml
Algebr2 has quit [Ping timeout: 240 seconds]
struk|desk|away is now known as struk|desk
lokien_ has joined #ocaml
jtmcf_ has quit [Quit: leaving]
hcarty has joined #ocaml
Algebr2 has joined #ocaml
Algebr2 has quit [Remote host closed the connection]
Algebr2 has joined #ocaml
jp has joined #ocaml
<jp> noob question: on http://try.ocamlpro.com I'm trying: `let rec factorial n = if n = 1 then n else (factorial n-1)*n;;` and then `factorial 3`, but i get `Stack overflow during evaluation (looping recursion?)
<aantron> jp: you are doing (factorial n) - 1
troydm has joined #ocaml
<aantron> you need to write factorial (n - 1)
<jp> aantron: thank you!
malc_ has quit [Quit: leaving]
aantron has quit [Ping timeout: 256 seconds]
aantron_ has joined #ocaml
hcarty has quit [Quit: WeeChat 1.4]
jp has quit [Remote host closed the connection]
darkf has joined #ocaml
<struk|desk> good ol' computationally intractable factorial
lokien has joined #ocaml
accname has joined #ocaml
Haudegen has quit [Ping timeout: 250 seconds]
ap305 has joined #ocaml
nuuit has quit [Ping timeout: 252 seconds]
ril has joined #ocaml
ril has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
<lokien> how to turn a string into a list with every letter as an element in that list?
<lokien> "hello" -> ['h';'e';'l';'l';'o']
ril has joined #ocaml
Haudegen has joined #ocaml
<flux> lokien, use a function from an extended standard library (ie. Batteries, Containers, or Core) or write your own
<flux> lokien, 'explode' is a common name chosen for this operation, but I guess it could also be called something like list_of_string
<lokien> flux: explode? :D
<flux> it is a historic name :). I think SML had that, maybe, and it probably got the name from somewhere else..
<lokien> flux: I'm using core, but I can't find it anywhere
ap305 has quit [Remote host closed the connection]
<flux> lokien, maybe grep 'string -> char list' $(ocamlfind query core)/*.mli ?
<flux> didn't work for me, though.. :)
<aantron_> whats that website that lets you find a function by signature?
<lokien> "The functions explode and implode were in older versions of Caml, but we omitted them from OCaml because they encourage inefficient code" :(
<lokien> flux: that's too advanced for me, sadly :D
<flux> ocamloscope needs to brush its SEO :)
<aantron_> yeah :)
<aantron_> looks like batteries has a few
<flux> I'm guessing ocamloscope doesn't know about jane street core
<flux> hmm, no, it does
<flux> can it be core doesn't have this?
<aantron_> perhaps not. ive usually written my own
<lokien> maybe they don't want "inefficient code" in there
<Algebr2> wow, I can't believe this tool
ap305 has joined #ocaml
aphprentice has quit [Quit: Connection closed for inactivity]
copy` has quit [Quit: Connection closed for inactivity]
<struk|desk> I have to write an RNG from scratch in a scripting language.. I'm pretty sure ocaml is a scripting language..by some interpretation....
<lokien> you don't have to declare types every time = scripting
<lokien> I'm sure :)
aantron_ has left #ocaml ["Leaving..."]
aantron_ has joined #ocaml
<struk|desk> works for me
mxv has joined #ocaml
teknozulu has joined #ocaml
copy` has joined #ocaml
djellemah_ has joined #ocaml
<teknozulu> Hey. I have a module with the following: http://pastebin.com/CSbZEqSX . Is there a way I can determine "input" and "output" from f programmatically?
<teknozulu> feels silly passing them to create explicitly :/
<zozozo> teknozulu: what do you mean, determine input and output from f ?
<struk|desk> teknozulu: ppx or camlp4 generates bindings to functions like that, typically, with functors
<teknozulu> sorry, let me elaborate more
<teknozulu> say f is int -> unit, I'd like to be able to automatically set input and output to Int.bin_t and Unit.bin_t
<teknozulu> struk|desk: hmm
<struk|desk> but maybe there is some functorization approach to your issue? I gotta step away, but think along those lines perhaps
zoobab_ has quit [Ping timeout: 250 seconds]
ggole has quit []
abbrnotfound has joined #ocaml
<abbrnotfound> Hi everyone, complete beginner here. I just installed a module using opam, how do I open it in the toplevel?
<aantron_> typically #require "foo";;
<aantron_> however if this doesnt work
<struk|desk> ^^ this
zoobab has joined #ocaml
<abbrnotfound> I get an "unknown directive require" message
<aantron_> you need to open your ~/.ocamlinit file and add this:
<aantron_> let () =
<aantron_> try Topdirs.dir_directory (Sys.getenv "OCAML_TOPLEVEL_PATH")
<aantron_> with Not_found -> ()
<aantron_> ;;
<aantron_> #use "topfind";;
<abbrnotfound> Thanks aantron_!
lokien_ has quit [Quit: Connection closed for inactivity]
djellemah_ has quit [Quit: Leaving]
ril has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
struk|desk is now known as struk|desk|away
<lokien> what's the state of shared libraries in ocaml?
<flux> the closest you can get is dynloading packed modules
<flux> but it's not really automatic or something anyone does :)
ril has joined #ocaml
<flux> (except for the purpose of dynamically loading code at runtime..)
<lokien> thanks flux
mxv has quit [Ping timeout: 272 seconds]
ril has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
aantron_ has quit [Remote host closed the connection]
yegods has quit [Remote host closed the connection]
yegods has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
yegods has quit [Ping timeout: 240 seconds]
yegods has joined #ocaml
ollehar has joined #ocaml
lokien has quit [Remote host closed the connection]
<abbrnotfound> Hi again, I can "#require osc" in the toplevel but cannot "require osc.lwt". Any ideas why ? (after installing osc through opam)
infinity0 has quit [Ping timeout: 248 seconds]
<Algebr2> you mean #require "osc.lwt";; right
<abbrnotfound> Algebr2: yup
<Algebr2> odd, its opam says depends: oasis & ocplib-endian & ounit & rresult, so it doesn't even depend on lwt
<Algebr2> but it does have depopts: lwt
<abbrnotfound> Algebr2: OK, gotcha. I had to install explicitly lwt through opam; this triggered a rebuild of osc
infinity0 has joined #ocaml
The_Mad_Pirate has quit [Read error: Connection reset by peer]
infinity0 has quit [Remote host closed the connection]
The_Mad_Pirate has joined #ocaml
infinity0 has joined #ocaml
crass has quit [Remote host closed the connection]
M-Illandan has quit [Quit: node-irc says goodbye]
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
crass has joined #ocaml
dsheets has joined #ocaml
kansi has quit [Ping timeout: 272 seconds]
ollehar has quit [Quit: ollehar]
MercurialAlchemi has quit [Ping timeout: 272 seconds]
dsheets has quit [Remote host closed the connection]
f[x] has joined #ocaml
Jane-PC has joined #ocaml
crass has quit [Remote host closed the connection]
<abbrnotfound> OK, still more beginner woes: given that my _oasis file references osc, osc.unix and unix as BuildDependencies, how come I have a linker failure (undefined global `Unix')?
Thooms has joined #ocaml
teknozulu has quit [Ping timeout: 256 seconds]
Jane-PC has quit [Quit: Leaving]
<Guest22936> talking of which, how do people feel about depopts like that? sometimes I feel it would be easier to make lwt a required dependency
Guest22936 is now known as johnelse
<abbrnotfound> Hi johnelse
<johnelse> hi :)
<abbrnotfound> Any help for a beginner struggling to link a program with osc.unix ? :)
<abbrnotfound> I get a linker error (build managed by oasis, BuildDependencies on osc, osc.unix, unix)
<abbrnotfound> Error: Error while linking /home/romain/.opam/system/lib/osc/osc_unix.cma(Osc_unix):
<abbrnotfound> Reference to undefined global `Unix'
jzacsh_ has joined #ocaml
<johnelse> hmm, strange - I wonder if osc.unix should depend on unix itself
<johnelse> lemme try writing a program that uses it
<abbrnotfound> I put the code in a pastebin if needed - http://pastebin.com/ELL1VLY3
<johnelse> your code looks fine, and I'm seeing the same problem you have
<flux> maybe it the dependencies should list unix first?
<abbrnotfound> flux: I tried it -- same error
<johnelse> yeah, I've added unix to the osc.unix dependencies and it's working now
<johnelse> I'll make an update
<abbrnotfound> johnelse: great, thanks!
<abbrnotfound> Should I use lwt in preference to unix generally?
<johnelse> "opam pin add osc git://github.com/johnelse/ocaml-osc#depend-on-unix" should work until the update gets into the main opam repo
<johnelse> that's a good question :) programming with lwt is quite intrusive, so you basically have to use it everywhere or not at all
<abbrnotfound> it works now, thanks again!
<abbrnotfound> johnelse: what are the lwt pros/cons? It's an event loop, correct?
<johnelse> yeah - the main pro is that lwt threads use much less memory than full unix threads
<johnelse> if you've got loads of things going on concurrently then lwt is worthwhile
orbifx has joined #ocaml
<orbifx> M
<orbifx> mrvn, toolslive: FYI found this http://stackoverflow.com/a/16563145
lobo has quit [Quit: leaving]
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
Simn has quit [Quit: Leaving]
_berke_` has joined #ocaml
_berke_` has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
Algebr2 has quit [Ping timeout: 256 seconds]
nkhodyunya has quit [Quit: Leaving.]
accname has quit [Ping timeout: 260 seconds]
The_Mad_Pirate has quit [Excess Flood]
The_Mad_Pirate has joined #ocaml
abbrnotfound has quit [Quit: leaving]
Algebr2 has joined #ocaml
dhil has quit [Ping timeout: 240 seconds]
sepp2k has quit [Quit: Leaving.]
rand__ has quit [Read error: Connection reset by peer]
orbifx2 has joined #ocaml
infinity0 has quit [Ping timeout: 240 seconds]