03:49 <everyonemines> I see Alice above F# on TIOBE...do people actually use it now?

07:29 <rgrinberg> say i wanted to implement a toy object oriented language in ocaml (think smalltalk or a subset of ruby) what are some resources/best practices i should look at?

07:29 <rgrinberg> most I've done is a subset of scheme before

07:42 <_habnabit> rgrinberg, well, if you're familiar with language implementation in general, what trouble are you having here

07:43 <_habnabit> rgrinberg, 'object oriented' means exactly nothing, anyway

10:52 <rgrinberg> _habnabit: the biggest problem for me i would say would to be write the parser. With scheme it was a litle too easy for me i did not use lex or yacc but i want to learn so that i know the best practices. I just mentioned object orientation because i want it to be slightly more complex than scheme with only sexps or BASIC with statements/expressions. Should make it a little more fun

11:28 <mfp> rgrinberg: have you seen http://andrej.com/plzoo/ ?

11:30 <mfp> rgrinberg: in particular the boa language; you can take a look at its lexer.mll + parser.mly if you are stuck with the parser

12:47 <rgrinberg> mfp: thanks a lot! this seems exactly what i need.

16:28 <turingtest> I just installed the latest ocaml version on OS X (10.6) using godi, after wiping out last year's install. But not I cannot build my code, getting "Error: Unbound value int_of_sexp" errors.

16:28 <turingtest> Has anyone seen anything that might explain where to look for a fix?

16:41 <avsm> turingtest: you need to 'open Sexplib.Std' in the latest versio

16:41 <turingtest> Hmm...will try now

16:41 <turingtest> bingo!

16:42 <avsm> Level 2 achieved!

16:42 <turingtest> By the by, where should I have looked for this new information?

16:42 <turingtest> (besides this IRC channel)

16:45 <turingtest> Hmmm "grep -r Std ." on the sexplib-7.0.4 package does not even reveal anything to hint at this. Sigh.

17:30 <ousado> avsm: hello from a stranger who is very impressed by the scope and awesomeness of your projects, especially mirage (and thinks you might want to consider using ATS for parts of it)

17:36 <avsm> ousado: thanks. and yes, the eventual plan is to support quite a few languages in addition to OCaml

17:40 <ousado> avsm: cool, I see. I'm mentioning it because it supports linear types

17:42 <avsm> yeah. unfortunately it also features a cornucopia of dependent types, that make it much more complex

17:42 <ousado> heh, yes

17:43 <ousado> the author, Hongwei Xi at linear ML and stumbled upon mirage along that way, too

17:44 <ousado> *looked at

17:45 <ousado> I thought ATS would be especially well suited for the low-level stuff that's mostly C at the moment.

20:18 <Associat0r> Vote to make sure new FPLs don’t get relegated into 1-trick pony land http://twitter.com/#!/Associat0r/status/127509297876836352

20:18 <Associat0r> doesn’t require login