#ocaml on 2007-04-02 — irc logs at freenode.irclog.whitequark.org

2007-02-10 00:51 sponge45 changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/

00:06 Smerdyakov has joined #ocaml

00:34 magog has left #ocaml []

00:52 pstickne has joined #ocaml

01:03 mikeX has quit ["leaving"]

01:44 mbishop has quit ["Leaving"]

03:10 Z4rd0Z has joined #ocaml

03:10 Z4rd0Z_ has quit [Read error: 104 (Connection reset by peer)]

04:12 zarvok has joined #ocaml

04:20 slipstream has quit [Read error: 60 (Operation timed out)]

04:35 jer has quit [Read error: 131 (Connection reset by peer)]

04:36 jer has joined #ocaml

04:37 slipstream has joined #ocaml

04:43 Smerdyakov has quit ["Leaving"]

04:44 joshcryer has joined #ocaml

05:30 zarvok has quit ["BitchX-1.1-final -- just do it."]

05:47 diffbavis has quit [Read error: 54 (Connection reset by peer)]

06:02 diffbavis has joined #ocaml

06:07 Z4rd0Z has quit []

06:23 <pango> jer: http://web.archive.org/web/20031210112937/http://www.neo-rousseaux.org/cgillot/en/ocamlhacks.html

06:26 <pango> that's just one step forward, the tar.gz is not available...:/

06:28 <tsuyoshi> isn't there an arm emulator somewhere that people use for cross compiling

06:29 <pango> you could also try emailing christian gillot...

06:39 benny_ has joined #ocaml

06:47 benny has quit [Read error: 60 (Operation timed out)]

06:47 smimou has joined #ocaml

06:48 mbishop has joined #ocaml

06:51 diffbavis has left #ocaml []

06:58 pstickne is now known as pstickne_

07:02 dark_light has quit [Remote closed the connection]

07:09 Mr_Awesome has quit ["...and the Awesome level drops"]

07:16 flux has joined #ocaml

07:16 flux- has quit [Read error: 104 (Connection reset by peer)]

07:16 Hadaka has quit [zelazny.freenode.net irc.freenode.net]

07:16 oscarh has quit [zelazny.freenode.net irc.freenode.net]

07:18 Hadaka has joined #ocaml

07:18 oscarh has joined #ocaml

07:32 Submarine has quit ["Leaving"]

07:42 smimou has quit ["bli"]

07:52 jlouis has quit [Remote closed the connection]

08:12 love-pingoo has joined #ocaml

09:16 ikaros_ has joined #ocaml

09:55 eradman has quit [Remote closed the connection]

10:01 mbishop has quit [Read error: 113 (No route to host)]

10:07 mbishop has joined #ocaml

10:30 malc_ has joined #ocaml

10:33 eradman has joined #ocaml

10:45 <fremo> vorago: I figured out that I have to transform my instruction tree into a instruction list to be able to suspend the execution...

10:46 <fremo> a step further to native compilation or the like... :)

11:14 mikeX has joined #ocaml

11:46 malc_ has quit ["leaving"]

11:59 <jer> pango, thanks, i'll look into that link

12:02 _JusSx_ has joined #ocaml

12:16 Z4rd0Z has joined #ocaml

12:33 eradman has quit [zelazny.freenode.net irc.freenode.net]

12:35 eradman has joined #ocaml

12:44 eradman has quit [zelazny.freenode.net irc.freenode.net]

13:04 eradman has joined #ocaml

13:40 eradman has quit [zelazny.freenode.net irc.freenode.net]

13:40 eradman has joined #ocaml

13:41 eradman has quit [Remote closed the connection]

13:48 eradman has joined #ocaml

14:39 Smerdyakov has joined #ocaml

14:44 cjeris has joined #ocaml

15:21 pango has quit [Remote closed the connection]

15:29 pango has joined #ocaml

15:34 love-pingoo has quit ["bite"]

15:54 Submarine has joined #ocaml

16:25 zarvok has joined #ocaml

16:55 postalchris has joined #ocaml

17:05 love-pingoo has joined #ocaml

17:05 zarvok has quit ["BitchX-1.1-final -- just do it."]

17:08 <flux> has anyone thought about interfacing ocaml with sml, sml with haskell, etc? it should be great as all the languages have a similar type system?

17:08 <flux> much more fruitful than attempting to interface with C ;-)

17:13 <tsuyoshi> how so?

17:13 <flux> it should be possible to deduce the interfacing code from the types, no?

17:14 <flux> whereas automated interfacing with C is an impossibility..

17:14 <love-pingoo> not always that simple

17:14 <love-pingoo> haskell might want type classes used from the bottom

17:14 <love-pingoo> ocaml might want polymorphic variants

17:14 <love-pingoo> etc

17:14 <flux> yes, but hasn't it been shown that type classes and ocaml modules are equivalent in expressive power

17:15 <flux> (or something)

17:15 <flux> there was a white paper on that

17:15 <flux> polymorphic variants might be more difficult

17:15 <flux> but atleast there would be more information for the interfacing-code generator to be used

17:16 <love-pingoo> flux: not that I know of

17:16 <love-pingoo> also, expressiveness isn't all: syntactic sugar matters, irl

17:16 <flux> yes. obviously you won't get type classes to ocaml by interfacing a haskell library.

17:17 <flux> and monads will be more difficult to use without a language extension

17:18 smimou has joined #ocaml

17:18 DJHARD^ has joined #ocaml

17:18 DJHARD^ changed the topic of #ocaml to: W HARDCORE MUSIC BY DJHARD

17:18 DJHARD^ has left #ocaml []

17:19 <flux> without investigating the matter, it would seem to me that for example the standard libraries of ocaml and sml could be accessed from each other, with a generated interface. or are there really so many deeply language-dependant features there?

17:25 bluestorm_ has joined #ocaml

17:30 <flux> atleast there is the Perl4Caml-thingy, although I haven't given it much (that is: any) use :-)

17:31 <flux> maybe I could consider it the next time I need something that's already around

17:33 gim has quit [Read error: 110 (Connection timed out)]

17:34 ppsmimou has quit [Read error: 110 (Connection timed out)]

17:37 <tsuyoshi> well.. I don't know much about haskell or sml

17:37 <tsuyoshi> but interfacing c with ocaml, the hardest part isn't converting types

17:37 <tsuyoshi> it's the garbage collection

17:37 <flux> what is?

17:37 <flux> hm, that's a good point

17:38 <flux> although I've done only a little interfacing but haven't found that to be a big problem

17:38 <flux> I was thinking of copying the stuff over boundaries, but I suppose that'll be expensive in certain cases, and maybe not even possible

17:38 <flux> also atleast ocaml provides nice set of tools for interfacing with the gc

17:38 <tsuyoshi> it's actually nice that ocaml doesn't have any runtime type detection

17:38 <flux> such as allocating custom blocks, setting block finalizers etc

17:39 <tsuyoshi> when I've interfaced c with scheme/perl it's been much more annoying

17:51 jlouis has joined #ocaml

18:20 mikeX_ has joined #ocaml

18:21 mikeX has quit [Nick collision from services.]

18:22 mikeX_ is now known as mikeX

18:25 zarvok has joined #ocaml

18:41 malc_ has joined #ocaml

19:12 Mr_Awesome has joined #ocaml

19:26 <pango> flux: I guess that's the point of VMs like .NET/Mono...

19:51 mnemonic has joined #ocaml

19:52 <mnemonic> hi

19:53 zarvok has quit ["BitchX-1.1-final -- just do it."]

20:09 cjeris changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/

20:18 slipstream-- has joined #ocaml

20:20 slipstream has quit [Read error: 60 (Operation timed out)]

20:24 Submarine has quit ["Leaving"]

20:42 slipstream has joined #ocaml

20:43 david_koontz has joined #ocaml

20:55 slipstream-- has quit [Read error: 110 (Connection timed out)]

20:56 ikaros_ has quit [Remote closed the connection]

21:04 Z4rd0Z has quit []

21:08 love-pingoo has quit ["Connection reset by pear"]

21:46 _JusSx_ has quit [Client Quit]

21:47 malc_ has quit ["Lost terminal"]

22:08 mnemonic has quit [zelazny.freenode.net irc.freenode.net]

22:08 oscarh has quit [zelazny.freenode.net irc.freenode.net]

22:08 Hadaka has quit [zelazny.freenode.net irc.freenode.net]

22:08 descender has quit [zelazny.freenode.net irc.freenode.net]

22:08 Oatmeat|umn has quit [zelazny.freenode.net irc.freenode.net]

22:08 bebui has quit [zelazny.freenode.net irc.freenode.net]

22:08 vorago has quit [zelazny.freenode.net irc.freenode.net]

22:08 oracle1 has quit [zelazny.freenode.net irc.freenode.net]

22:08 jdev has quit [zelazny.freenode.net irc.freenode.net]

22:08 mattam has quit [zelazny.freenode.net irc.freenode.net]

22:08 zmdkrbou has quit [zelazny.freenode.net irc.freenode.net]

22:08 david_koontz has quit [zelazny.freenode.net irc.freenode.net]

22:08 jer has quit [zelazny.freenode.net irc.freenode.net]

22:08 hcarty has quit [zelazny.freenode.net irc.freenode.net]

22:08 bluestorm_ has quit [zelazny.freenode.net irc.freenode.net]

22:08 Smerdyakov has quit [zelazny.freenode.net irc.freenode.net]

22:08 mbishop has quit [zelazny.freenode.net irc.freenode.net]

22:08 joshcryer has quit [zelazny.freenode.net irc.freenode.net]

22:08 a-priori_ has quit [zelazny.freenode.net irc.freenode.net]

22:08 gunark has quit [zelazny.freenode.net irc.freenode.net]

22:08 cmvjk has quit [zelazny.freenode.net irc.freenode.net]

22:08 tsuyoshi has quit [zelazny.freenode.net irc.freenode.net]

22:08 ulfdoz_ has quit [zelazny.freenode.net irc.freenode.net]

22:08 Amorphous has quit [zelazny.freenode.net irc.freenode.net]

22:08 delamon has quit [zelazny.freenode.net irc.freenode.net]

22:08 Mr_Awesome has quit [zelazny.freenode.net irc.freenode.net]

22:08 benny_ has quit [zelazny.freenode.net irc.freenode.net]

22:08 fremo has quit [zelazny.freenode.net irc.freenode.net]

22:08 danly_ has quit [zelazny.freenode.net irc.freenode.net]

22:08 jlouis has quit [zelazny.freenode.net irc.freenode.net]

22:08 cjeris has quit [zelazny.freenode.net irc.freenode.net]

22:08 flux has quit [zelazny.freenode.net irc.freenode.net]

22:08 zhllg has quit [zelazny.freenode.net irc.freenode.net]

22:08 ramki has quit [zelazny.freenode.net irc.freenode.net]

22:08 levi_home has quit [zelazny.freenode.net irc.freenode.net]

22:08 cmeme has quit [zelazny.freenode.net irc.freenode.net]

22:08 sourcerror has quit [zelazny.freenode.net irc.freenode.net]

22:08 haelix has quit [zelazny.freenode.net irc.freenode.net]

22:08 TaXules has quit [zelazny.freenode.net irc.freenode.net]

22:08 ozzloy has quit [zelazny.freenode.net irc.freenode.net]

22:08 pattern has quit [zelazny.freenode.net irc.freenode.net]

22:09 pattern has joined #ocaml

22:09 ulfdoz_ has joined #ocaml

22:09 delamon has joined #ocaml

22:09 Amorphous has joined #ocaml

22:09 Mr_Awesome has joined #ocaml

22:09 benny_ has joined #ocaml

22:09 fremo has joined #ocaml

22:09 danly_ has joined #ocaml

22:09 descender has joined #ocaml

22:09 Oatmeat|umn has joined #ocaml

22:09 bebui has joined #ocaml

22:09 vorago has joined #ocaml

22:09 mattam has joined #ocaml

22:09 zmdkrbou has joined #ocaml

22:09 jdev has joined #ocaml

22:09 oracle1 has joined #ocaml

22:09 mnemonic has joined #ocaml

22:09 Hadaka has joined #ocaml

22:09 oscarh has joined #ocaml

22:09 david_koontz has joined #ocaml

22:09 jer has joined #ocaml

22:09 hcarty has joined #ocaml

22:09 jlouis has joined #ocaml

22:09 cjeris has joined #ocaml

22:09 flux has joined #ocaml

22:09 zhllg has joined #ocaml

22:09 ramki has joined #ocaml

22:09 sourcerror has joined #ocaml

22:09 levi_home has joined #ocaml

22:09 TaXules has joined #ocaml

22:09 cmeme has joined #ocaml

22:09 ozzloy has joined #ocaml

22:09 haelix has joined #ocaml

22:10 bluestorm_ has joined #ocaml

22:10 Smerdyakov has joined #ocaml

22:10 mbishop has joined #ocaml

22:10 joshcryer has joined #ocaml

22:10 a-priori_ has joined #ocaml

22:10 gunark has joined #ocaml

22:10 cmvjk has joined #ocaml

22:10 tsuyoshi has joined #ocaml

22:11 bluestorm_ has quit ["Konversation terminated!"]

22:36 mnemonic has quit ["leaving"]

22:38 cjeris has quit [Read error: 104 (Connection reset by peer)]

22:57 smimou has quit ["bli"]