watermind has quit [Quit: Konversation terminated!]
mehdid has quit [Quit: Lost terminal]
emmanuelux has quit [Ping timeout: 248 seconds]
emmanuelux has joined #ocaml
<LiesHidden>
I need a better Phi implementation....
emmanuelux has quit [Ping timeout: 256 seconds]
emmanuelux has joined #ocaml
<LiesHidden>
I'm using Enumerate (k = 1...n) gcd(k, n)2 pi k/n but it takes forever with larger numbers :/
eikke has quit [Ping timeout: 264 seconds]
emmanuelux has quit [Ping timeout: 256 seconds]
emmanuelux has joined #ocaml
emmanuelux has quit [Remote host closed the connection]
AndroUser2 has joined #ocaml
polyvar has quit [Read error: Connection reset by peer]
letrec has quit [Ping timeout: 248 seconds]
q66 has quit [Remote host closed the connection]
AndroUser2 has quit [Ping timeout: 256 seconds]
madroach has quit [Ping timeout: 248 seconds]
madroach has joined #ocaml
talzeus has joined #ocaml
talzeus has quit [Remote host closed the connection]
<LiesHidden>
oh oh oh oh oh I think I might have a way to do it....
darkf has joined #ocaml
ygrek has joined #ocaml
talzeus has joined #ocaml
walter|r has quit [Quit: This computer has gone to sleep]
talzeus has quit [Remote host closed the connection]
talzeus has joined #ocaml
talzeus has quit [Remote host closed the connection]
talzeus has joined #ocaml
sivoais has quit [Ping timeout: 260 seconds]
sivoais has joined #ocaml
osnr has joined #ocaml
osnr has quit [Changing host]
osnr has joined #ocaml
sivoais has quit [Read error: Connection reset by peer]
sivoais has joined #ocaml
sivoais has quit [Ping timeout: 256 seconds]
sivoais has joined #ocaml
sivoais has quit [Ping timeout: 240 seconds]
sivoais has joined #ocaml
osnr1 has joined #ocaml
osnr has quit [Ping timeout: 264 seconds]
eni has joined #ocaml
testcocoon has quit [Quit: Coyote finally caught me]
sivoais has quit [Ping timeout: 264 seconds]
sivoais has joined #ocaml
testcocoon has joined #ocaml
Zeev has joined #ocaml
sivoais has quit [Ping timeout: 256 seconds]
zpe has joined #ocaml
Yoric has joined #ocaml
sivoais has joined #ocaml
sivoais has quit [Ping timeout: 256 seconds]
Snark has joined #ocaml
sivoais has joined #ocaml
zpe has quit [Ping timeout: 248 seconds]
weie_ has quit [Quit: Leaving...]
mehdid has joined #ocaml
sivoais has quit [Ping timeout: 256 seconds]
sivoais has joined #ocaml
ygrek has quit [Ping timeout: 276 seconds]
sivoais has quit [Ping timeout: 256 seconds]
sivoais has joined #ocaml
ttamttam has joined #ocaml
chambart has joined #ocaml
sivoais has quit [Read error: Connection reset by peer]
sivoais has joined #ocaml
weie has joined #ocaml
zpe has joined #ocaml
zpe has quit [Ping timeout: 264 seconds]
Watcher7 is now known as Watcher7|off
lusory has quit [Ping timeout: 256 seconds]
ygrek has joined #ocaml
testcocoon has quit [Quit: Coyote finally caught me]
hkBst has joined #ocaml
hkBst has quit [Changing host]
hkBst has joined #ocaml
testcocoon has joined #ocaml
eni has quit [Ping timeout: 256 seconds]
hkBst has quit [Remote host closed the connection]
zpe has joined #ocaml
hkBst has joined #ocaml
hkBst has quit [Changing host]
hkBst has joined #ocaml
Fnar has quit [Read error: Connection reset by peer]
Fnar has joined #ocaml
raichoo has joined #ocaml
hkBst has quit [Ping timeout: 256 seconds]
t4nk365 has quit [Ping timeout: 250 seconds]
ttamttam has quit [Quit: ttamttam]
hkBst has joined #ocaml
eikke has joined #ocaml
LiesHidden has left #ocaml []
chambart has quit [Ping timeout: 256 seconds]
Kakadu has joined #ocaml
hkBst has quit [Ping timeout: 276 seconds]
osnr1 has quit [Quit: Leaving.]
hkBst has joined #ocaml
hkBst has quit [Changing host]
hkBst has joined #ocaml
thomasga has joined #ocaml
osnr has joined #ocaml
osnr has quit [Changing host]
osnr has joined #ocaml
eikke has quit [Ping timeout: 256 seconds]
Kakadu has quit [Remote host closed the connection]
Kakadu has joined #ocaml
Arsenik has joined #ocaml
Zeev has quit [Disconnected by services]
Zeev has joined #ocaml
ontologiae_ has joined #ocaml
zpe has quit [Remote host closed the connection]
Zeev has quit [Disconnected by services]
Zeev has joined #ocaml
ollehar has joined #ocaml
mathieui has quit [Ping timeout: 256 seconds]
ggole has joined #ocaml
eikke has joined #ocaml
Kakadu has quit []
Kakadu_ has joined #ocaml
dwmw2_gone is now known as dwmw2
jbrown has joined #ocaml
mika1 has joined #ocaml
Yoric has quit [Ping timeout: 245 seconds]
mathieui has joined #ocaml
Zeev has quit [Disconnected by services]
Zeev has joined #ocaml
dsheets has joined #ocaml
q66 has joined #ocaml
Drup has joined #ocaml
hkBst has quit [Ping timeout: 264 seconds]
hkBst has joined #ocaml
hkBst has quit [Ping timeout: 252 seconds]
hkBst has joined #ocaml
hkBst has quit [Changing host]
hkBst has joined #ocaml
adrien_o1w has joined #ocaml
adrien_oww has quit [Ping timeout: 256 seconds]
osnr has quit [Quit: Leaving.]
mcclurmc has quit [Ping timeout: 256 seconds]
adrien_o1w is now known as adrien_oww
hkBst has quit [Remote host closed the connection]
hkBst has joined #ocaml
hkBst has quit [Changing host]
hkBst has joined #ocaml
weie_ has joined #ocaml
weie has quit [Ping timeout: 248 seconds]
hkBst has quit [Ping timeout: 256 seconds]
hkBst_ has joined #ocaml
hkBst_ has quit [Changing host]
hkBst_ has joined #ocaml
yacks has quit [Read error: Operation timed out]
Drup has quit [Ping timeout: 264 seconds]
Yoric has joined #ocaml
osnr has joined #ocaml
osnr has quit [Changing host]
osnr has joined #ocaml
Zeev has quit [Ping timeout: 256 seconds]
ollehar1 has joined #ocaml
osnr has quit [Ping timeout: 264 seconds]
ollehar has quit [Ping timeout: 256 seconds]
Arsenik has quit [Remote host closed the connection]
hkBst_ has quit [Ping timeout: 264 seconds]
Zeev has joined #ocaml
yacks has joined #ocaml
Drup has joined #ocaml
Zeev has quit [Disconnected by services]
Zeev has joined #ocaml
Zeev has quit [Ping timeout: 256 seconds]
talzeus has quit [Remote host closed the connection]
osnr has joined #ocaml
osnr has quit [Changing host]
osnr has joined #ocaml
Zeev has joined #ocaml
talzeus has joined #ocaml
Zeev has quit [Disconnected by services]
Zeev has joined #ocaml
osnr has quit [Ping timeout: 276 seconds]
Zeev has quit [Disconnected by services]
Zeev has joined #ocaml
Zeev has quit [Disconnected by services]
Zeev has joined #ocaml
ygrek has quit [Ping timeout: 240 seconds]
ygrek has joined #ocaml
_andre has joined #ocaml
Zeev has quit [Disconnected by services]
Zeev has joined #ocaml
talzeus has quit [Remote host closed the connection]
Kakadu_ has quit [Remote host closed the connection]
Kakadu_ has joined #ocaml
talzeus has joined #ocaml
talzeus has quit [Remote host closed the connection]
Zeev has quit [Disconnected by services]
zpe has joined #ocaml
Zeev has joined #ocaml
<hcarty>
def-lkb: Is there a way to foce merlin to reset from a vim session? I modified a module M in foo.ml and merlin isn't picking up the change in bar.ml (under a separate vim instance) until I restart vim.
<hcarty>
Regardless of the answer to that question, merlin 1.1 is a wonderful update!
Zeev has quit [Disconnected by services]
Zeev has joined #ocaml
<asmanur>
hcarty: did you try :Reload ?
Zeev has quit [Disconnected by services]
Zeev has joined #ocaml
talzeus has joined #ocaml
talzeus has quit [Remote host closed the connection]
foo303__ has quit [Changing host]
foo303__ has joined #ocaml
foo303__ is now known as foo303
talzeus has joined #ocaml
zpe has quit [Remote host closed the connection]
ousado has joined #ocaml
hkBst_ has joined #ocaml
hkBst_ has quit [Changing host]
hkBst_ has joined #ocaml
ttamttam has joined #ocaml
ocp has joined #ocaml
Zeev has quit [Read error: Connection reset by peer]
ttamttam has quit [Quit: ttamttam]
Zeev has joined #ocaml
cago has joined #ocaml
hkBst_ has quit [Ping timeout: 256 seconds]
hnrgrgr has joined #ocaml
hkBst_ has joined #ocaml
hkBst_ has quit [Changing host]
hkBst_ has joined #ocaml
zpe has joined #ocaml
<hcarty>
asmanur: That's what I was looking for - thank you very much.
walter|r has joined #ocaml
<asmanur>
you're welcome :)
osnr has joined #ocaml
osnr has quit [Changing host]
osnr has joined #ocaml
ygrek has quit [Ping timeout: 256 seconds]
yacks has quit [Ping timeout: 276 seconds]
osnr has quit [Ping timeout: 264 seconds]
ivan\ has quit [Ping timeout: 264 seconds]
ivan\ has joined #ocaml
mcclurmc_laptop has joined #ocaml
mcclurmc_laptop has quit [Read error: Connection reset by peer]
mcclurmc_laptop has joined #ocaml
mcclurmc_laptop is now known as mcclurmc
chambart has joined #ocaml
letrec has joined #ocaml
Tobu has quit [Ping timeout: 246 seconds]
talzeus has quit [Read error: Connection reset by peer]
talzeus_ has joined #ocaml
yacks has joined #ocaml
walter|r has quit [Quit: This computer has gone to sleep]
Neros has quit [Ping timeout: 248 seconds]
Neros has joined #ocaml
rgrinberg has quit [Quit: WeeChat 0.4.0]
ollehar1 has quit [Ping timeout: 256 seconds]
rgrinberg has joined #ocaml
cdidd has quit [Ping timeout: 256 seconds]
cago has quit [Quit: Leaving.]
Kakadu_ has quit []
Kakadu_ has joined #ocaml
chambart has quit [Ping timeout: 256 seconds]
ollehar has joined #ocaml
hkBst_ has quit [Ping timeout: 256 seconds]
watermind has joined #ocaml
mattrepl has joined #ocaml
watermind has quit [Client Quit]
osnr has joined #ocaml
osnr has quit [Changing host]
osnr has joined #ocaml
zpe has quit [Ping timeout: 248 seconds]
hkBst_ has joined #ocaml
hkBst_ has quit [Changing host]
hkBst_ has joined #ocaml
osnr has quit [Ping timeout: 252 seconds]
zzz_` has joined #ocaml
ollehar has quit [Ping timeout: 249 seconds]
ollehar1 has joined #ocaml
Snark_ has joined #ocaml
yacks has quit [Ping timeout: 249 seconds]
sivoais has quit [Ping timeout: 249 seconds]
Snark has quit [Ping timeout: 249 seconds]
The_third_man has quit [Ping timeout: 249 seconds]
ben_zen has quit [Ping timeout: 249 seconds]
vext01_ has quit [Ping timeout: 249 seconds]
stomp has quit [Ping timeout: 249 seconds]
ipoulet has quit [Ping timeout: 249 seconds]
rixed has quit [Ping timeout: 249 seconds]
zzz_ has quit [Write error: Connection reset by peer]
stomp has joined #ocaml
ttm has joined #ocaml
vext01 has joined #ocaml
rixed has joined #ocaml
yacks has joined #ocaml
sivoais has joined #ocaml
ipoulet_ has joined #ocaml
ben_zen has joined #ocaml
Kakadu has joined #ocaml
cago has joined #ocaml
Kakadu_ has quit [Read error: Connection reset by peer]
Kakadu has quit [Remote host closed the connection]
Kakadu has joined #ocaml
mfp has quit [Read error: Connection reset by peer]
hkBst__ has joined #ocaml
mika1 has quit [Quit: Leaving.]
hkBst_ has quit [Ping timeout: 256 seconds]
mfp has joined #ocaml
raichoo has quit [Quit: leaving]
ollehar1 has quit [Ping timeout: 256 seconds]
chambart has joined #ocaml
Yoric has quit [Ping timeout: 264 seconds]
ygrek has joined #ocaml
ttamttam has joined #ocaml
tane has joined #ocaml
tane has quit [Client Quit]
beginner42 has joined #ocaml
jpdeplaix` has joined #ocaml
<beginner42>
why does a construct like this doesnt work
<beginner42>
let test : string = function | 42 -> "hurra" | _ -> "damn"
<companion_cube>
because test is a function, not a string
<companion_cube>
let test : int -> string = function | 42 -> .....
<companion_cube>
or just let test = function .... (thanks to type inference)
jpdeplaix has quit [Ping timeout: 248 seconds]
<beginner42>
for those simple examples it s clear, but i have a more complex example where i have to define the return type
<beginner42>
and i thought i could define the return type of any function like this let some_function parameters : return_type = ...
<Cypi>
You can do that, yes. But in your above example, "parameters" is missing.
<Cypi>
let test s : string = match s with | 42 -> "hurra" | _ -> "damn"
<beginner42>
ok, i hoped that the = function which i thought is equal to s = match s with
mattrepl has quit [Quit: mattrepl]
cago has left #ocaml []
testcocoon has quit [Quit: Coyote finally caught me]
darkf has quit [Quit: Leaving]
testcocoon has joined #ocaml
talzeus_ has quit [Remote host closed the connection]
ttamttam1 has joined #ocaml
hkBst__ has quit [Quit: Konversation terminated!]
Neros has quit [Read error: Operation timed out]
Yoric has joined #ocaml
Neros has joined #ocaml
letrec has quit [Ping timeout: 256 seconds]
ggherdov has quit [Remote host closed the connection]
IbnFirnas has quit [Remote host closed the connection]
bobry has quit [Remote host closed the connection]
lopex has quit [Write error: Connection reset by peer]
ttamttam1 has quit [Quit: ttamttam1]
<orbitz>
beginner42: it is equal
ttamttam has quit [Quit: ttamttam]
<beginner42>
orbitz: but not with the return type
<ygrek>
hello, anybody knowledgeable with pxp internals? Please have a look at http://paste.in.ua/8319/
<orbitz>
beginner42: yes, the type of 'test' is teh same in both cases
<orbitz>
beginner42: the type you specified iswrong
ttamttam has joined #ocaml
ttamttam has quit [Client Quit]
vivanov has joined #ocaml
vivanov has quit [Read error: Connection reset by peer]
ivan\ has quit [Ping timeout: 256 seconds]
vivanov__ has joined #ocaml
ivan\ has joined #ocaml
vivanov__ has quit [Ping timeout: 248 seconds]
vivanov_ has joined #ocaml
Arsenik has joined #ocaml
skchrko has joined #ocaml
chambart has quit [Ping timeout: 256 seconds]
thomasga has quit [Quit: Leaving.]
vivanov_ has quit [Ping timeout: 252 seconds]
chambart has joined #ocaml
vivanov_ has joined #ocaml
pango_ is now known as pango
vivanov_ has quit [Ping timeout: 252 seconds]
vivanov_ has joined #ocaml
ttamttam has joined #ocaml
ttamttam has left #ocaml []
ontologiae_ has quit [Ping timeout: 248 seconds]
vivanov_ has quit [Ping timeout: 252 seconds]
skchrko has quit [Quit: Leaving]
vivanov_ has joined #ocaml
Kakadu has quit []
Tobu has joined #ocaml
vivanov_ has quit [Ping timeout: 248 seconds]
eikke has quit [Ping timeout: 264 seconds]
vivanov_ has joined #ocaml
vivanov_ has quit [Read error: Connection reset by peer]
lusory has joined #ocaml
watermind has joined #ocaml
<watermind>
are theory questions on semantics of call by value functional languages welcome here?
vivanov_ has joined #ocaml
<thizanne>
I'll probably not answer but yes watermind, please ask
<watermind>
thizanne: ok then, thanks!
<watermind>
in a call by name, a divergent computation Ω : σ is usually defined as Ω : σ = Y id
<watermind>
in call by name this would work to, but not for ground elements, e.g integers
cdidd has joined #ocaml
<watermind>
so how would one define Ω : int in call by value?
vivanov_ has quit [Ping timeout: 246 seconds]
<watermind>
of course we can just introduce the primitive constant Ω in the language and define [[ |- Ω ]] = _|_
vivanov_ has joined #ocaml
<watermind>
but since we can get away without that in call by name, I was wondering if we could do the same in call by value
<asmanur>
you want to build a divergent term of type int, right ?
<watermind>
yes
<asmanur>
well you can type an Ω for int → int and apply it to a dummy value
<watermind>
I guess (Ω : int -> int) 0 would work... but it's not elegant at all
<watermind>
right, I thought about that, but was wondering if there was a nicer way to go about it
ollehar has joined #ocaml
<asmanur>
watermind: is Y a primitive of your language ?
<watermind>
asmanur: yes, but the call by value Y
zpe has joined #ocaml
vivanov_ has quit [Ping timeout: 246 seconds]
<watermind>
asmanur: i.e. Y : ((a->b) -> (a->b)) -> a->b
vivanov_ has joined #ocaml
<asmanur>
watermind: well, then you have to apply Y to get a non terminating term (since the rest of the calculus is normalizing) so you get to do something like Y f arg
<watermind>
asmanur: right :/ so if I had an empty type with no values there'd be no way to define Ω for that type unless it is introduced as a primitive, right?
<asmanur>
i guess so
<watermind>
thanks asmanur, I'll try to decide what's nicer, to introduce the constant and its semantics directly or define it from Y
<asmanur>
hm wait
<asmanur>
what prevents you to do the same trick ? Y id could have the type int -> \bot
vivanov_ has quit [Ping timeout: 246 seconds]
<watermind>
yes sure, if there were some function int -> \bot
vivanov_ has joined #ocaml
vivanov_ has quit [Read error: Connection reset by peer]
<watermind>
but unless you have that as a primitive you can't really define it because you have nothing to return
<asmanur>
from [id : (int -> \bot) -> (int -> \bot)] you deduce [Y id : int -> \bot]
<asmanur>
and thus [Y id 0 : \bot]
<watermind>
oh
<watermind>
oh...
<watermind>
right of course
<watermind>
you're absolutely right
vivanov__ has joined #ocaml
Drup has quit [Ping timeout: 248 seconds]
<j0sh>
i can't seem to use some stdlib modules like Stream and Random in my own modules while they work in a standalone .ml, any idea why?
<xavierm02>
and then have the field be one of the fields of the record of the type representing the matrix
<xavierm02>
is that how it should be done?
<asmanur>
xavierm02: perhaps a functor would be more convenient
<asmanur>
module Matrix (F : Field) : sig type t = F.t array array val add : t -> t -> t ... end
<xavierm02>
Ok. Thank you :)
vivanov__ has quit [Ping timeout: 252 seconds]
vivanov__ has joined #ocaml
<xavierm02>
another question
<xavierm02>
since I want to represent F_p for p arbitrary
<xavierm02>
is there some way to describe a sum type with a number of elements fixed by a "variable"?
<xavierm02>
f_2 = Zero | One
<xavierm02>
f_3 = Zero | One | Two
<xavierm02>
etc.
<asmanur>
i don't think so, you will to use integers to do that
<xavierm02>
I don't care about the names
<xavierm02>
ok
<xavierm02>
:/
vivanov__ has quit [Ping timeout: 252 seconds]
<asmanur>
(at runtime it will be the same memory representation)
ocp has quit [Read error: Operation timed out]
<xavierm02>
what do you mean?
<asmanur>
xavierm02: anyway, how would you manipulate this kind of objects ?
vivanov__ has joined #ocaml
<asmanur>
well the elements of a sum type with no arguments are integers at runtime
<xavierm02>
oh
<xavierm02>
ok
<xavierm02>
I thought it was better to use them because if there were only 2, it saved memory
<asmanur>
no, if you want to do something efficient at the level of matrixes, you will have to do it yourself
vivanov__ has quit [Ping timeout: 246 seconds]
vivanov__ has joined #ocaml
vivanov__ has quit [Ping timeout: 252 seconds]
vivanov__ has joined #ocaml
vivanov__ has quit [Ping timeout: 245 seconds]
Zeev has joined #ocaml
vivanov__ has joined #ocaml
Arsenik has quit [Remote host closed the connection]
vivanov__ has quit [Ping timeout: 252 seconds]
vivanov__ has joined #ocaml
vivanov__ has quit [Ping timeout: 245 seconds]
vivanov__ has joined #ocaml
eni has joined #ocaml
mattrepl has quit [Quit: mattrepl]
Snark_ has quit [Quit: leaving]
vivanov__ has quit [Ping timeout: 252 seconds]
vivanov__ has joined #ocaml
vivanov__ has quit [Ping timeout: 276 seconds]
vivanov__ has joined #ocaml
chambart has joined #ocaml
gbluma_ has joined #ocaml
vivanov__ has quit [Ping timeout: 252 seconds]
vivanov__ has joined #ocaml
Kakadu has quit [Ping timeout: 246 seconds]
_andre has quit [Quit: leaving]
vivanov__ has quit [Read error: Operation timed out]
vivanov__ has joined #ocaml
karswell has quit [Remote host closed the connection]
vivanov__ has quit [Read error: Operation timed out]
vivanov__ has joined #ocaml
osnr has joined #ocaml
osnr has quit [Changing host]
osnr has joined #ocaml
vivanov__ has quit [Ping timeout: 252 seconds]
vivanov__ has joined #ocaml
tane has joined #ocaml
mcclurmc has joined #ocaml
vivanov__ has quit [Ping timeout: 252 seconds]
vivanov__ has joined #ocaml
Zeev has quit [Ping timeout: 252 seconds]
Watcher7|off is now known as Watcher7
thomasga has joined #ocaml
vivanov__ has quit [Ping timeout: 252 seconds]
vivanov__ has joined #ocaml
dsheets has joined #ocaml
<wmeyer>
hi dsheets
vivanov__ has quit [Ping timeout: 252 seconds]
vivanov__ has joined #ocaml
zpe_ has quit [Remote host closed the connection]
Zeev has joined #ocaml
vivanov__ has quit [Ping timeout: 248 seconds]
vivanov__ has joined #ocaml
Yoric has quit [Ping timeout: 260 seconds]
vivanov__ has quit [Read error: Operation timed out]
Kakadu has joined #ocaml
vivanov__ has joined #ocaml
vivanov__ has quit [Ping timeout: 252 seconds]
vivanov__ has joined #ocaml
vivanov__ has quit [Ping timeout: 260 seconds]
vivanov__ has joined #ocaml
<def-lkb>
hcarty: thx for merlin 1.1, as asmanur said there is the :Reload command. besides, the vim-mode automatically reload interfaces if :make is called from vim
ontologiae_ has joined #ocaml
<rgrinberg>
def-lkb: so there's no longer a need for inotify?
<def-lkb>
rgrinberg: what do you mean? integrating inotify to merlin ?
vivanov__ has quit [Ping timeout: 252 seconds]
<rgrinberg>
def-lkb: yes i read some todo note in merlin
<rgrinberg>
suggestion to use intofiy to reload on changes to cmi's
vivanov__ has joined #ocaml
<rgrinberg>
also, how's vim's :make integration with ocamlbuild if you don't mind me asking? does it parse the error messages?
<def-lkb>
yes, you're right… integrating inotify is more complex (and not portable), but more precise, whereas :make is a quick workaround, but sufficient in most workflow
<def-lkb>
did you had particular problems regarding out-of-date cmi's?
<rgrinberg>
I did, before :Reload was added
<rgrinberg>
I might just start using :make however if it also adds compile errors to quickfix
vivanov__ has quit [Ping timeout: 251 seconds]
vivanov__ has joined #ocaml
<def-lkb>
ok. :make integration is quite rough: just set makeprg to whatever you want vim to call, and error handling/location will be handled with usual ocaml.vim mode
<def-lkb>
that's good enough in my experience
<rgrinberg>
def-lkb: ok that sounds perfect actually
<rgrinberg>
I assumed the errors were not passed
<rgrinberg>
btw, thanks for making merlin. it makes coding in OCaml much more fun :D