gildor changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.12.0 http://bit.ly/aNZBUp
Obfuscate has quit [Read error: Connection reset by peer]
Obfuscate has joined #ocaml
aklt has quit [Quit: "Peace"]
Edward has quit []
gnuvince has quit [Quit: ""]
mbac has joined #ocaml
erikc has joined #ocaml
CoryDambach has joined #ocaml
eldragon has quit [Ping timeout: 272 seconds]
boscop_ has joined #ocaml
boscop has quit [Ping timeout: 245 seconds]
CoryDambach has quit [Quit: Leaving]
eldragon has joined #ocaml
joewilliams_away is now known as joewilliams
mbac has quit [Ping timeout: 276 seconds]
mbac has joined #ocaml
mbac has quit [Ping timeout: 240 seconds]
mbac has joined #ocaml
joewilliams is now known as joewilliams_away
ManateeLazyCat has joined #ocaml
<ManateeLazyCat> How about "Jane Street" ? I receive interviews from this company.
<ManateeLazyCat> I'm haskell guy. :)
erikc has quit [Quit: WeeChat 0.3.2]
ikaros has joined #ocaml
<thelema> ManateeLazyCat: they're an interesting company that uses ocaml extensively.
<thelema> what exactly they do on wall street confuses me, but their software hasn't imploded their business yet, so they're doing something right
<ManateeLazyCat> thelema: I'm haskell programmer, is building my own Haskell OS : http://www.youtube.com/watch?v=weS6zys3U8k
<ManateeLazyCat> thelema: I receive mail from "Jane Street" today.
<ManateeLazyCat> :)
<thelema> really? why would you want an OS built in haskell?
<ManateeLazyCat> Safe, fast, and flexible
<ManateeLazyCat> thelema: You can watch my video , it's show some feature in my first version. :)
<thelema> sure, I'll watch it.
<ManateeLazyCat> thelema: Screenshot at http://goo.gl/MkVw and homepage at http://hackage.haskell.org/package/manatee
<thelema> As to jane street, they're in general a good company - I was interviewed by them.
<thelema> Probably the best interview I've had.
<thelema> (in terms of the quality of their questions for me)
<thelema> I was a bit disappointed that they didn't sit me at a computer, but they had really good questions.
<ManateeLazyCat> thelema: How about the question?
<ManateeLazyCat> thelema: Where they are most concerned about the problem?
<thelema> you mean - what questions did they ask me?
<ManateeLazyCat> thelema: Yeap, i think best to know "which is they need" before my interviews. :)
<ManateeLazyCat> thelema: I can do some work ready for interview.
<thelema> on the phone interviews, they asked a ton of different things, from algorithms to unix factoids to networking details
<thelema> in person, the parts I failed at were related to proving algorithm correctness and a tricky thing about functions of type ('a -> 'a)
<thelema> they picked a problem from projecteuler.org for me to implement
<ManateeLazyCat> thelema: Thanks, that's helpful. :)
<thelema> and the last interview was a lot about backing up data - ghost for imaging desktops and issues with rsync on really big filesystems
<thelema> all their in-person interviews were 2 on 1 - two employees interviewing one candidate.
<ManateeLazyCat> thelema: Don't know my ability whether suitable for they need.
<ManateeLazyCat> thelema: My most work on Integrated Environment.
<thelema> they seemed to be pointing me towards a position in their Tokyo office, but that must be filled by now.
<ManateeLazyCat> thelema: I perhaps goto Hong Kong since i'm Chinese. :)
<thelema> I can see them in need of a high quality IDE for ocaml, maybe in the form of improvements to tuareg, the ocamal emacs mode
<ManateeLazyCat> thelema: Yes, that's most power of my ability. :)
<thelema> I dunno if they have a HK office, just London, NY and Tokyo when I interviewed
<ManateeLazyCat> thelema: Yes, have HK
<ManateeLazyCat> thelema: My best ability is build development environment. :
<ManateeLazyCat> thelema: Look my EmacsWiki page : http://www.emacswiki.org/emacs/AndyStewart
<thelema> yes, lots of emacs goodness
<thelema> and definitely some skill at IDE development with manatee
<thelema> which also shows haskell skills, which transfer reasonably to ocaml
<thelema> they might retrain you to support their quants - you seem a high quality coder
<ManateeLazyCat> thelema: My new Haskell OS's aim is not build IDE like Emacs, is build "Integrated Lived Environment" for haskell hacking, of course it's include IDE and everything.
<ManateeLazyCat> thelema: Oh, i see....
<ManateeLazyCat> thelema: I don't know they need IDE programmer. :)
<thelema> you can learn about the company from this video: http://ocaml.janestreet.com/?q=node/82
<thelema> (the second one, "caml trading")
<ManateeLazyCat> thelema: Thanks, :)
<thelema> you're welcome - good luck on the interviews
<ManateeLazyCat> thelema: Thank you very much, it's really helpful. :)
ikaros has quit [Quit: Leave the magic to Houdini]
Snark has joined #ocaml
Yoric has joined #ocaml
ManateeLazyCat has left #ocaml []
Yoric has quit [Quit: Yoric]
ttamttam has joined #ocaml
mnabil has joined #ocaml
Yoric has joined #ocaml
_andre has joined #ocaml
ftrvxmtrx has quit [Quit: Leaving]
jonathandav has joined #ocaml
Yoric is now known as DRT
rwmjones has quit [Ping timeout: 245 seconds]
rwmjones has joined #ocaml
ftrvxmtrx has joined #ocaml
thomasga has joined #ocaml
sdj has joined #ocaml
avsm has joined #ocaml
ManateeLazyCat has joined #ocaml
ManateeLazyCat has quit [Remote host closed the connection]
Amorphous has quit [Ping timeout: 272 seconds]
Amorphous has joined #ocaml
DRT has quit [Quit: DRT]
Yoric has joined #ocaml
ManateeLazyCat has joined #ocaml
Yoric has quit [Quit: Yoric]
Yoric has joined #ocaml
ManateeLazyCat has left #ocaml []
sepp2k has joined #ocaml
lamawithonel has joined #ocaml
sdj has quit [Ping timeout: 264 seconds]
fraggle_laptop has joined #ocaml
joewilliams_away is now known as joewilliams
boscop_ is now known as boscop
mnabil has quit [Read error: Connection reset by peer]
Pepe_ has quit [Quit: leaving]
sgnb has joined #ocaml
Pepe_ has joined #ocaml
ikaros has joined #ocaml
maskd has quit [Read error: Operation timed out]
Modius has joined #ocaml
maskd has joined #ocaml
fraggle_laptop has quit [Remote host closed the connection]
avsm has quit [Ping timeout: 260 seconds]
init1 has joined #ocaml
Yoric has quit [Quit: Yoric]
lamawithonel_ has joined #ocaml
ftrvxmtrx has quit [Quit: Leaving]
lamawithonel has quit [Ping timeout: 255 seconds]
asmanur_ has joined #ocaml
asmanur has quit [Ping timeout: 250 seconds]
rixed__ has joined #ocaml
ttamttam has quit [Remote host closed the connection]
Modius has quit [Quit: "Object-oriented design" is an oxymoron]
ftrvxmtrx has joined #ocaml
Yoric has joined #ocaml
sepp2k has quit [Read error: Connection reset by peer]
<hcarty> Is this possible in some form with the new 3.12 features? http://codepad.org/7upmf8Da
<hcarty> It seems like it could be, but I haven't found a way to make it work
<albacker> does libjpeg exist in ocaml?
<adrien> albacker: see camlimages
<adrien> (iirc)
<hcarty> albacker: http://cristal.inria.fr/camlimages/eng.html -- there are two sites out there for camlimages, this one seems to be the more recent
<hcarty> adrien: I think you are correct
<adrien> I mostly remembered the build errors related to libtiff and assumed it also provided bindings to libjpeg :P
<albacker> iirc = ?
<adrien> if I remember correctly
<albacker> :)
<albacker> thanks
drunK has joined #ocaml
<albacker> the tarball doesnt want to get downloaded :) s
<albacker> server problems apparently.
<albacker> ftp://ftp.inria.fr/INRIA/Projects/cristal/caml-light/bazar-ocaml/camlimages-2.2.0.tgz
<adrien> works here
<adrien> need it to be rehosted?
<albacker> The connection has timed out
<albacker> :/
<albacker> Error 404
<ftrvxmtrx> :(
<albacker> it looks preety leftover i think :/
<adrien> notk.org/~adrien/camlimages-2.2.0.tgz
<ftrvxmtrx> there should be tar.gz instead of tgz
<hcarty> albacker: That's an old version
<albacker> works now :)
<albacker> thanks guys
<albacker> sorry for waking everyone up
sepp2k has joined #ocaml
<palomer> hcarty, why don't you use records?
<hcarty> albacker: It's the middle of the day for some of us :-)
<ftrvxmtrx> albacker, you may have troubles compiling it, though
<adrien> albacker: heh, not sleeping yet :-)
<hcarty> palomer: How do you mean? This is a simplified version of what I'm trying to wrap, but if records would help then I'm willing to try
<adrien> ftrvxmtrx: why?
<albacker> ftrvxmtrx: theres a makefile.
<ftrvxmtrx> last time I checked it, there were no ocaml.m4
<ftrvxmtrx> *was
<adrien> can't believe godi still has to patch some things
<adrien> camlimages would probably enjoy some love
<palomer> type 'u p = {f : 'a. 'a array -> 'u};;
<albacker> :)
<palomer> let apply f x =
<palomer> match x with
<palomer> | Int a -> f.f a
<palomer> | Float b -> f.f b ;;
<palomer> let length x = apply {f = Array.length} x;;
<hcarty> palomer: I was hoping this would help avoid that http://caml.inria.fr/pub/docs/manual-ocaml/manual021.html#toc79
<rixed__> adrien: camlimages upstream would probably enjoy some love also
<hcarty> But sadly, it seems that it does not. At least not how I'm trying to do it :-)
<hcarty> palomer: Thank you for the work-around though!
<palomer> erm, would avoid polymorphic type annotations?
<palomer> why would you want to avoid those?
<hcarty> palomer: Avoid needing records at all
<hcarty> to be able to use "let length x = apply Array.length x"
<palomer> records allow rank-n polymorphism
<palomer> polymorphic annotations allow polymorphic recursion
<hcarty> palomer: Ok, thank you for the explanation! I clearly need to read up on some definitions.
<palomer> no problem!
<palomer> btw, with the gadt branch you can do: type t = Embed : 'a array -> t
<flux> hmm.. so let apply type (f : 'a. 'a -> unit) x = match x with Int a -> f a | Float b -> f b doesn't work in 3.12 then?
<palomer> of course not
lamawithonel_ has quit [Ping timeout: 255 seconds]
<hcarty> flux: No, sadly not. I tried that before coming here :-)
<hcarty> flux: Particularly given that the manual has something VERY close to that as an example
lamawithonel_ has joined #ocaml
<hcarty> Or, rather, something which appears very close to that
<rixed__> Someone using Lwt ?
<rixed__> My program is killed with "Fatal error: exception Lwt.Canceled", does that ring a bell to someone ?
<diml> rixed__: which version are you using ? (this is a known bug in the 2.1.1 release)
<rixed__> Well, 2.1.1 from godi :)
<rixed__> and apparently the only patch godi have is for the DESTDIR of the makefile
<rixed__> diml: Thank you, Im going to try darcs latest.
ikaros has quit [Quit: Leave the magic to Houdini]
<hcarty> rixed__: What version of GODI are you using? I only see 2.1.0 in the OCaml 3.12 release packages
<hcarty> rixed__: Rather, what section of GODI packages are you using
<rixed__> hcarty: I have GODI_SECTION = 3.11
<hcarty> rixed__: Ah, ok. Thank you!
<palomer> flux, what's that type keyword doing there?
<flux> palomer, oh, it was a mistake
<flux> at one point I was thinking the new named type-feature of functions
<flux> but it didn't apply here
<rixed__> hcarty: maybe I should go for 3.12 if Lwt is more stable there. Because to access the darcs repo seams a little hard, considering my gentoo want to compile GHC first ;)
<palomer> yeah, the new type feature is for introducing a type constructor into the current scope
<palomer> it's pretty useless if you're not using first class modules
<hcarty> rixed__: It's actually one release behind (2.1.0 instead of 2.1.1)
<hcarty> rixed__: So it's probably no better
<hcarty> rixed__: I would like to try the latest release as well though - there are apparently some nice fixes to the lwt-ized toplevel in the latest darcs
<hcarty> s/latest release/latest code/
<julm> hey rixed__ are you the one who ported ocamlopt to mipsel/n32?
<rixed__> hcarty: so you recommend using latest code then ? It frightened me at first since they apparently changed the low level part (for libev). Will try to get it from anothermachine because there is no way I install GHC on this host.
<rixed__> julm: "ported" is such a big word. I just fixed the very old code that was already there
<julm> yep, thank you very much for that :)
<hcarty> rixed__: I haven't tried the latest, but it's on my TODO list.
<hcarty> rixed__: There were darcs binaries provided online at one point. I haven't used darcs in a long while though, so I don't know if they are still around.
<rixed__> hcarty: no pb I sshed to a debian box and aptitude installed darcs. Now it's downloading. :)
<rixed__> julm: BTW are you using ocaml on a mips box ?
<julm> rixed__: yep my netbook, yeeloong/loongson, a mips64el
<rixed__> julm: Ok, same as mine. Are you happy with it ? Any customization to recommand ?
<palomer> hcarty, come to think of it, it wouldn't be hard to support rank-2 polymorphism (which is what you're doing)
<julm> happy :) perhaps -march=loongson2f instead of -march=mips3
_andre has quit [Quit: leaving]
<julm> rixed__: that's how I configure ocaml : ./configure -cc "gcc -march=loongson2f -mabi=n32 -L/lib32 -L/usr/lib32 -L/usr/local/lib32" -aspp "gcc -march=loongson2f -mabi=n32 -c -fPIC"
ulfdoz has joined #ocaml
<hcarty> palomer: It wouldn't be hard to support rank-2 polymorphism with something currently in OCaml, or as a new feature?
<rixed__> julm: do you get dynlink support with this ? My best attempt for native dynlink support resulted in segfault :)
<albacker> having [1;2;3;3] and returning [(1,2);(2,1);(3,2)] (number, number of times in list). Can that be acheived using map, iter and fold_left?
<hcarty> thelema: Do you know if all of the Map modules in Batteries order elements the same way when calling the keys, values, map and fold functions?
thieusoai has joined #ocaml
<flux> albacker, number of times in sequence or number of times in general?
<hcarty> thelema: Each function using the elements from a given map in the same order
<julm> rixed__: never tried so far :s
<albacker> flux: in general.
<flux> albacker, well, an efficient solution would require using Map or Hashtbl as well
<flux> albacker, but in general List.fold_left is a decent tool for this
<albacker> ok thanks.
init1 has quit [Quit: Quitte]
mfp has quit [Ping timeout: 245 seconds]
<palomer> hcarty, as a new feature; I think everything we need is already there
ikaros has joined #ocaml
mfp has joined #ocaml
<rixed__> Ok with latest lwt my program works ! Thank you hcarty!
<hcarty> rixed__: Glad it works! diml is probably the one who deserves credit though :-)
<hcarty> rixed__: You're welcome for what little I contributed though
Edward has joined #ocaml
seafood has joined #ocaml
Snark has quit [Quit: Ex-Chat]
<rixed__> hcarty: thx for remembering me about diml, and thx to him of course.
<rixed__> Now the question is : how can I tell to findlib to prefer package in site-lib over those on pkg-lib ?
<flux> rixed__, perhaps findlib.conf can set this up. path="/blabla/site-lib:/foobar/pkg-lib" ?
<flux> (I haven't tried, just looked up findlib.conf (5))
coucou747 has quit [Ping timeout: 240 seconds]
<adrien> godi needs a standard way to use your own source package (just setting the download uri)
<flux> definitely
<flux> when everything works great, godi is nice. when it doesn't, it is annoying to fix. checksums etc..
<rixed__> flux: makes perfect sense. I though those path were hardcoded. Thx!
<flux> rixed__, ok. happy coding ;).
coucou747 has joined #ocaml
Yoric has quit [Quit: Yoric]
seafood has quit [Quit: seafood]
sepp2k has quit [Remote host closed the connection]
rixed__ has quit [Ping timeout: 260 seconds]
ikaros has quit [Quit: Leave the magic to Houdini]
diml has quit [Ping timeout: 272 seconds]
ulfdoz has quit [Ping timeout: 240 seconds]
Edward has quit [Ping timeout: 245 seconds]
palomer has quit [Quit: Leaving]