mcclurmc_ has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
Muzer has joined #ocaml
<dmbaturin>
kotee: Well, true; what I was confused about was theoretical interpretation.
regnat has joined #ocaml
Yoric has quit [Remote host closed the connection]
NSA360 has joined #ocaml
asakim has joined #ocaml
rgrinberg has quit [Ping timeout: 264 seconds]
rgrinberg has joined #ocaml
<Tekk_>
Has anyone made games in ocaml before? Working on a relatively small one to go with my sdl binding but I'm not quite sure what the best way to organize it would be.
<Tekk_>
mainly as far as either using objects or doing something like a tuple of the module and M.t
<Tekk_>
but I'm sure there's other stuff I'm not forseeing yet too
osa1 has joined #ocaml
<osa1>
hi all, OCaml noob here. is there a way to express this Haskell function in OCaml: `let x = \(a :: forall a. a -> a) -> (a True, a 1)` ?
<Drup>
yes, but it's annoying.
<Drup>
you have to go through a record
<Drup>
type id = { id : 'a . 'a -> 'a } ;;
<Drup>
let f g = (g.id true, g.id 1) ;;
Muzer has quit [Ping timeout: 264 seconds]
madroach has quit [Ping timeout: 264 seconds]
<osa1>
interesting, are there any theoretical problems that prevents lambda expressions with explicitly specified polymorphic arguments from working?
madroach has joined #ocaml
NoNNaN has quit [Remote host closed the connection]
jonludlam has quit [Quit: Coyote finally caught me]
jao has joined #ocaml
Muzer has joined #ocaml
seggy is now known as segmond
asakim has quit [Remote host closed the connection]
asakim has joined #ocaml
osa1_ has joined #ocaml
osa1 has quit [Ping timeout: 244 seconds]
nullcat has joined #ocaml
AltGr has joined #ocaml
NSA360 has quit [Quit: Leaving]
pyon has quit [Ping timeout: 252 seconds]
rgrinberg1 has joined #ocaml
rgrinberg has quit [Ping timeout: 255 seconds]
nullcat has quit [Read error: Connection reset by peer]
demonimin_ has joined #ocaml
pyx has joined #ocaml
pyx has quit [Client Quit]
demonimin has quit [Ping timeout: 245 seconds]
raphaelss has joined #ocaml
antegallya has quit [Ping timeout: 264 seconds]
asakim has quit [Remote host closed the connection]
<seliopou>
might be overkill for our initial prototyping tho
mengu has joined #ocaml
Thooms has quit [Quit: WeeChat 1.0.1]
darkf has quit [Quit: Leaving]
osa1_ has left #ocaml ["Konversation terminated!"]
Sim_n has quit [Read error: Network is unreachable]
Sim_n has joined #ocaml
larhat has quit [Quit: Leaving.]
MercurialAlchemi has quit [Ping timeout: 252 seconds]
nojb has quit [Quit: nojb]
Sim_n has quit [Read error: Network is unreachable]
Sim_n has joined #ocaml
jonludlam has quit [Ping timeout: 245 seconds]
<chinglish>
hehe
thomasga has joined #ocaml
ollehar has quit [Ping timeout: 245 seconds]
axiles has quit [Quit: Quitte]
kapil__ has quit [Quit: Connection closed for inactivity]
rgrinberg has joined #ocaml
antegallya has quit [Quit: Leaving.]
MercurialAlchemi has joined #ocaml
vanila has quit [Quit: Leaving]
mengu has quit [Remote host closed the connection]
samrat has quit [Ping timeout: 240 seconds]
samrat has joined #ocaml
jonludlam has joined #ocaml
pyon has quit [Quit: stupid emacs]
pyon has joined #ocaml
badkins has quit [Ping timeout: 245 seconds]
jao has joined #ocaml
smondet has quit [Ping timeout: 244 seconds]
igstan has joined #ocaml
smondet has joined #ocaml
struk|work has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
pyon has quit [Ping timeout: 256 seconds]
nojb has joined #ocaml
inr__ has joined #ocaml
Sim_n is now known as Simn
inr_ has quit [Ping timeout: 264 seconds]
rgrinberg has joined #ocaml
demonimin has joined #ocaml
badkins has joined #ocaml
demonimin_ has quit [Ping timeout: 244 seconds]
pyon has joined #ocaml
slash^ has joined #ocaml
ebzzry has quit [Ping timeout: 252 seconds]
ebzzry has joined #ocaml
struktured_ has quit [Quit: No Ping reply in 180 seconds.]
struktured has joined #ocaml
jwatzman|work has joined #ocaml
pyon has quit [Ping timeout: 245 seconds]
planetlarg has joined #ocaml
planetlarg has quit [Client Quit]
Submarine has joined #ocaml
Submarine has joined #ocaml
dsheets__ has quit [Ping timeout: 255 seconds]
nojb has quit [Quit: nojb]
Haudegen has quit [Ping timeout: 252 seconds]
Haudegen has joined #ocaml
igstan has quit [Quit: igstan]
WraithM has joined #ocaml
moei has quit [Quit: Leaving...]
nojb has joined #ocaml
matason has quit [Ping timeout: 245 seconds]
uris77 has quit [Quit: leaving]
q66 has joined #ocaml
voglerr1 has quit [Ping timeout: 265 seconds]
MrScout_ has joined #ocaml
pyon has joined #ocaml
MrScout has joined #ocaml
manizzle has quit [Ping timeout: 255 seconds]
pyon has quit [Ping timeout: 256 seconds]
MrScout_ has quit [Ping timeout: 265 seconds]
kakadu has joined #ocaml
Arsenik has quit [Remote host closed the connection]
pyon has joined #ocaml
jbalint has quit [Ping timeout: 240 seconds]
<seliopou>
avsm, dbp just looked into the two libraries
<avsm>
what's the verdict, doc?
<dbp>
avsm, to be honest, both are somewhat less than what we'd hoped for
<dbp>
the only-ec2 one (moonlight) really covers almost nothing...
struktured has quit [Quit: No Ping reply in 180 seconds.]
<dbp>
you can start and kill instances, but that's about it
samrat has quit [Ping timeout: 245 seconds]
<dbp>
no way to get much info about the instances, etc.
<dbp>
the other covers a little more, but it's pretty out of date (only has last generation instance types, as a tiny example)
<avsm>
yeah, the full one is a bit epic. The only really sustainable way to keepup is code generation
struktured has joined #ocaml
Unhammer has quit [Remote host closed the connection]
<avsm>
hacking the haskell one to generate OCaml code wouldn't be too bad, since that could be a package that is then used from pure OCaml
AlexRussia has quit [Ping timeout: 265 seconds]
<dbp>
avsm: yeah, that's the conclusion we've been coming to.
samrat has joined #ocaml
Unhammer has joined #ocaml
<avsm>
I'd be most interested in testing one of those — need a few hundred VMs spun up and down for bulk builds these days: http://www.recoil.org/~avsm/opam-bulk/
<avsm>
dbp: it's an age old trick for hyper complex APIs. we autogenerated the Xen ones in the early days to make them look suitably impressive as well :) AWS is genuinely quite a large set of services these days though.
AlexRussia has joined #ocaml
travisbrady has quit [Quit: travisbrady]
manizzle has joined #ocaml
MrScout has quit [Remote host closed the connection]
MrScout has joined #ocaml
MrScout has joined #ocaml
demonimin has quit [Remote host closed the connection]
hekmek has quit [Quit: Verlassend]
demonimin has joined #ocaml
araujo has joined #ocaml
araujo has joined #ocaml
enitiz has quit [Ping timeout: 264 seconds]
voglerr1 has joined #ocaml
govg has quit [Ping timeout: 245 seconds]
avsm has quit [Quit: Leaving.]
dsheets__ has joined #ocaml
dsheets__ is now known as dsheets
chinglish has quit [Quit: Nettalk6 - www.ntalk.de]
Thooms has joined #ocaml
mengu has joined #ocaml
samrat has quit [Ping timeout: 265 seconds]
ingsoc1 has quit [Quit: Leaving.]
ggole has quit [Ping timeout: 240 seconds]
mekaj has quit [Ping timeout: 272 seconds]
ggole has joined #ocaml
_habnabit has quit [Ping timeout: 272 seconds]
<struk|work>
hey does anyone know if github user hcarty lurks in #ocaml?
slash^ has quit [Read error: Connection reset by peer]
<struk|work>
whitequark: tx
mawuli has joined #ocaml
endiruna has joined #ocaml
travisbrady has joined #ocaml
_andre has quit [Quit: leaving]
travisbrady has quit [Client Quit]
travisbrady has joined #ocaml
axiles has joined #ocaml
Thooms has quit [Quit: WeeChat 1.0.1]
<endiruna>
hi is there an option to compile with the most optimizations possible? like gcc -Ofast
Thooms has joined #ocaml
jgjl has joined #ocaml
<whitequark>
optimizations, no
<whitequark>
they're all enabled by default in ocamlopt anyway
<endiruna>
thanks!
Thooms has quit [Client Quit]
Thooms has joined #ocaml
jgjl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
Hannibal_Smith has joined #ocaml
c74d has quit [Remote host closed the connection]
mbac has joined #ocaml
Simn has quit [Read error: Network is unreachable]
MrScout has quit [Read error: Network is unreachable]
Simn has joined #ocaml
jwatzman|work has quit [Read error: Connection reset by peer]
ente has quit [Read error: Connection reset by peer]
MrScout has joined #ocaml
jwatzman|work has joined #ocaml
fraggle_ has quit [Ping timeout: 265 seconds]
dch has quit [Read error: Connection reset by peer]
icicled has quit [Ping timeout: 265 seconds]
n1ftyn8 has quit [Read error: Connection reset by peer]
leifw has quit [Read error: Connection reset by peer]
cojy has quit [Write error: Connection reset by peer]
lopex has quit [Write error: Connection reset by peer]
struktured has quit [Quit: No Ping reply in 180 seconds.]
dch has joined #ocaml
c74d has joined #ocaml
msch has quit [Ping timeout: 244 seconds]
oskarth has quit [Ping timeout: 244 seconds]
segmond has quit [Ping timeout: 265 seconds]
hellome has quit [Remote host closed the connection]
regnat has quit [Ping timeout: 265 seconds]
rom1504 has quit [Ping timeout: 265 seconds]
Leonidas has quit [Ping timeout: 265 seconds]
bitbckt has quit [Ping timeout: 265 seconds]
rfv has quit [Ping timeout: 245 seconds]
n1ftyn8 has joined #ocaml
struktured has joined #ocaml
leifw has joined #ocaml
lopex has joined #ocaml
cojy has joined #ocaml
oskarth has joined #ocaml
msch has joined #ocaml
regnat has joined #ocaml
ente has joined #ocaml
ente has quit [Changing host]
ente has joined #ocaml
segmond has joined #ocaml
fraggle_ has joined #ocaml
c74d has quit [Remote host closed the connection]
bitbckt has joined #ocaml
ddosia has quit [Ping timeout: 244 seconds]
ddosia has joined #ocaml
thomasga has quit [Ping timeout: 244 seconds]
rom1504 has joined #ocaml
rfv has joined #ocaml
c74d has joined #ocaml
enquora has joined #ocaml
nojb has quit [Ping timeout: 256 seconds]
Leonidas has joined #ocaml
samrat has quit [Quit: Computer has gone to sleep.]
ggole has quit []
<vfoley>
Is there a mode that indents .mly files correctly? Tuareg gets confused very easily.
Haudegen has quit [Ping timeout: 244 seconds]
rgrinberg has quit [Quit: Leaving.]
Haudegen has joined #ocaml
abbe_ has joined #ocaml
abbe has quit [Disconnected by services]
abbe_ is now known as abbe
Averell- has joined #ocaml
averell has quit [*.net *.split]
<def`>
vfoley: ocp-indent
myyst has quit [Quit: Leaving]
myyst has joined #ocaml
<Drup>
not ocp-indent, unfortunatly
<Drup>
it doesn't handle .mly
<Drup>
vfoley: ^
<Drup>
well, you probably realized by trying.
<def`>
Oups, yes you're right, sorry
rgrinberg has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 264 seconds]
<vfoley>
Thanks guys
endiruna has quit [Ping timeout: 244 seconds]
thomasga has joined #ocaml
endiruna has joined #ocaml
badkins has quit []
WraithM_ has joined #ocaml
nojb has joined #ocaml
nojb has quit [Client Quit]
icicled has joined #ocaml
MrScout has quit [Ping timeout: 264 seconds]
MrScout has joined #ocaml
MrScout has quit [Read error: Connection reset by peer]
MrScout has joined #ocaml
nojb has joined #ocaml
mehdi_ has quit [Quit: No Ping reply in 180 seconds.]
mehdi_ has joined #ocaml
enquora has quit [Quit: enquora]
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #ocaml
sh1ken has quit [Quit: leaving]
sh1ken has joined #ocaml
jao has quit [Ping timeout: 240 seconds]
kakadu has quit [Remote host closed the connection]
bjorkintosh has quit [Ping timeout: 252 seconds]
dsheets has quit [Ping timeout: 264 seconds]
<endiruna>
i am trying to do the last function. i.e. giving the last element in a list. also wanted to print it. the implementation i saw online uses as the output the option data type and it can not be printed with printf. here is the snippet: http://ideone.com/uU6Gve
nojb has quit [Quit: nojb]
<endiruna>
so the problem might be that i define the list b with integers and not with Some x. but is it possible to implement it in int list but also having the [] covered?
ingsoc has joined #ocaml
badkins has joined #ocaml
dsheets has joined #ocaml
nojb has joined #ocaml
ingsoc has quit [Client Quit]
<companion_cube>
the problem is "let _ = Printf.printf ..."
<companion_cube>
also, (last b) will not have the good type
<companion_cube>
%d requires an int, and you have an int option
WraithM_ has quit [Ping timeout: 264 seconds]
WraithM_ has joined #ocaml
rand000 has quit [Quit: leaving]
<endiruna>
companion_cube: how should i change it to print it. i am new to ocaml so sorry if this is a trivial question
nojb has quit [Quit: nojb]
<lyxia>
endiruna: First pattern match on last b, when it's Some x, print x, otherwise do nothing (or print an appropriate message)
rgrinberg has quit [Quit: Leaving.]
nojb has joined #ocaml
zwer_h is now known as zwer
<companion_cube>
+1 for lyxia
nojb has quit [Ping timeout: 255 seconds]
<companion_cube>
printf "foo = %s" (match x with None -> "none" | Some y -> "some " ^ string_of_int y)