MrScout__ has quit [Read error: Connection reset by peer]
enitiz has quit [Ping timeout: 245 seconds]
chouser has quit [Ping timeout: 245 seconds]
zwer has quit [Remote host closed the connection]
zwer has joined #ocaml
psy_ has quit [Ping timeout: 245 seconds]
hto has joined #ocaml
hto has quit [Client Quit]
ygrek has quit [Ping timeout: 245 seconds]
MercurialAlchemi has joined #ocaml
MrScout has quit [Ping timeout: 246 seconds]
psy_ has joined #ocaml
psy_ has quit [Read error: Connection reset by peer]
psy_ has joined #ocaml
<nullcat>
don't know if it appropriate to ask here, but is there anyone who considered to get a PhD after undergraduate, or is already a PhD candidate, or is already a PhD ? I am considering to pursue a PhD in PL related field after graduation and I would like some advices. Thanks!
antkong has quit [Quit: antkong]
huza has joined #ocaml
ivan\ has quit [Read error: Connection reset by peer]
testcocoon has quit [Quit: Coyote finally caught me]
ivan\ has joined #ocaml
jneen is now known as jneen|zzz
testcocoon has joined #ocaml
AlexRussia has quit [Ping timeout: 272 seconds]
ygrek has joined #ocaml
waneck has quit [Ping timeout: 240 seconds]
cdidd has quit [Ping timeout: 276 seconds]
cdidd has joined #ocaml
struktured has quit [Ping timeout: 272 seconds]
pyon-k is now known as anger-issues
huza has quit [Quit: WeeChat 0.3.8]
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
psy_ has quit [Quit: Leaving]
chinglish has quit [Ping timeout: 265 seconds]
chinglish has joined #ocaml
ygrek has quit [Ping timeout: 256 seconds]
ygrek has joined #ocaml
nullcat has quit [Ping timeout: 246 seconds]
nullcat has joined #ocaml
BitPuffin has quit [Ping timeout: 240 seconds]
Simn has joined #ocaml
tane has joined #ocaml
dsheets has joined #ocaml
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
octachron has joined #ocaml
fraggle-boate has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
psy_ has joined #ocaml
reem has joined #ocaml
lordkryss has joined #ocaml
rgrinberg has joined #ocaml
ygrek has quit [Remote host closed the connection]
ygrek has joined #ocaml
yomimono has joined #ocaml
Haudegen has quit [Ping timeout: 255 seconds]
antkong has joined #ocaml
antkong has quit [Client Quit]
Haudegen has joined #ocaml
dsheets has quit [Ping timeout: 245 seconds]
badon has quit [Quit: Leaving]
ivan\ has quit [Remote host closed the connection]
ivan\ has joined #ocaml
yomimono has quit [Ping timeout: 240 seconds]
fraggle-boate has quit [Ping timeout: 264 seconds]
ollehar has joined #ocaml
iago has joined #ocaml
dsheets has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
chinglish has quit [Ping timeout: 246 seconds]
chinglish has joined #ocaml
Kakadu has joined #ocaml
Haudegen has quit [Ping timeout: 272 seconds]
thomasga has joined #ocaml
chinglish has quit [Ping timeout: 265 seconds]
marynate has joined #ocaml
avsm has joined #ocaml
chinglish has joined #ocaml
lopex has joined #ocaml
Haudegen has joined #ocaml
marynate has quit [Quit: Leaving]
Haudegen has quit [Ping timeout: 245 seconds]
badon has joined #ocaml
Haudegen has joined #ocaml
zwer_l has joined #ocaml
antkong has joined #ocaml
zwer has quit [Ping timeout: 250 seconds]
larhat has joined #ocaml
antkong has quit [Ping timeout: 264 seconds]
pdewacht has quit [Read error: error:1408F10B:SSL routines:SSL3_GET_RECORD:wrong version number]
mort___ has joined #ocaml
yomimono has joined #ocaml
ygrek has quit [Ping timeout: 276 seconds]
keen__________48 has joined #ocaml
keen__________47 has quit [Ping timeout: 256 seconds]
pdewacht has joined #ocaml
destrius has quit [Quit: Leaving.]
ingsoc has joined #ocaml
reem has quit [Remote host closed the connection]
BitPuffin has joined #ocaml
mingus has joined #ocaml
<mingus>
join haskell
mingus is now known as aubergines
<adrien_znc>
booouh!
_andre has joined #ocaml
myyst has quit [Ping timeout: 272 seconds]
myyst has joined #ocaml
oriba has joined #ocaml
<oriba>
what's the type of :: ??
<def`>
(::) is a value constructor, it doesn't really have a type
<def`>
but "x :: xs" has type "t list" when "x" has type "t" and "xs" has type "t list"
<oriba>
how can something not have a type in a typed functional language?
<def`>
it's not an expression
<def`>
only expression have types
<oriba>
I tried something like match foo with None -> () | Some bar -> bar :: !mylist
<oriba>
and got type error
<def`>
awesome. I got type errors sometimes too
<def`>
None -> []
<rks`>
get*
<def`>
[] is the empty list constructor
<oriba>
ah, yes, that should work
<oriba>
def`, yes, that works. I had thought that the operation "::" is unit. But elem :: !listref gives back a list directly...
<oriba>
thy def`
<oriba>
thx def`
<oriba>
too early in the morning ;-)
<def`>
oriba: yep, everything gives back a value, otherwise your list would go … nowhere :)
<def`>
(elem :: !listref creates a new list whose head is elem and tail is the current value of !listref)
<oriba>
I think I did often used it, wonder why I didn't saw it this morning
<oriba>
not enough sleep maybe
<oriba>
or just a bad day
<oriba>
def`, maybe I used it differently.... seperated elem :: listref , did it and later used !listref to give back the value.... and now I used them both in one statement
<def`>
!listref is only valid if listref is a reference, not a list. you can't mix both
<oriba>
yes
<oriba>
thats why I called it listref here ;-)
patronus_ has quit [Read error: Connection reset by peer]
patronus has joined #ocaml
dlat has joined #ocaml
Haudegen has quit [Ping timeout: 276 seconds]
Haudegen has joined #ocaml
thomasga has quit [Quit: Leaving.]
hellofunk has quit [Remote host closed the connection]
hellofunk has joined #ocaml
oriba has quit [Quit: oriba]
skinkitten has joined #ocaml
Kakadu has quit [Quit: Page closed]
Kakadu has joined #ocaml
ivan\ has quit [Read error: Connection reset by peer]
ivan\ has joined #ocaml
jabesed has joined #ocaml
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
avsm has quit [Ping timeout: 255 seconds]
thomasga has joined #ocaml
hellofunk has quit [Remote host closed the connection]
hellofunk has joined #ocaml
hellofunk has quit [Remote host closed the connection]
hellofunk has joined #ocaml
hellofunk has left #ocaml ["ERC Version 5.3 (IRC client for Emacs)"]
hellofunk has joined #ocaml
hellofunk has left #ocaml [#ocaml]
rand000 has joined #ocaml
hellofunk has joined #ocaml
ggole has joined #ocaml
enitiz has joined #ocaml
kapil__ has quit []
kapil__ has joined #ocaml
psy_ has quit [Quit: Leaving]
thomasga has quit [Quit: Leaving.]
BitPuffin has quit [Ping timeout: 264 seconds]
chouser has joined #ocaml
chinglish has quit [Ping timeout: 246 seconds]
chinglish has joined #ocaml
AltGr has left #ocaml [#ocaml]
chouser has quit [Quit: Leaving.]
vanila has joined #ocaml
enitiz has quit [Ping timeout: 265 seconds]
BitPuffin has joined #ocaml
iago has quit [Ping timeout: 255 seconds]
yminsky has joined #ocaml
yminsky has quit [Quit: yminsky]
Kakadu has quit [Ping timeout: 246 seconds]
Kakadu has joined #ocaml
matason has joined #ocaml
Remyzorg has joined #ocaml
<vanila>
can nacl be used in mirage?
<pippijn>
is there any chance ocaml will get type classes at some point?
<pippijn>
I would really like it for monads
<vanila>
i hope not D:
<pippijn>
vanila: why?
<vanila>
look how horribly they're abused in haskell
Hannibal_Smith has joined #ocaml
<vanila>
it's true they're really nice for monads
<pippijn>
I really just want a monad type class :)
<pippijn>
let open MyMonad in <- this is ok, but it would be nice if I didn't have to write that
<pippijn>
by the way, what is a nice way to map from one monad to another?
<pippijn>
M1 a -> M2 a
<flux>
there was this some automatic module choosing system patch around..
etehtsea has joined #ocaml
etehtsea has quit [Max SendQ exceeded]
<flux>
that could be applicaple to monads.
thomasga has joined #ocaml
<pippijn>
e.g. mapping from the Option monad to the Or_error monad
<pippijn>
or to the List monad
<pippijn>
especially to the Or_error monad, though
<pippijn>
(Result monad)
ivan\ has quit [Remote host closed the connection]
ivan\ has joined #ocaml
AlexRussia has joined #ocaml
badkins has joined #ocaml
enitiz has joined #ocaml
<vanila>
pippijn, what about using delimited continuations to write monad stuff in direct style?
<vanila>
like olegs randomness library
<vanila>
I guess this is orthogonal to the typeclass issue
<pippijn>
vanila: you mean >>=?
<vanila>
yeah so you never need to use >>=
<pippijn>
hmm
<pippijn>
where is that library?
<vanila>
I just like that more but I don't think it solves the issue you were actually talking about
<vanila>
can something like this work: corebuild -pkg ctypes -pkg cstubs.foreign bindings/ncurses_bindings.native
<vanila>
I want to compile bindings/ncurses_bindings.ml and run it to generate .c and .ml files
<vanila>
i dont know how to include the cstubs package though
enitiz has joined #ocaml
<vanila>
if I just try to compile it normally: Error: No implementations provided for the following modules: Cstubs referenced from bindings/ncurses_bindings.cmx
slash^ has joined #ocaml
<vanila>
How do I check if I have cstubs?
<vanila>
I thought it came with ctypes
avsm has joined #ocaml
blech_ has quit [Read error: Connection reset by peer]
enitiz has quit [Ping timeout: 265 seconds]
jneen|zzz is now known as jneen
avsm1 has joined #ocaml
avsm has quit [Read error: Connection reset by peer]
destrius has joined #ocaml
<Drup>
(14:43:35) pippijn: I would prefer the most specific implicit to be selected <- that's a rather bad idea, for the sake of readability
araujo has joined #ocaml
araujo has joined #ocaml
<Drup>
typeclasses (and modular implicits) already imped readability to some extent. If you allow for a partial order over implicit modules and choose "the less general", it will become really hard to know what is used where
rgrinberg has joined #ocaml
bjorkintosh has quit [Ping timeout: 256 seconds]
ygrek has joined #ocaml
<pippijn>
Drup: ok, I agree
<pippijn>
Drup: C++ :)
antegallya has joined #ocaml
<pippijn>
partial specialisations work like that
<vanila>
http://lpaste.net/119623 would anyone be able to shed some light on why i am getting a compile error here?
<pippijn>
yes
<pippijn>
vanila: -use-ocamlfind
uris77 has joined #ocaml
<def`>
Drup: i would find quite interesting to allow the partial order to be specified
<vanila>
I tried passing -use-ocamlfind as an extra flag but I got the same error
<pippijn>
def`: so you would be able to make a total order?
<Drup>
def`: if you want to have it merged, don't put it in the initial proposal :D
ygrek_ has joined #ocaml
<def`>
implicit Show_ratio > Show_pair(Int)(Int)
<Drup>
(but clearly, it would be interesting)
<pippijn>
maybe, yes
ygrek has quit [Remote host closed the connection]
<pippijn>
I really want this
<pippijn>
when will it happen?
<pippijn>
is there a patched compiler in opam?
<def`>
pippijn: no total order, I don't ecen know how thar could ve specified, given the existence of instances isnoften undecidable
<Drup>
ratio is not a great example, because you could/should use a newtype (or the equivalent)
<avsm1>
aside from that, it's still undergoing some iteration (advanced users are trying it already, as above). Filing bugs with requests for documentation is more useful than complaining on irc, as usual :-)
<vanila>
should I get oasis?
<vanila>
i didnt want to use it, but that skeleton uses it
<avsm1>
vanila: if you're just experimenting, i'd recommend copying the infrastructure in async_ssl and modifying it
<vanila>
I have done make test in the latest git of ocaml-ctypes
<vanila>
and it sucessfully runs the "constant" test
<vanila>
but when I try to pull that out and build it with similar command line I just get errors
<avsm1>
well, it's very new. dsheets has been using it, but it's probably not exposed anywhere just yet. I'd file a bug asking for it (it's the only way we know what people want)
<Tekk_>
hrm
<Tekk_>
Drup: I'm not sure that array actually does what we talked about
<Tekk_>
I'll ask on the mailing list
hilquias has quit [Ping timeout: 256 seconds]
<Tekk_>
oh
* Tekk_
got confused :P
<Tekk_>
carray vs CArray
enitiz has quit [Ping timeout: 272 seconds]
larhat has quit [Quit: Leaving.]
uris77 has quit [Quit: leaving]
hilquias has joined #ocaml
badkins has quit []
chinglish has quit [Quit: Nettalk6 - www.ntalk.de]
oscar_toro has quit [Read error: Connection reset by peer]
badkins has joined #ocaml
oscar_toro has joined #ocaml
<Drup>
Oh, I got it
<Drup>
the ml output a C files that you will execute to output a ml file
<Drup>
:|
<Drup>
that you can link to do the binding
<Drup>
binding-ception.
Kakadu has joined #ocaml
<Drup>
avsm1: It's "slightly" contrived.
ivan\ has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
_andre has quit [Quit: leaving]
rgrinberg has quit [Quit: Leaving.]
ivan\ has joined #ocaml
ivan\ has quit [Changing host]
ivan\ has joined #ocaml
hellofunk has quit [Ping timeout: 264 seconds]
hellofunk has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
Hannibal_Smith has quit [Ping timeout: 256 seconds]
Hannibal_Smith has joined #ocaml
<avsm1>
Drup: but that's what's needed to do static determination of struct layout
<avsm1>
otherwise you are computing the struct layout, which is no fun
<Drup>
avsm1: oh, I didn't meant that it was not needed
<Drup>
just that it needed some build system hair pulling, which is not my favorite kind of hair pulling
<vanila>
i made up a different way to do it
avsm1 has quit [Quit: Leaving.]
bytbox has quit [Remote host closed the connection]
nullcat has joined #ocaml
scythe- has quit [Ping timeout: 256 seconds]
nullcat has quit [Client Quit]
octachron has quit [Quit: Leaving]
<Anarchos>
Drup hair pulling ? Maybe i am on the wrong channel ...