<trix>
rkv: use C-l to cycle center the line in the middle, bottom, or top
cross has quit [Ping timeout: 252 seconds]
<nullcatxxx_>
hope everyone here is fine...
<rkv>
trix: ooh, most other comint buffers just scroll again when you input something, *utop* doesn't. thanks
cross has joined #ocaml
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
nullcatxxx_ has joined #ocaml
<trix>
rkv: no problem
madroach has quit [Ping timeout: 260 seconds]
madroach has joined #ocaml
zpe has joined #ocaml
rkv has quit [Remote host closed the connection]
zpe has quit [Ping timeout: 252 seconds]
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
jwatzman|work has quit [Quit: jwatzman|work]
tautologico has quit [Quit: Connection closed for inactivity]
^elyse^ has quit [Quit: Leaving...]
rgrinberg2 has joined #ocaml
swgillespie has quit [Ping timeout: 240 seconds]
swgillespie has joined #ocaml
Nahra has quit [Read error: Connection reset by peer]
nullcatxxx_ has joined #ocaml
swgillespie has quit [Client Quit]
igoroliveira has joined #ocaml
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
marynate has joined #ocaml
rand has quit [Quit: leaving]
ryanartecona has quit [Quit: ryanartecona]
Algebr has joined #ocaml
shinnya has joined #ocaml
jwatzman|work has joined #ocaml
Algebr has quit [Ping timeout: 260 seconds]
marynate has quit [Quit: Leaving]
swgillespie has joined #ocaml
nullcatxxx_ has joined #ocaml
zpe has joined #ocaml
ontologiae has quit [Ping timeout: 240 seconds]
zpe has quit [Ping timeout: 265 seconds]
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
swgillespie has joined #ocaml
AltGr has joined #ocaml
swgillespie has quit [Client Quit]
fluter has quit [Ping timeout: 240 seconds]
julienXX has quit [Ping timeout: 240 seconds]
tokenrove has quit [Ping timeout: 240 seconds]
tumdum has quit [Ping timeout: 255 seconds]
julienXX has joined #ocaml
julienXX has joined #ocaml
tokenrove has joined #ocaml
tumdum has joined #ocaml
fluter has joined #ocaml
ril has joined #ocaml
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
Algebr has joined #ocaml
Bahman has joined #ocaml
swgillespie has joined #ocaml
swgillespie has quit [Client Quit]
nullcatxxx_ has joined #ocaml
nullcatxxx_ has quit [Read error: Connection reset by peer]
nullcatx_ has joined #ocaml
moei has quit [Read error: Connection reset by peer]
moei has joined #ocaml
ceryo has joined #ocaml
ceryo_ has joined #ocaml
ceryo has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
ceryo_ has quit [Ping timeout: 240 seconds]
JuggleTux has joined #ocaml
swgillespie has joined #ocaml
JuggleTux has left #ocaml [#ocaml]
igoroliveira has quit [Quit: Connection closed for inactivity]
ygrek_ has quit [Ping timeout: 244 seconds]
zpe has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
zpe has quit [Ping timeout: 264 seconds]
tmtwd has quit [Ping timeout: 240 seconds]
swgillespie has quit [Max SendQ exceeded]
swgillespie has joined #ocaml
mac10688 has quit [Ping timeout: 240 seconds]
darkf has joined #ocaml
johnf has quit [Remote host closed the connection]
ril has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
darkf has quit [Read error: Connection reset by peer]
darkf has joined #ocaml
larhat1 has joined #ocaml
<fds>
Indeed, my sympathies to the people of Paris. Vive la France et vive la liberté.
Cypi_ has joined #ocaml
shinnya_ has joined #ocaml
cow-orker has joined #ocaml
hannes` has joined #ocaml
lyxia_ has joined #ocaml
truncate has joined #ocaml
tokenrov1 has joined #ocaml
swgillespie has quit [*.net *.split]
tumdum has quit [*.net *.split]
tokenrove has quit [*.net *.split]
shinnya has quit [*.net *.split]
nicoo has quit [*.net *.split]
Fleurety has quit [*.net *.split]
Cypi has quit [*.net *.split]
lyxia has quit [*.net *.split]
larhat has quit [*.net *.split]
cow-orke1 has quit [*.net *.split]
vishesh has quit [*.net *.split]
hannes has quit [*.net *.split]
toscan has quit [*.net *.split]
zapu has quit [*.net *.split]
tumdum_ has joined #ocaml
toscan has joined #ocaml
ygrek_ has joined #ocaml
Fleurety has joined #ocaml
nicoo has joined #ocaml
zapu has joined #ocaml
nicoo has quit [Changing host]
nicoo has joined #ocaml
jwatzman|work has quit [Quit: jwatzman|work]
ygrek_ has quit [Ping timeout: 240 seconds]
toscan has quit [Ping timeout: 250 seconds]
srax has quit [Ping timeout: 250 seconds]
srcerer has quit [Ping timeout: 250 seconds]
fds has quit [Ping timeout: 250 seconds]
thorsten` has quit [Ping timeout: 250 seconds]
oldmanistan_ has quit [Ping timeout: 250 seconds]
emmanueloga has quit [Ping timeout: 250 seconds]
S11001001 has quit [Ping timeout: 250 seconds]
tvaalen has quit [Ping timeout: 250 seconds]
mankyKitty has quit [Ping timeout: 250 seconds]
TheAuGingembre has quit [Ping timeout: 250 seconds]
hannes` has quit [Ping timeout: 250 seconds]
srcerer_ has joined #ocaml
hannes has joined #ocaml
octopus has joined #ocaml
NhanH_ has joined #ocaml
fds_ has joined #ocaml
srax1 has joined #ocaml
noplamodo_ has joined #ocaml
zozozo has joined #ocaml
zozozo has quit [Ping timeout: 250 seconds]
jun_ has quit [Ping timeout: 250 seconds]
strmpnk has quit [Ping timeout: 250 seconds]
NhanH has quit [Ping timeout: 250 seconds]
jyc has quit [Ping timeout: 250 seconds]
profan has quit [Ping timeout: 250 seconds]
noplamodo has quit [Ping timeout: 250 seconds]
jkni has quit [Ping timeout: 250 seconds]
msch has quit [Ping timeout: 250 seconds]
oskarth has quit [Ping timeout: 250 seconds]
sheijk_ has quit [Ping timeout: 250 seconds]
ski has quit [Ping timeout: 250 seconds]
jun_ has joined #ocaml
sheijk has joined #ocaml
ski has joined #ocaml
TheAuGingembre has joined #ocaml
thorsten` has joined #ocaml
jyc has joined #ocaml
oldmanistan_ has joined #ocaml
strmpnk has joined #ocaml
msch has joined #ocaml
mankyKitty has joined #ocaml
jkni has joined #ocaml
S11001001 has joined #ocaml
oskarth has joined #ocaml
emmanueloga has joined #ocaml
zpe_ has joined #ocaml
zpe_ has quit [Ping timeout: 250 seconds]
<python476>
sgeisenh: are you there ?
zol has quit [Ping timeout: 244 seconds]
ygrek_ has joined #ocaml
_2can_ has joined #ocaml
tokenrov1 has quit [Ping timeout: 244 seconds]
_2can has quit [Ping timeout: 244 seconds]
jave has quit [Ping timeout: 244 seconds]
IbnFirnas has quit [Ping timeout: 244 seconds]
eikke has quit [Ping timeout: 244 seconds]
stomp_ has quit [Ping timeout: 244 seconds]
stomp has joined #ocaml
tokenrove has joined #ocaml
eikke has joined #ocaml
jimt has quit [Read error: Connection reset by peer]
jave has joined #ocaml
jimt has joined #ocaml
tobiasBora has quit [Ping timeout: 244 seconds]
IbnFirnas has joined #ocaml
zol has joined #ocaml
tobiasBora has joined #ocaml
slash^ has joined #ocaml
pierpa` has quit [Ping timeout: 260 seconds]
badon has quit [Disconnected by services]
badon_ has joined #ocaml
badon_ is now known as badon
mattrepl_ has joined #ocaml
mrvn_ has joined #ocaml
pippijn_ has joined #ocaml
mattrepl has quit [Ping timeout: 255 seconds]
mrvn has quit [Ping timeout: 255 seconds]
pippijn has quit [Ping timeout: 255 seconds]
cow-orker has quit [Ping timeout: 255 seconds]
contempt has quit [Ping timeout: 255 seconds]
w1gz has quit [Ping timeout: 255 seconds]
inr has quit [Ping timeout: 255 seconds]
low-prof1 has quit [Ping timeout: 255 seconds]
k1000 has quit [Ping timeout: 255 seconds]
SHODAN has quit [Ping timeout: 255 seconds]
Ravana has quit [Ping timeout: 255 seconds]
natimic has quit [Ping timeout: 255 seconds]
jbrown has quit [Ping timeout: 255 seconds]
hbar has quit [Ping timeout: 255 seconds]
Drup has quit [Ping timeout: 255 seconds]
Druup has joined #ocaml
cow-orke1 has joined #ocaml
mattrepl_ is now known as mattrepl
contempt has joined #ocaml
smondet has quit [Ping timeout: 255 seconds]
k1000 has joined #ocaml
SHODAN has joined #ocaml
smondet has joined #ocaml
low-prof1 has joined #ocaml
jbrown has joined #ocaml
inr has joined #ocaml
hbar has joined #ocaml
Ravana has joined #ocaml
w1gz has joined #ocaml
aantron has joined #ocaml
zpe_ has joined #ocaml
MercurialAlchemi has joined #ocaml
zpe_ has quit [Ping timeout: 240 seconds]
echo-area has joined #ocaml
<echo-area>
Can corebuild be used with oasis?
ygrek_ has quit [Ping timeout: 260 seconds]
NhanH_ is now known as NhanH
Cypi_ is now known as Cypi
fluter has quit [Ping timeout: 240 seconds]
fluter has joined #ocaml
psy__ has joined #ocaml
<adrien>
echo-area: corebuild is ocamlbuild with a few default options; what are you trying to actually achieve?
<echo-area>
adrien: I am using oasis to creating my first OCaml project. I used to use corebuild and want to setup this project to use the same flags as provided by it
coody has quit [Quit: Connection closed for inactivity]
<echo-area>
*create
<echo-area>
Somehow INSTALL.txt, setup.ml and setup.data refer corebuild, but I don't see why
<adrien>
corebuild merely instructs ocamlbuild to use ocamlfind (oasis does the same) and tells it to compile and link against Core libraries
<adrien>
you need to get the names of the libraries you are going to use but that's it
<echo-area>
How do I enable display of ocamlbuild invocations during `ocaml setup.ml -build`? I tried -debug but nothing shows
<adrien>
pipe to cat
<adrien>
ocaml setup.ml -build | cat
<adrien>
almost-universal trick
rgrinberg2 has quit [Ping timeout: 260 seconds]
<echo-area>
I see, thanks.
AltGr has left #ocaml [#ocaml]
orbifx has joined #ocaml
zpe has joined #ocaml
zpe has quit [Ping timeout: 240 seconds]
tvaalen_ has joined #ocaml
tvaalen_ is now known as tvaalen
lyxia_ is now known as lyxia
^elyse^ has joined #ocaml
nullcatx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
<echo-area>
Should I add generated files, e.g. _tags, to my repository? They are auto-generated but I find I need to add contents outside of the OASIS section in them
tmtwd has joined #ocaml
contempt has quit [Disconnected by services]
contempt has joined #ocaml
tmtwd has quit [Ping timeout: 250 seconds]
fds_ is now known as fds
fds has quit [Changing host]
fds has joined #ocaml
Bahman has quit [Quit: Ave atque vale]
orbifx has quit [Quit: AtomicIRC: The nuclear option.]
martintrojer has quit [Ping timeout: 276 seconds]
hannes` has joined #ocaml
hannes has quit [Disconnected by services]
hannes` is now known as hannes
orbitz_ has joined #ocaml
orbifx has joined #ocaml
hubertus21_ has joined #ocaml
lopex_ has joined #ocaml
<adrien>
anyone has the best(tm) link for the MOOC?
mankyKitty_ has joined #ocaml
Enjolras has joined #ocaml
srax1 is now known as srax
j0sh__ has joined #ocaml
rom1504_ has joined #ocaml
sivoais_ has joined #ocaml
nopf_ has joined #ocaml
Asmadeus_ has joined #ocaml
mankyKitty has quit [Ping timeout: 252 seconds]
lopex has quit [Ping timeout: 252 seconds]
hubertus21 has quit [Ping timeout: 252 seconds]
lpaste_ has quit [Ping timeout: 252 seconds]
l1x has quit [Ping timeout: 252 seconds]
slash^ has quit [Ping timeout: 252 seconds]
j0sh has quit [Ping timeout: 252 seconds]
rom1504 has quit [Ping timeout: 252 seconds]
baum has quit [Ping timeout: 252 seconds]
clog has quit [Ping timeout: 252 seconds]
S11001001 has quit [Ping timeout: 252 seconds]
sivoais has quit [Ping timeout: 252 seconds]
fraggle_ has quit [Ping timeout: 252 seconds]
mietek has quit [Ping timeout: 252 seconds]
lambdahands has quit [Ping timeout: 252 seconds]
_andre has quit [Ping timeout: 252 seconds]
bbc has quit [Ping timeout: 252 seconds]
nopf has quit [Ping timeout: 252 seconds]
bobpoekert has quit [Ping timeout: 252 seconds]
cantstanya has quit [Ping timeout: 252 seconds]
Asmadeus has quit [Ping timeout: 252 seconds]
orbitz has quit [Ping timeout: 252 seconds]
igitoor has quit [Ping timeout: 252 seconds]
kalzz has quit [Ping timeout: 252 seconds]
Enjolras_ has quit [Ping timeout: 252 seconds]
schoppenhauer has quit [Ping timeout: 252 seconds]
Simn has joined #ocaml
_andre has joined #ocaml
bbc has joined #ocaml
igitoor_ has joined #ocaml
mietek has joined #ocaml
hubertus21_ is now known as hubertus21
baum has joined #ocaml
cartwright has joined #ocaml
lopex_ is now known as lopex
mankyKitty_ is now known as mankyKitty
clog has joined #ocaml
fraggle_ has joined #ocaml
bobpoekert has joined #ocaml
lpaste has joined #ocaml
Haudegen has quit [Ping timeout: 250 seconds]
kalzz has joined #ocaml
schoppenhauer has joined #ocaml
slash^ has joined #ocaml
l1x has joined #ocaml
sivoais_ has quit [Ping timeout: 260 seconds]
lambdahands has joined #ocaml
sh0t has joined #ocaml
sivoais has joined #ocaml
igitoor_ has joined #ocaml
igitoor_ has quit [Changing host]
S11001001 has joined #ocaml
igitoor_ is now known as igitoor
Algebr has quit [Ping timeout: 240 seconds]
Haudegen has joined #ocaml
zpe has joined #ocaml
zpe has quit [Ping timeout: 244 seconds]
aantron has quit [Remote host closed the connection]
<^elyse^>
Today is a beautiful day because lots of OCaml to do. :D
<python476>
curry on
ollehar has joined #ocaml
<ollehar>
my condolences to paris.
govg has joined #ocaml
orbifx has quit [Ping timeout: 250 seconds]
ggole has joined #ocaml
martintrojer has joined #ocaml
echo-area has quit [Read error: Connection reset by peer]
echo-area has joined #ocaml
Bahman has joined #ocaml
ontologiae has joined #ocaml
mrvn_ is now known as mrvn
zpe has joined #ocaml
Asmadeus_ is now known as Asmadeus
zpe_ has joined #ocaml
zpe has quit [Ping timeout: 240 seconds]
ontologiae has quit [Ping timeout: 240 seconds]
mort___ has joined #ocaml
AlexRussia has quit [Quit: WeeChat 1.4-dev]
^elyse^ has quit [Quit: Leaving...]
Algebr has joined #ocaml
AlexRussia has joined #ocaml
Algebr has quit [Ping timeout: 260 seconds]
sh0t has quit [Ping timeout: 250 seconds]
ollehar has quit [Quit: ollehar]
mort___ has quit [Quit: Leaving.]
^elyse^ has joined #ocaml
zpe has joined #ocaml
zpe_ has quit [Ping timeout: 250 seconds]
sh0t has joined #ocaml
<^elyse^>
How can I do the equivalent of "module String_map = Map.Make (String)" in a signature file?
<^elyse^>
I also prefer not to need to have the ml file repeat it
<mrvn>
module String_map = Map.S with type t = foo
<ggole>
module String_map : Map.S with type t = string
ril[away] has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
ncthom91 has quit [Client Quit]
gsingh93_ has joined #ocaml
ril has joined #ocaml
segmond has joined #ocaml
mort___ has quit [Quit: Leaving.]
zpe has joined #ocaml
trix has quit [Ping timeout: 260 seconds]
Bahman has joined #ocaml
zpe has quit [Ping timeout: 252 seconds]
slash^ has quit [Read error: Connection reset by peer]
rgrinberg2 has joined #ocaml
trix has joined #ocaml
trix is now known as Guest81320
aantron has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
Algebr has joined #ocaml
mort___ has joined #ocaml
nullcatxxx_ has joined #ocaml
psy__ has quit [Read error: Connection reset by peer]
rgrinberg2 has quit [Ping timeout: 240 seconds]
mort___ has quit [Quit: Leaving.]
Kakadu has joined #ocaml
Algebr has quit [Remote host closed the connection]
ril is now known as ril[away]
darkf has quit [Quit: Leaving]
aantron has quit [Remote host closed the connection]
Guest81320 has quit [Ping timeout: 240 seconds]
ontologiae_ has joined #ocaml
ygrek_ has joined #ocaml
mort___ has joined #ocaml
wolfcore has joined #ocaml
wolfcore is now known as Guest64718
zpe has joined #ocaml
mort___ has quit [Quit: Leaving.]
zpe has quit [Ping timeout: 276 seconds]
ontologiae has quit [Ping timeout: 250 seconds]
tkr has joined #ocaml
Bahman has quit [Quit: Ave atque vale]
emias has joined #ocaml
ontologiae_ has quit [Quit: WeeChat 1.0.1]
ontologiae has joined #ocaml
swgillespie has joined #ocaml
swgillespie has quit [Client Quit]
tane has joined #ocaml
ceryo has joined #ocaml
Guest64718 has quit [Changing host]
Guest64718 has joined #ocaml
Guest64718 is now known as trix
ryanartecona has quit [Quit: ryanartecona]
ceryo_ has joined #ocaml
ceryo has quit [Ping timeout: 260 seconds]
trix has quit [Ping timeout: 276 seconds]
ceryo_ has quit [Client Quit]
ontologiae has quit [Ping timeout: 244 seconds]
types has joined #ocaml
<types>
is someone here using atdgen?
trix has joined #ocaml
trix is now known as Guest18046
^elyse^ has joined #ocaml
zpe has joined #ocaml
^elyse^ has quit [Quit: Leaving]
dhil has joined #ocaml
raphaelss has joined #ocaml
dhil has quit [Client Quit]
mort___ has joined #ocaml
jgjl has joined #ocaml
<reynir>
I have used atdgen, but a while ago
aantron has joined #ocaml
Guest18046 has quit [Ping timeout: 252 seconds]
<aantron>
does anyone have experience with ocamldoc dropping special comments that are not associated with a signature element, such as sections?
Simn has quit [Quit: Leaving]
wolfcore has joined #ocaml
wolfcore is now known as Guest57237
sh0t has joined #ocaml
<Druup>
aantron: yes, issue with ocaml 4.02.3
<aantron>
okay, thank you
<ygrek_>
types, I am sure someone here is using atdgen, but I guess it is not the question that you really wanted to ask
meiji11` has joined #ocaml
<Druup>
aantron: just stumble upon lambda-soup
<Druup>
seeing the dependencies, I guess you don't have your own fuzzy html5 parser ?
<aantron>
nope, not yet at least :)
<Druup>
you should make clear in the documentation that you use ocamlnet's one
<Druup>
(also, afaik, ocamlnet's parser is HTML4 or XHTML, not html5
<aantron>
yeah, i think i do - let me know if you dont think its clear though
<aantron>
i have a test for at least html5 tags
<Druup>
ah, yes, it's in the instalation part, which I skipped :D
<aantron>
and the parser seems to be okay with <!DOCTYPE html>
<Druup>
yeah, the differences are more subtle than that
<Druup>
(error modes, iirc)
<aantron>
perhaps it should be a next project then :)
<Druup>
Yeah, I'm not interested by html scraping, but I'm quite interested by having a good parser :p
<Druup>
(and I'm not the only one)
rand has joined #ocaml
<Druup>
(but I don't want to use ocamlnet)
<aantron>
what would you be looking for in a parser?
<Druup>
html to tyxml
<aantron>
yeah, i want to write several simple libraries that do 1 thing. im not very happy with ocamlnet as a dependency
<aantron>
one thing each that is :)
<aantron>
but i dont think i know enough about use cases yet to design a good html parser interface
<aantron>
i guess i could cheat and look at other languages' libraries. but let me know if you know of any mailing list posts, SO questions, and the like, that describe what people are missing
rgrinberg2 has joined #ocaml
<Druup>
don't worry, you'll have opinions on the API :D
<Druup>
in my case, I want to have the choice of structure, so the parser shouldn't force a data structure on me
<Druup>
(which means two possibilities, functor or SAX-style events, a la xmlm)
jgjl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
<aantron>
ok, i was thinking of something like 2 layers, first with some form of events, second provides some data structure built from them for convenience. lambda soup wants events as well
<types>
ygrek_: thats correct, i thinking about contributing a python backend for atdgen and was wondering if there are others who might use that
rgrinberg2 has quit [Ping timeout: 255 seconds]
<Druup>
aantron: yes, that seems good
<Druup>
types: I would think most people here at OCamlers, hence would have little interest to python backends :]
eni has joined #ocaml
ril[away] is now known as ril
rgrinberg2 has joined #ocaml
<types>
Druup: unfortunately not all software is written in OCaml so interoperability is sometimes inevitable
Druup is now known as Drup
<ygrek_>
mfp, ^^
<ygrek_>
afaik there is ruby backend
<ygrek_>
I personally would be more interested in c++ or rust backend
djellemah has quit [Ping timeout: 250 seconds]
ril has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
^elyse^ has joined #ocaml
types has quit [Ping timeout: 246 seconds]
slimane has joined #ocaml
python476 has quit [Ping timeout: 246 seconds]
BitPuffin|osx has quit [Ping timeout: 240 seconds]
Nahra has joined #ocaml
sh0t has quit [Ping timeout: 240 seconds]
systmkor has joined #ocaml
Nahra has quit [Remote host closed the connection]
Nahra has joined #ocaml
eni has quit [Quit: Leaving]
rgrinberg2 has quit [Ping timeout: 240 seconds]
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
zpe has quit [Ping timeout: 264 seconds]
tane has quit [Ping timeout: 276 seconds]
MercurialAlchemi has quit [Ping timeout: 246 seconds]
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
mort___ has quit [Quit: Leaving.]
Guest57237 has quit [Changing host]
Guest57237 has joined #ocaml
Guest57237 is now known as trix
coody has quit [Quit: Connection closed for inactivity]
tane has joined #ocaml
ygrek_ has quit [Ping timeout: 260 seconds]
ncthom91 has joined #ocaml
lewis1711 has joined #ocaml
slimane has quit [Read error: Connection reset by peer]
kay has joined #ocaml
<lewis1711>
let's say i have some function f : 'a -> 'b option. and a list xs: 'a list. I want to go through a list, apply f to all of them, and return either f applied to every element, or just none. is there a fancy functional way of doing it? I can think of the imperative way very easily (except I'd have to use a stack instead of a list)
<companion_cube>
so you want ('a -> 'b option) -> 'a list -> 'b list option
Nahra has quit [Read error: Connection reset by peer]
<lewis1711>
companion_cube, yeah, right that's a much clearer way of writing it
<lewis1711>
I can think of a few solutions though. do a filter_map and check the size of the result list compared to the original. or find the defn of map using folds, and have an early terminate condition
<companion_cube>
I'd use map + an exception
<dmbaturin>
lewis1711: Wait, what defines whether you return a list of None?
<companion_cube>
try Some(List.map (fun x-> match f x with None -> raise Exit | Some z >z) [C[C)l with Exit -> None
<lewis1711>
actually that's much better idea companion_cube
<lewis1711>
dmbaturin, a list if the function returns Some for everything. else none
<lewis1711>
judging from that site it's a mapM
<dmbaturin>
Yes, this would fit the monad model nicely.
<companion_cube>
yeah, it's mapM, or sequenceM . map
<companion_cube>
or something like this
<companion_cube>
or traverse, I think
<companion_cube>
but it's all so unoptimized in OCaml, better write your own 3-lines combinator
tane has quit [Quit: Verlassend]
rgrinberg2 has joined #ocaml
<lewis1711>
I'm such a lazy functional programmer. whenever it's not a trivial case I find the imperative solution easier (if we can count the exception throwing solution to be imperative).
<companion_cube>
well that's the beauty of OCaml, imperative is there when you need it
rgrinberg2 has quit [Ping timeout: 250 seconds]
<lewis1711>
yeah i am a big fan of that style. It's more my own ignorance that bothers me (your 3 line combinator idea is a mystery to me, for example)
<companion_cube>
oh :D
<companion_cube>
that's born out of practice, I wrote a lot of similar stuff in containers
rgrinberg2 has joined #ocaml
^elyse^ has quit [Quit: Leaving]
<dmbaturin>
lewis1711: Well, being functional is not about being point free. :)
<dmbaturin>
It could as well be explicit case analysis, as in "let rec aux f xs acc = match xs with [] -> Some acc | x :: xs -> (match (f x) with (Some y) -> aux f xs (y :: acc) | None -> None)".
<companion_cube>
yeah, too
<companion_cube>
but here I dobn't have to write the recursion :p
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
ncthom91 has joined #ocaml
<lewis1711>
out of curiosity, does #load in the repl compile things to machine code or bytecode?
lobo has quit [Quit: leaving]
<companion_cube>
it doesn't compile
<companion_cube>
it loads already compiled bytecode files
<dmbaturin>
lewis1711: #load accepts a bytecode library. #use accepts a source file and compiles to bytecode.
<lewis1711>
ah right. #use, my mistake
Nahra has quit [Ping timeout: 260 seconds]
Kakadu has quit [Remote host closed the connection]
rand has quit [Quit: leaving]
Nahra has joined #ocaml
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]