swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
Denommus` has joined #ocaml
Denommus has quit [Ping timeout: 272 seconds]
enitiz has joined #ocaml
AltGr has joined #ocaml
lobo has quit [Quit: leaving]
thomasga has quit [Quit: Leaving.]
<Denommus`>
Drup: at the end of the day, if I can create a function val lazyfix: ('a -> 'a lazy_t) -> 'a lazy_t, my problem is solved
jeffmo has joined #ocaml
Denommus` is now known as Denommus
psy_ has quit [Ping timeout: 265 seconds]
enitiz has quit [Quit: Leaving]
mcclurmc has quit [Ping timeout: 256 seconds]
enitiz has joined #ocaml
badkins has quit []
palomer has quit [Quit: palomer]
<Denommus>
ok, it's impossible
BitPuffin|osx has joined #ocaml
jwatzman|work has quit [Quit: jwatzman|work]
swgillespie has joined #ocaml
manizzle has quit [Ping timeout: 256 seconds]
ontologiae has joined #ocaml
Pepe_ has quit [Ping timeout: 272 seconds]
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
Pepe_ has joined #ocaml
Pepe_ has quit [Client Quit]
Pepe_ has joined #ocaml
jabesed has joined #ocaml
systmkor has joined #ocaml
palomer has joined #ocaml
shinnya has quit [Ping timeout: 256 seconds]
ontologiae has quit [Ping timeout: 250 seconds]
Bluddy has joined #ocaml
manizzle has joined #ocaml
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
ygrek has quit [Ping timeout: 256 seconds]
manizzle has quit [Ping timeout: 256 seconds]
darkf has joined #ocaml
enitiz has quit [Remote host closed the connection]
hilquias has joined #ocaml
Denommus has quit [Quit: going home]
manizzle has joined #ocaml
keen__ has joined #ocaml
manizzle has quit [Ping timeout: 276 seconds]
keen_ has quit [Ping timeout: 246 seconds]
psy_ has joined #ocaml
sdothum has quit [Quit: ZNC - 1.6.0 - http://znc.in]
palomer has quit [Quit: palomer]
palomer has joined #ocaml
BitPuffin|osx has quit [Ping timeout: 255 seconds]
manizzle has joined #ocaml
olibjerd_ has joined #ocaml
jeffmo has quit [Quit: jeffmo]
idegen has quit [Quit: Leaving.]
antkong has quit [Quit: antkong]
palomer has quit [Quit: palomer]
Denommus has joined #ocaml
slash^ has joined #ocaml
teiresia1 has quit [Changing host]
teiresia1 has joined #ocaml
teiresia1 is now known as teiresias
jabesed has quit [Ping timeout: 265 seconds]
hilquias has quit [Ping timeout: 256 seconds]
antkong has joined #ocaml
badon has quit [Disconnected by services]
badon_ has joined #ocaml
badon_ is now known as badon
palomer has joined #ocaml
Algebr has quit [Ping timeout: 256 seconds]
axiles has quit [Ping timeout: 264 seconds]
kdef has joined #ocaml
kdef has quit [Client Quit]
axiles has joined #ocaml
struktured has joined #ocaml
Bluddy has quit [Quit: Connection closed for inactivity]
bjorkintosh has quit [Ping timeout: 244 seconds]
struktured has quit [Ping timeout: 258 seconds]
swgillespie has joined #ocaml
olibjerd_ has quit [Ping timeout: 265 seconds]
Bhavya has joined #ocaml
MercurialAlchemi has joined #ocaml
<ilia>
I have a simple question..
olibjerd_ has joined #ocaml
bjorkintosh has joined #ocaml
<ilia>
suppose I want to parse a csv string recursively and put the data w:string and n:int into a StringMap. How it can be implemented? I can return a list of tuples and then populate a StringMap though, but I am just curious how to do it without temporary lists
Simn has joined #ocaml
ygrek has joined #ocaml
<ilia>
it works for a mutable StringMap though
<ilia>
here is the code:
<ilia>
let parse_prefs sep str z =
<ilia>
let string_index_from i =
<ilia>
try Some (String.index_from str i sep)
<ilia>
with Not_found -> None
<ilia>
in
<ilia>
let rec aux i n x =
<ilia>
match string_index_from i with
<ilia>
|Some m->let tmpj=StringMap.add (String.sub str i (m-i)) x n in aux (succ m) (succ n) tmpj
<ilia>
|None -> let tmpj = StringMap.add (String.sub str i (String.length str-i)) n x
<ilia>
in aux 0 1 z
<ilia>
let tmp = parse_prefs ',' prefs_str y
<ilia>
let y:int StringMap.t = StringMap.empty
<ilia>
module StringMap = Map.Make(String);;
<ilia>
let prefs_str = "1223,200,234,899";;
kushal has joined #ocaml
<ilia>
scratching my head...
<ilia>
typo..
tane has joined #ocaml
<ilia>
I can pass an empty list as a parameter, but cannot pass and empty StringMap
psy_ has quit [Ping timeout: 256 seconds]
psy_ has joined #ocaml
astocko has quit [Ping timeout: 264 seconds]
nullcat has joined #ocaml
lordkryss has joined #ocaml
michael_lee has joined #ocaml
pyon has quit [Ping timeout: 244 seconds]
Denommus has quit [Ping timeout: 265 seconds]
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
MercurialAlchemi has quit [Quit: Lost terminal]
MercurialAlchemi has joined #ocaml
nojb has joined #ocaml
wwilly has joined #ocaml
<nullcat>
Drup: js_of_ocaml's js parsing library looks good. pfff's cannot be used as a library...
hay207 has joined #ocaml
psy_ has quit [Ping timeout: 272 seconds]
OnkV has quit [Ping timeout: 255 seconds]
palomer has quit [Quit: palomer]
Denommus has joined #ocaml
Haudegen has joined #ocaml
nojb has quit [Ping timeout: 240 seconds]
palomer has joined #ocaml
thomasga has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 250 seconds]
MercurialAlchemi has joined #ocaml
hay207 has quit [Quit: Leaving]
matason has joined #ocaml
dsheets has joined #ocaml
thomasga has quit [Quit: Leaving.]
octachron has joined #ocaml
palomer has quit [Quit: palomer]
asQuirreL has joined #ocaml
larhat has joined #ocaml
avsm has joined #ocaml
mort___ has joined #ocaml
Gama11 has joined #ocaml
asQuirreL has quit [Ping timeout: 258 seconds]
rand000 has joined #ocaml
Cyanure has joined #ocaml
thomasga has joined #ocaml
larhat has quit [Quit: Leaving.]
larhat has joined #ocaml
larhat1 has joined #ocaml
Haudegen has quit [Ping timeout: 276 seconds]
larhat1 has quit [Ping timeout: 245 seconds]
thomasga has quit [Quit: Leaving.]
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
nojb has joined #ocaml
larhat has quit [Quit: Leaving.]
larhat has joined #ocaml
thomasga has joined #ocaml
larhat has quit [Ping timeout: 256 seconds]
klaymen has quit [Remote host closed the connection]
larhat has joined #ocaml
Submarine has joined #ocaml
Submarine has joined #ocaml
freling has joined #ocaml
Haudegen has joined #ocaml
ygrek has quit [Ping timeout: 245 seconds]
jonludlam has joined #ocaml
AltGr has left #ocaml [#ocaml]
rwmjones_ is now known as rwmjones
Haudegen has quit [Ping timeout: 272 seconds]
hay207 has joined #ocaml
thomasga has quit [Quit: Leaving.]
tani has joined #ocaml
tane has quit [Killed (kornbluth.freenode.net (Nickname regained by services))]
tani is now known as tane
thomasga has joined #ocaml
mengu has joined #ocaml
<flux>
one might not easily appreciate how much discussions and work is behind some features without seeing them, such as constructors with inlined records :) http://caml.inria.fr/mantis/view.php?id=5528
michael_lee has quit [Quit: Ex-Chat]
MercurialAlchemi has quit [Ping timeout: 272 seconds]
MercurialAlchemi has joined #ocaml
Haudegen has joined #ocaml
larhat has quit [Quit: Leaving.]
freling has quit [Quit: Leaving.]
larhat has joined #ocaml
Kakadu has joined #ocaml
jabesed has joined #ocaml
_andre has joined #ocaml
nojb has quit [Ping timeout: 256 seconds]
thomasga has quit [Quit: Leaving.]
freling has joined #ocaml
avsm1 has joined #ocaml
avsm has quit [Ping timeout: 252 seconds]
sdothum has joined #ocaml
theblatt1 is now known as theblatte
mengu has quit [Remote host closed the connection]
hilquias has joined #ocaml
ggole has joined #ocaml
badkins has joined #ocaml
<Drup>
flux: this one was a tiny bit overly bikeshed.
mengu has joined #ocaml
<Drup>
(and note that there is a private core-dev only mailing list that nobody can access except the higher council :D)
larhat has quit [Quit: Leaving.]
freling has quit [Quit: Leaving.]
antkong has quit [Quit: antkong]
avsm1 has quit [Quit: Leaving.]
hay207 has quit [Ping timeout: 246 seconds]
hay207 has joined #ocaml
dav has joined #ocaml
mengu has quit [Remote host closed the connection]
avsm has joined #ocaml
struktured has joined #ocaml
BitPuffin has joined #ocaml
freling has joined #ocaml
freling has quit [Client Quit]
<xificurC>
I'm curious - what is it that makes you choose ocaml over haskell? What are the key advantages you see?
Hannibal_Smith has joined #ocaml
<Drup>
I should *really* make a summary write of this discussion
<Drup>
because it comes back quite often
<xificurC>
Drup: do :)
<Drup>
write up*
<reynir>
: vs :: in type ascriptions! :P
<Drup>
heh, it's not a discussion *that* interesting, in fact, because everyone feels instantly offended
<Drup>
(cf OCaml vs F# on reddit right now)
<xificurC>
I don't care for the flame wars, but I do care for e.g. your personal view
<tokenrove>
ocaml versus f# is even worse because they're so close. the narcissism of small differences.
dav has quit [Ping timeout: 258 seconds]
<Drup>
xificurC: the end is "I prefer modules over typeclasses, strictness over lazyness and I don't like most of the Haskell mindset about typing riddles"
<tokenrove>
xificurC: i don't think anyone feels laziness makes performance easier to reason about. that's usually the first admission by haskellers of the difficulties of the language.
<Hannibal_Smith>
Lazy also don't play well with parallel programming...but Haskell tend to ignore it :-P
<xificurC>
tokenrove: I was referring to the previous comment of Drup, namely whether it is a good default choice
<Drup>
tokenrove: surprisingly, I have seen haskellers argue the other way
<Drup>
but, heh.
freling has joined #ocaml
<xificurC>
I was actually learning haskell for a few months but got tired of laziness and stacks of monads on top of each other
matason has quit []
ontologiae has joined #ocaml
<dmbaturin>
How do I make oasis/ocamlbuild install some of the binaries to somewhere else than prefix/bin, e.g. /usr/libexec/progname?
<xificurC>
I was just never sure - is it all worth it? Will I be enlightened in 2 years and become the perfect programmer or will I regret it :)
<Drup>
ah, yeah, I forgot monads
<Drup>
I don't want to get started on those ones :3
<xificurC>
Drup: you use lwt don't you :p
<tokenrove>
xificurC: my feeling is that there's no reason /not/ to learn haskell. it's a great language, with a great community and a great ecosystem. in spite of that, i find languages in the ML family to be more practical for my needs.
<xificurC>
and I see c-cube using monads all over the place
<Drup>
They are occasionally the right solution
<xificurC>
tokenrove: too bad that _family_ is so little!
<Drup>
just ... not nearly as often as haskellers think
<Drup>
in particular, not for side effects.
<xificurC>
Drup: State on top of Reader on top of Writer on top of IO
<tokenrove>
xificurC: i dunno, i'm regularly using four members of that family. that seems like a lot.
<Drup>
tokenrove: *four* ?
<xificurC>
tokenrove: 4?
<tokenrove>
ocaml, sml, yeti, urweb
<dmbaturin>
The main difference is "we could use monads for that" vs "now we have to figure out how to use monads for that". :)
<Drup>
hum, yeti, don't know that one
<xificurC>
last time I checked yeti didn't seem to be developed anymore :o
<Drup>
tokenrove: why sml *and* ocaml ?
<dmbaturin>
tokenrove: F#
<tokenrove>
yeti is a nice ML on the JVM. i'm surprised it's not more well-known. i reach for it whenever i need to do stuff in the Java ecosystem.
<tokenrove>
oh, right, and f#
ontologiae has quit [Ping timeout: 245 seconds]
<reynir>
Hm, I should look into yeti
<Drup>
while we are at it
<tokenrove>
Drup: mlton is a great compiler. i don't start new projects in sml, but i do work on some things that are written in sml, like the urweb compiler itself.
<Drup>
I see
<Hannibal_Smith>
tokenrove, the one real world project that I know built ontop of ur/web is http://logitext.mit.edu/main
<pippijn>
yeti is quite nice
<Hannibal_Smith>
*only one
matason has joined #ocaml
<pippijn>
I'm a little afraid of using it for serious work *because* it's not well-known
<pippijn>
it's a risky bet
<tokenrove>
Hannibal_Smith: see the site for links to some other applications.
<pippijn>
scala is nice enough
<Drup>
tokenrove: why ur/web ?
<Drup>
(that's a serious question)
* pippijn
wants ur/nonweb
<pippijn>
xificurC: check again
<pippijn>
last time I checked, it was
<Drup>
I mean, I tried to understand the distinctive points of ur/web, but there is barely any documentation :|
palomer has joined #ocaml
<tokenrove>
Drup: it's a tricky question to answer. so, i find the type system appealing, as well as the idea of type checking all the parts of the web application, including html and sql. i have recently built a commercial application with urweb so i can now say that i have some experiences with the pros and cons of it.
<xificurC>
pippijn: well there's a few commits on github but what struck me is that the main site ( https://mth.github.io/yeti/ ) says 'The compiler development is now frozen to be bug-fix only (and writing documentation) until the 1.0 release.' and the last version released was in 2013..
<Hannibal_Smith>
tokenrove, ahaha I'm actually a client of BazQux
<Hannibal_Smith>
I didn't know it was built using ur/web
<Hannibal_Smith>
Uhm my english is really terrible
<tokenrove>
there are a lot of rough edges. but it's an intriguing system. it's definitely not suitable for every web application.
<tokenrove>
on the internet no one knows you're a dog
<Drup>
tokenrove: (my angle is obviously "compared to other similar web frameworks)
<Drup>
(which is eliom, opa)
<tokenrove>
xificurC: there's still work going on with it but obviously it's a small community.
<xificurC>
tokenrove: well my use of _little_ had 2 meanings - only a few ml languages and only a few users of those languages
<Drup>
tokenrove: I know that it's a tierless language with all the associated benefits
<tokenrove>
Drup: once i have the chance to try building something with either eliom or opa, i'll be able to comment better. and i do plan to take that time to evaluate those frameworks, at some point this year hopefully.
<Drup>
so, how does ur/web do client/server communication ?
<xificurC>
take ocaml - you can list companies like jane street and programs like unison on the main page to show the language is usable but what would that list look like compared to any well known OO language like C, python, java etc
<Drup>
I haven't found any actual writeup for that ...
<Hannibal_Smith>
xificurC, I think that at this point you can also add FB
willy_ has joined #ocaml
<Drup>
(from the typing, semantic and compilation point of view)
<xificurC>
Hannibal_Smith: it's still a dozen against a nation
<tokenrove>
Drup: why don't you ask on #ur? i'm not confident enough in my understanding of it to try to give a definitive answer
<Drup>
tokenrove: I think I'll first finish the paper about eliom's semantic and then ask ur people to give me a comparison :]
<xificurC>
I see my questions started some lively and maybe a bit off-topic discussions, hope you guys don't mind
<Drup>
xificurC: it's not offtopic, it's about ML :D
<xificurC>
Drup: it's not #ml though :)
<Hannibal_Smith>
Wow I didn't know about #ml
<Drup>
there is no #ml (and no #sml either)
<Hannibal_Smith>
Ahaha now I see why
<xificurC>
there is #sml
<dmbaturin>
Drup: There is #sml
wwilly has quit [Ping timeout: 255 seconds]
<Drup>
With people in it ? O_o
<Drup>
last time I wondered, there was a channel yeah, but completely dead
<xificurC>
my language maturity/usability test - /join #language-name on freenode and check if it has >100 users
<tokenrove>
xificurC: i'm not sure there's anything left to say in discussions of programming language popularity and it's merits.
<Drup>
tokenrove: except new languages
<Drup>
but they are not usually good
<dmbaturin>
Drup: #sml gets newcomers asking questions sometimes (mostly when semester starts).
<xificurC>
Drup: you don't like new languages? rust? nim?
<Hannibal_Smith>
Drup> With people in it ? O_o <-Thinking about it some univerity continues to use SML as a teaching language, also I had to learn it because a CS course
<Hannibal_Smith>
So probably, on the "right time" you will find some CS students asking questions
<dmbaturin>
There's a PLT course on coursera that uses SML.
<Drup>
xificurC: in the very large see of new languages there are some gems
<tokenrove>
history shows that it takes time for a language to mature. i mean, look at all the improvements that are still happening to ocaml. so new languages are exciting but you know you're going to deal with a lot of rough edges, and no libraries.
<Drup>
xificurC: lucky for you, it exists !
<tokenrove>
xificurC: i worked on one, and then discovered there had been a few other attempts.
<Drup>
there is a camlp4 extension for that
<xificurC>
Drup: one that is used please. not shen
larhat has joined #ocaml
<Drup>
Do you honestly think there could be a used one ?
<xificurC>
noone is using camlp4 anymore though
<tokenrove>
how to make a language used: write code in it.
<Drup>
ahah, if only. ._.
<tokenrove>
how not to make a language used: complain about its lack of popularity in a public forum.
<xificurC>
Drup: I know it's a long shot :D People don't like ML and even more people don't like lisp. Combine the two and you get the perfect repellent
<tokenrove>
xificurC: per your own metric, #lisp has more users than #ocaml. not to mention the incredible success of both scala and clojure shows at least some of the problem is branding.
larhat has quit [Client Quit]
larhat has joined #ocaml
<Drup>
the lisp family is very large
<xificurC>
tokenrove: what metric? the >100 irc users? All I meant by that metric was whether I have a chance to learn the language (i.e. it will have sufficient documentation and a large enough userbase to ask questions and get answers)
<tokenrove>
there are a lot of people out there who only care about seeing fresh paint on the walls. but do you really want those people working on your team?
<tokenrove>
Drup: right, but #lisp is only for Common Lisp.
<Drup>
yep
<Drup>
and the various lisps have less in common that the various MLs
<xificurC>
someone recommended racket on #lisp once. Once.
<xificurC>
tokenrove: I care about people who are willing to look above the standards and search for some added value
<xificurC>
we could all just write c/c++/java otherwise
<Drup>
xificurC: but, hypuu~~
<xificurC>
Drup: I'm sorry what?
larhat has quit [Read error: Connection reset by peer]
larhat has joined #ocaml
<Drup>
you can ignore that, internet speech :D
idegen has joined #ocaml
<xificurC>
I live from writing VBA. I guess it's no wonder I started looking for some alternatives
<dmbaturin>
xificurC: You mean, the old VBA, not even VB.Net?
<Drup>
my sincere condolences.
<xificurC>
dmbaturin: old VBA. I have to deliver a single Excel file and I don't think there's another alternative, is there
<dmbaturin>
Well, OpenOffice/LibreOffice allows scripting in JS. For MS Office, there are none of course.
<xificurC>
dmbaturin: libreoffice would crash under the volume of data that is being worked with in MS Excel
<Hannibal_Smith>
xificurC, just as a silly curiosity, did you even tried to compile a language or even a subset of it to VBA?
avsm has quit [Quit: Leaving.]
logzet has joined #ocaml
<Drup>
vab_of_ocaml
<dmbaturin>
I wonder why people would use office suites for processing large amounts of data though.
<Drup>
vba*
<xificurC>
Hannibal_Smith: I always wanted to write a transpiler but never gotten to it
<Hannibal_Smith>
Ok, thank you
<Drup>
new and shiny, the new way to script MS Office software
<xificurC>
Hannibal_Smith: I don't think I have the skills yet either to be honest. I am always planning to write a compiler but don't have the education
<tokenrove>
xificurC: ocaml is a great language for writing compilers, and there are lots of simple examples written in it. why not start now?
<Drup>
well, writing a compiler if you don't have to deal with the silly ABI and Assembly is not very difficult
<xificurC>
dmbaturin: because the non-technicals only know how to work with so many tools. And prototyping is quite fast
<xificurC>
tokenrove: I have like 5 projects in my head I'd like to do. I have 2 problems: 1) I only have so much time next to my job and family; 2) I always start and never finish them
<tokenrove>
not to contribute too much to this OT conversation, but one trick for gradual excel migration is to use the sql server integration stuff and slowly migrate more of the work to the database side.
<tokenrove>
xificurC: same here. time is our most precious resource. thanks for the reminder. i'm going to go write code now. cheers.
<xificurC>
:)
thomasga has joined #ocaml
<xificurC>
to use sql server I'd need a server
<dmbaturin>
Well, if they can have a dedicated person to write VBA, they should be able to afford a server too.
<xificurC>
the right solution would be to quit and leave that pile of mess :)
<dmbaturin>
Still how do I install binaries to non-/bin locations with oasis/ocamlbuild? :)
<Drup>
dmbaturin: --prefix ?
<xificurC>
dmbaturin: yes they should :)
<dmbaturin>
Drup: Well, some binaries in /bin and helpers in /usr/libexec
avsm has joined #ocaml
<xificurC>
out of curiosity, I red js_of_ocaml transpiles bytecode. Is there a thorough documentation of the ocaml bytecode?
<xificurC>
s/red/read
<Drup>
there is one
<Drup>
but I don't remember where.
freling has quit [Quit: Leaving.]
struktured has joined #ocaml
avsm1 has joined #ocaml
avsm has quit [Ping timeout: 265 seconds]
nojb has joined #ocaml
djellemah__ has joined #ocaml
larhat1 has joined #ocaml
larhat1 has quit [Client Quit]
antkong has joined #ocaml
<xificurC>
Drup: was just wondering how hard would it actually be to transpile it
mort___ has quit [Ping timeout: 256 seconds]
<xificurC>
knowing I have very little knowledge of compilers
djellemah has quit [Ping timeout: 240 seconds]
yomimono has joined #ocaml
mort___ has joined #ocaml
<xificurC>
I should read mincaml's implementation
Hannibal_Smith has quit [Quit: Leaving]
* reynir
hates the "word" "transpile"
<haesbaert>
does anyone know why the IO functions in ocaml always use an intermediate buffer for doing the syscall ?
<haesbaert>
why having iobuf if you could do the syscall directly on &Byte(buff, Long_val(ofs))
<Drup>
reynir: I tend to agree ...
<Drup>
xificurC: I don't know how readable js_of_ocaml is, but you could start by looking at ocapic
<ggole>
haesbaert: uninformed guess: so they don't have to take a lock, allowing threads to wait on I/O while other threads progress
<Drup>
(subtitle: "the most extreme OCaml compiler for embedded device ever")
<haesbaert>
but it was my understanding ocaml had no system threads
<Drup>
you can have system thread, but there is a global lock
<ggole>
Of course it has threads, but they don't run simultaneously
<adrien>
on allocs
asQuirreL has joined #ocaml
larhat1 has joined #ocaml
<ggole>
They can wait on I/O simultaneously though
<haesbaert>
so the caml_enter_blocking_section() is the global lock ?
larhat1 has quit [Client Quit]
<haesbaert>
no disregard, that, it is not.
<xificurC>
Drup: you mean ocapic is a simple, nice to read compiler?
<adrien>
it's the opposite
<adrien>
it's releasing the lock
<haesbaert>
ahh of course, you're doing io, so since you release the lock, you can't trust that &Bytes(blabla will be valid ?
<adrien>
it's simply that
<Drup>
xificurC: let's say it's probably more simple than jsoo
<adrien>
when you do a blocking operation, it's likely going to be quite long and meanwhile this thread will not do any allocation from caml-land
<adrien>
haesbaert: the lock doesn't protect your code, it protects the GC
<Drup>
(from you)
<haesbaert>
that I get, but if so, my initial question remains
<Drup>
(The GC is a very sensitive being)
<haesbaert>
can that Bytes structure be garbage collected ?
<haesbaert>
if the that Bytes structure can be collected while doing the syscall, I get it, if not, I'm lost :D
<ggole>
It can be relocated
<ggole>
It cannot be collected
<haesbaert>
by relocated you mean, used for something else ?
<ggole>
No, I mean that the GC might copy it to a different location in memory
<haesbaert>
ack got it
antkong has quit [Ping timeout: 258 seconds]
larhat has quit [Quit: Leaving.]
larhat has joined #ocaml
<Drup>
dsheets: I don't understand what you want me to test for dose/ocp-build, try with other versions of ocp-build ?
<dsheets>
Drup, no, i think all the other versions have been broken/removed
<dsheets>
probably it's enough to set the version constraint to pick up the existing version and modify some build system files or the .install file which assumes a different capitalization
Algebr has joined #ocaml
<Algebr>
Why does f# have operator overloading and ocaml doesnt
<Drup>
dsheets: I just realized that the new build instructions (which don't use ocp-build) works fine with the old dose. Is there a reason why they are not used instead ?
<flux>
algebr, well, because it was implemented to F# after it was forked
<dsheets>
Drup, i have no idea... i just remember debugging this build issue a while ago
ggole has quit [Ping timeout: 272 seconds]
<flux>
and probably because it might be a bitch to work in the .NET infrastructure without it (just a guess)
<Drup>
:/
<flux>
algebr, there is hope in the horizon, though. opam switch 4.02.0+modular-implicits
<Algebr>
Drup: on /r/ocaml, what did you mean by this "If anything, I heavily regret that this one is only a warning, and not an error."
<Algebr>
Haudegen has quit [Ping timeout: 246 seconds]
<flux>
I read it to mean that non-exhaustive pattern matches produce a warning only
<flux>
which I guess some people could disable
<octachron>
I sometimes wonder why overloading is so sought after
<flux>
there could be some kind of code that could maybe benefit from that warning disabled.. but I would rather only disable it for those segments then, not whole compilation modules
<flux>
octachron, well, after all these years I STILL sometimes fail to properly write 5.3 + pi
<flux>
of course, the compiler will gently tell me that no Erkki, you did wrong here..
<flux>
but maybe it should just work?-)
larhat has quit [Quit: Leaving.]
psy_ has joined #ocaml
<octachron>
flux: I simply write Float.( 5.3 + pi )
larhat has joined #ocaml
<flux>
another case is when you are dealing with 2-vectors, 3-vectors and matrices and you want to use operators with each of them. that's of course one approach.
ontologiae has joined #ocaml
<flux>
and then the big one: debug prints
<flux>
making them would be so much nicer with polymorphic show, as it would almost build itself. ppx_deriving helps here a lot of course.
<flux>
that being said, I don't think it's really a critical feature. but it's nice to have. it can even make some code more difficult to follow, if you don't know the types.
<S11001001>
reynir: why do they say that
<octachron>
flux: the same trick work for vector, and if I want to mix matrix and vector, I find that the elegant way is to go to tensor space
<Algebr>
Is there no elegant way to do two different implementations of >>= in the same function?
<Algebr>
to use*
<flux>
octachron, there is also this idea: if the language is doing type inference, why do I need to tell it which types I am using? and at worst cases I need to do that repeatedly.
<dsheets>
Algebr, Monad1.( Monad2.(run (foo >>= bar)) >>= baz) is the best I've seen
<Algebr>
dsheets: thanks
<dsheets>
Algebr, if you find a better way, please tell me so i can use it in the github bindings
<Algebr>
yes, that image should be in the readme of the repo
<Algebr>
=/ gtk only looks decent on gnome
thomasga has joined #ocaml
_andre has quit [Quit: leaving]
_andre has joined #ocaml
Denommus has quit [Ping timeout: 240 seconds]
<octachron>
flux: Maybe surprisingly, I am not too fond of the explicitness of of Gg in term of tensor order and dimensions.
<flux>
:)
<Drup>
Algebr, flux: not really ignore, but code compiles with non exhaustive pattern match
<Drup>
it should not compile, period
<flux>
that's like a super minor point, is it not? compiler inserting you | _ -> assert false for you, and giving you a heads upa bout it?
<flux>
there was this pa_irrefutable syntax extension
<flux>
I guess it could be nowadays be implemented with ppx, not sure about the syntax though
<flux>
but that could be nice sometimes.
mort___ has quit [Quit: Leaving.]
adr has joined #ocaml
keen___ has joined #ocaml
keen__ has quit [Ping timeout: 264 seconds]
Wandering_Glitch has quit [Changing host]
Wandering_Glitch has joined #ocaml
<Drup>
flux: there is a slight difference in intent, when you put assert false, you acknowledge that there is an invariant (and if it breaks, it points you to the line), And in my book, assert should come with a message describing the invariant ...
Wandering_Glitch is now known as WanderingGlitch
BitPuffin has quit [Ping timeout: 246 seconds]
<flux>
well, the effect is virtually the same, except one produces a warning, the other doesn't
adr has quit [Client Quit]
mort___ has joined #ocaml
Anarchos has joined #ocaml
<flux>
the effect of making it a hard error would just be making using toplevel a bit more diffcult ;)
darkf has quit [Quit: Leaving]
<Drup>
except it could give bad habits to beginners...
<Drup>
"meh, it's just a warning, no worries"
<flux>
well, at times it's just darn convenient to just write let Some value = get_optional_value () when playing with stuff in the toplevel.
<Drup>
that's just because there is no Option.get in the stdlib :>
<dmbaturin>
Drup: I have to confess I used it with types other than option that had multiple n-ary constructors. :)
mcclurmc has joined #ocaml
<dmbaturin>
I agree making it an error by default could be a good idea though.
shinnya has joined #ocaml
Haudegen has joined #ocaml
<ilia>
I have a question about Map
asQuirreL has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
<ilia>
Say, I want to parse a comma separated string and put results not in a list but in a Map. how to do this?
<flux>
drup, isn't Option.get even worse (no warning), if you mean a variant without a default value?-)
<flux>
ilia, so how do you put them to a list?
<flux>
one by one?
<ilia>
let parse_prefs sep str =
<ilia>
let string_index_from i =
<ilia>
try Some (String.index_from str i sep)
<ilia>
with Not_found -> None in
<ilia>
let rec aux i n x =
<ilia>
match string_index_from i with
<ilia>
|Some m->let m=StringMap.add (String.sub str i (m-i)) n x in aux (succ m) (succ n) m
<ilia>
|None -> let m = StringMap.add (String.sub str i (String.length str-i)) n x
<ilia>
in aux 0 1 StringMap.empty
<flux>
pastebins are great..
<ilia>
This does not work, but if I use list instead of StringMap it works
<octachron>
ilia: ok, the syntax error comes from line 12 "| None -> let m= " . Why are you using a `let m = ` here?
uris77 has joined #ocaml
<ilia>
for me it is on line 15 some how. I want this function to return a StringMap. let m = on line 12 adds last element to StringMap
<octachron>
you should think of "let x = something in e " as a way to introduce a short name "x" for "something" inside the expression e.
<octachron>
Where are you using the name m that you define on line 12 ?
<ilia>
in a call to recursive aux
<ilia>
in aux (succ m) (succ n) m
<octachron>
That is for the name "m" introduced on line 11.
<ilia>
yes, on line 12 the name is not used, right
<octachron>
worse than that, for the compiler it is used in the expression "let m = ... in aux 0 1 String.Map empty"
Algebr has quit [Remote host closed the connection]
<ilia>
well, I put this on line 12 let x = StringMap.add (String.sub str i (String.length str-i)) n x in x
<ilia>
and it does the job
<ilia>
many thanks!!
<ilia>
wow
MercurialAlchemi has quit [Remote host closed the connection]
MercurialAlchemi has joined #ocaml
<octachron>
you don't need the "let x = something in x", you can write "something" directly
<ilia>
it complains then if I put |None -> StringMap.add (String.sub str i (String.length str-i)) n x
<ilia>
it tells me that different types are used for pattern matching
<ilia>
I was scratching my head for hours
<octachron>
doesn't the compiler complains rather at line 11?
<ilia>
yes, at line 11
<ilia>
rror: This expression has type 'a StringMap.t = 'a Map.Make(String).t
<ilia>
but an expression was expected of type int
willy_ has left #ocaml ["Leaving"]
Algebr has joined #ocaml
ygrek has joined #ocaml
mort___ has quit [Quit: Leaving.]
<octachron>
hint "aux (succ m) (succ n) m": how many m do you see?
<Algebr>
I did a opam upgrade, it upgraded merlin, now merlin doesn't give the correct completions for String. after having open Core.Std at the top. Much sadness.
<ilia>
I changed name m
<ilia>
it was a typo
<ilia>
I apologize
<octachron>
ilia: don't apologize for being human
thomasga has quit [Quit: Leaving.]
ygrek has quit [Ping timeout: 250 seconds]
thomasga has joined #ocaml
tristero has quit [Quit: tristero]
seanmcl has quit [Ping timeout: 255 seconds]
tristero has joined #ocaml
tristero has quit [Changing host]
tristero has joined #ocaml
seanmcl has joined #ocaml
waneck has joined #ocaml
octachron has quit [Quit: Leaving]
shinnya has quit [Ping timeout: 264 seconds]
uris77 has quit [Quit: leaving]
<struktured>
would it be wrong to stash the entire .opam folder into a git repo?
pyon has joined #ocaml
<Algebr>
it would be pretty damn big right
mort___ has joined #ocaml
<struktured>
2.5 GB
<struktured>
def not the biggest repo at my company, but yeah what i'm really curious about would be size of the diffs, if I upgrade a package. I imagine git would actually be relatively efficient about it
<struktured>
although binary data probably has worst case diff size
<struktured>
at least its localized to the package binaries being upgraded
dav has joined #ocaml
yomimono has quit [Ping timeout: 256 seconds]
nojb has quit [Ping timeout: 272 seconds]
ncthom91 has joined #ocaml
sdothum has quit [Quit: ZNC - 1.6.0 - http://znc.in]
sdothum has joined #ocaml
seanmcl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
mort___ has quit [Quit: Leaving.]
jwatzman|work has joined #ocaml
seanmcl has joined #ocaml
mort___ has joined #ocaml
MrScout has joined #ocaml
TheLemonMan has joined #ocaml
jonludlam has quit [Ping timeout: 276 seconds]
dav has quit [Ping timeout: 245 seconds]
dsheets has quit [Ping timeout: 258 seconds]
<avsm1>
struktured: ive done that locally. it's ok…
<avsm1>
there's a vague plan to attempt to mash opam+irmin together to have ~/.opam explicitly Git managed (so revert back from upgrade is a git branch). No code yet though
mort___ has quit [Quit: Leaving.]
MrScout has quit [Remote host closed the connection]
nullcat has joined #ocaml
seako has quit [Quit: Connection closed for inactivity]
hilquias has quit [Remote host closed the connection]
thomasga has quit [Ping timeout: 256 seconds]
<struktured>
avsm1: cool, that would be interesting
<struktured>
I just pushed a repo to our main git host and it survived, but it was just opam + ocaml basically
<struktured>
avsm1: is there a github project or something behind the vague plan?
manizzle has quit [Ping timeout: 246 seconds]
jyeo has quit [Quit: Connection closed for inactivity]
jonludlam has joined #ocaml
<avsm1>
nope, waiting for fileutils to go into opam and then planning to hack it in to see what it looks like
avsm1 has quit [Quit: Leaving.]
wraithm has joined #ocaml
ggole has quit []
ygrek has joined #ocaml
djellemah__ has quit [Ping timeout: 256 seconds]
<apache2>
are you involved with the package signing work too?
dav has joined #ocaml
ygrek has quit [Remote host closed the connection]
octachron has joined #ocaml
ygrek has joined #ocaml
Algebr has quit [Remote host closed the connection]
<dmbaturin>
Package signings for opam?
<dmbaturin>
* signing
shinnya has joined #ocaml
nullcat has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
<apache2>
yes
uris77 has joined #ocaml
manizzle has joined #ocaml
MrScout has joined #ocaml
Kakadu has quit [Quit: Page closed]
wraithm has quit [Ping timeout: 240 seconds]
mort___ has joined #ocaml
rand000 has quit [Ping timeout: 256 seconds]
Choups314 has joined #ocaml
olibjerd_ has quit [Ping timeout: 265 seconds]
Choups314 has quit [Client Quit]
Choups314 has joined #ocaml
<Denommus>
if I don't declare the variants of my type in the mli file, will the constructors be private?
<Denommus>
e.g., type foo = Foo | Bar
<Denommus>
in the mli is just type foo
Choups314 has quit [Client Quit]
Choups314 has joined #ocaml
<cmtptr>
yes
<Denommus>
great
kandu has quit [Ping timeout: 264 seconds]
<flux>
my .opam was about 1.6G, the .git became less than 600M
<flux>
seems ok. nice idea ;-)
nullcat_ has joined #ocaml
thomasga has joined #ocaml
Algebr has joined #ocaml
BitPuffin|osx has joined #ocaml
pkrnj has joined #ocaml
mort___ has quit [Quit: Leaving.]
Haudegen has quit [Ping timeout: 264 seconds]
lordkryss has quit [Quit: Connection closed for inactivity]
Kakadu has joined #ocaml
MrScout has quit [Remote host closed the connection]
osa1 has joined #ocaml
Haudegen has joined #ocaml
<osa1>
is anyone using vim to write OCaml? I'm using default OCaml setup(sytax file etc.) and comment formatting is driving me crazy. does anyone know any better vim syntax files? I'd really like to be able to select an OCaml comment and `gq` to format it.
Cyanure has quit [Remote host closed the connection]
rand000 has joined #ocaml
<octachron>
osa1: uninformed proposition, have you tried merlin?
<cmtptr>
osa1, :help format-comments
<cmtptr>
you could put a "setl com=..." in ~/.vim/after/ftplugin/ocaml.vim I do this for lua
matason has quit []
<osa1>
octachron: as far as I can see it doesn't add anything to syntax handling
<osa1>
I'm having this same problem in Coq too.. it seems like vim is having trouble formatting OCaml style comments for some reason.
<cmtptr>
it formats them like /* */ in c on mine
<Anarchos>
osa1 how do you format automatically your code in vim ? I don't know how to do it.
asQuirreL has joined #ocaml
<osa1>
Anarchos: == does indentation. gq formats selected text.
<osa1>
Anarchos: try setting textwidth=80 and gq for long comments, for example
matason has joined #ocaml
Algebr has quit [Ping timeout: 256 seconds]
<apache2>
cmtptr: same. I'm quite happy with that. (* bla bla\n * next line\n *)
<cmtptr>
yeah, that
pkrnj has quit [Quit: Computer has gone to sleep.]
<cmtptr>
but as I said, you can change it by setting com in after/ftplugin (or some other after, probably). I can't remember the syntax of this variable's value, though. it's kind of cryptic. you'll have to read about it
fraggle-boate__ has quit [Ping timeout: 256 seconds]
octachron has quit [Quit: Leaving]
<Denommus>
in oasis, if I have two different compilation units, can I say that the module of one is nested inside the module of the other?
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<Denommus>
for example, say I have foo.ml, foo.mli, bar.ml and bar.mli. I want foo to generate a module Foo, and bar to generate a module Foo.Bar
uris77_ has joined #ocaml
uris77 has quit [Ping timeout: 240 seconds]
wraithm has joined #ocaml
kushal has quit [Quit: Leaving]
slash^ has quit [Read error: Connection reset by peer]
nullcat_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
nojb has quit [Quit: nojb]
seanmcl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
Choups314 has quit [Quit: Leaving]
matason has joined #ocaml
ygrek has quit [Ping timeout: 264 seconds]
nullcat has joined #ocaml
Intensity has quit [Ping timeout: 244 seconds]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
nullcat has quit [Ping timeout: 252 seconds]
Simn has quit [Quit: Leaving]
osa1 has quit [Ping timeout: 255 seconds]
kandu has joined #ocaml
kandu is now known as Guest84906
<struktured>
sigh why does my company still use RHEL 4.4 ..it's 10 years old. Don't think opam even existed back then, can't find an rpm for it. Now I have to wait out their RHEL 5/6 migration
<struktured>
suppose I could get a build server going with that version somewhere
ingsoc has quit [Quit: Leaving.]
uris77_ has quit [Read error: Connection reset by peer]
Haudegen has quit [Ping timeout: 272 seconds]
uris77 has joined #ocaml
<Khady_>
I installed opam on a centos 5
<Khady_>
I had to compile ocaml and opam by hand
<Khady_>
but it works well
<Khady_>
you can probably do the same
<Hannibal_Smith>
struktured, just as a curiosity, why your company will not consider RHEL7?
<smondet>
struktured: opam's makefile has a `make cold` target that builds ocaml and then opam
<smondet>
pretty easy to get it working any-non-windows-where
shum has joined #ocaml
sdothum- has joined #ocaml
sdothum has quit [Ping timeout: 252 seconds]
ncthom91 has joined #ocaml
shum has quit [Ping timeout: 276 seconds]
MercurialAlchemi has quit [Ping timeout: 256 seconds]
matason has quit []
<dmbaturin>
struktured: Didn't RH EOL it lately?
Haudegen has joined #ocaml
pkrnj has joined #ocaml
Guest84906 is now known as kandu
<struktured>
smondet: oh that's interesting will try it
<struktured>
Hannibal_Smith: I don't know I wasn't part of that decision making process. I do hope it's at least 6
osa1 has joined #ocaml
<Hannibal_Smith>
Ok, I was curious because 7 was really a big release, and we are not at 7.1 so it should be considerated stable
<Hannibal_Smith>
Thank you for your response
<struktured>
dmbaturin: RHEL 4 has support until 2017
<struktured>
Hannibal_Smith: I will say my company tends to be ultraconservative. Also our team requires linux more than the rest of the firm. They usually force people into choosing solaris, which I despise
<struktured>
I understand that's changing, but not holding my breath
<struktured>
Khady_: why did you have do it by hand for the series 5 ? I saw rpms for both ocaml and opam
<nullcat__>
... didn't see how to use it in wiki page
<struktured>
it just works if you have the ppx extension in your merlin pkg list I believe
badon has quit [Disconnected by services]
badon_ has joined #ocaml
<nullcat__>
nice. thx
<struktured>
ppx_import is a little trickier btw. no guarantees with that one
badon_ is now known as badon
Haudegen has quit [Ping timeout: 250 seconds]
nullcat__ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
<struktured>
smondet: holy crap, make cold is god like.
rand000 has quit [Quit: leaving]
<struktured>
I owe you a drink for that one
<Khady_>
struktured: I found packages for centos 6 and 7 but not 5 on opam's website. So I compiled everything myself. Faster than looking for repositories everywhere on google
Khady_ is now known as Khady
<struktured>
Khady: oh yes, you're right. this make cold thing is awesome. If you didn't use it last time you missed out.
<Khady>
Yes, I feel stupid
<Khady>
I hope that it will work on windows too soon
asQuirreL has quit [Read error: Connection reset by peer]
asQuirreL has joined #ocaml
<struktured>
does it work on mac? I have to be an ocaml salesman and illusionist for next couple months...mac tips will be appreciated, have no experience with them and ocaml
<struktured>
my hunch is they work great because its unix, mostly
<Khady>
Yes, good support of osx
<smondet>
struktured: yes, `make cold` is great; I have not problems with macosx, I just get opam with homebrew; I've heard some people having problems getting `aspcud` with Yosemite (latest version)
hay207 has quit [Quit: Leaving]
Kakadu has quit [Remote host closed the connection]
ontologiae has quit [Ping timeout: 244 seconds]
jwatzman|work has quit [Quit: jwatzman|work]
dav has quit [Ping timeout: 240 seconds]
jonludlam has quit [Ping timeout: 272 seconds]
<struktured>
cool, what I like about make cold is I can make a script which generates an image for every setup we have internally, which is just mac, ubuntu14, and rhel 4 (to become 6 soon).