lusory has quit [Read error: Connection reset by peer]
dwmw2_gone is now known as dwmw2_SAT
adotbrown has quit [Ping timeout: 276 seconds]
madroach has quit [Ping timeout: 248 seconds]
madroach has joined #ocaml
tch has quit [Quit: Lost terminal]
travisbrady has joined #ocaml
weie has joined #ocaml
contempt has quit [Ping timeout: 255 seconds]
yacks has joined #ocaml
hongboz1 has joined #ocaml
hongboz1 has left #ocaml []
tac has quit [Ping timeout: 245 seconds]
contempt has joined #ocaml
adotbrown has joined #ocaml
NaCl has quit [Ping timeout: 260 seconds]
NaCl has joined #ocaml
NaCl has quit [Changing host]
NaCl has joined #ocaml
SuperNoeMan has joined #ocaml
<SuperNoeMan>
I have function a and function b
<SuperNoeMan>
they are co-recursive and work well with each other
<SuperNoeMan>
but I also want to define function c, within a, and have b access it
<SuperNoeMan>
nevermind I think I solved it
<SuperNoeMan>
wait. no I didn't
<SuperNoeMan>
yeah... so err...
<SuperNoeMan>
accessing function within co-recursive definition
ManAmongHippos has joined #ocaml
<jathd>
Why do you want to define it inside of a?
<SuperNoeMan>
because I want the specification of a to remain the same, but the function I define inside of a will have additional parameters
<SuperNoeMan>
b must be able to give those parameters to a
silkwood has joined #ocaml
<SuperNoeMan>
jathd:
<jathd>
Err, I'm not sure I get it. Could you give a small example of the kind of thing you mean?
<SuperNoeMan>
let myfunc_A = ... myfunc_B...
<SuperNoeMan>
let myfunc_B x = let inner_func x extra vars = .. in...
<SuperNoeMan>
myfunc_a must be able to access inner_func
<SuperNoeMan>
jathd:
<SuperNoeMan>
hell, I can just pass the call to inner_func an extra parameter f, that is the function I want to call
<SuperNoeMan>
and make them codependent by allowing inner_func to be passed to myfunc_A
<jathd>
SuperNoeMan: Is it really a problem to define inner_func at the same level as func_A and func_B?
<jathd>
Cause that looks like it would be easier to understand.
<jathd>
But sure, some kind of continuation-passing style could work.
<SuperNoeMan>
yeah... I could do that too
weie_ has joined #ocaml
<jathd>
Wait, you meant pass an extra argument f to func_A, right? And in each invocation of func_A inside the body of func_B, pass it the extra argument f=inner_func.
weie has quit [Ping timeout: 240 seconds]
<SuperNoeMan>
yes
<jathd>
*Personnaly* I think I'd make inner_func corecursive with func_A and func_B, even if that means passing extra parameters, but I guess it's mostly a matter of taste. If there's a lot of things that inner_func closes over, the other solution might be simpler.
mye_ has joined #ocaml
travisbrady has quit [Quit: travisbrady]
SuperNoeMan has quit [Remote host closed the connection]
mye has quit [Ping timeout: 248 seconds]
mye_ is now known as mye
cdidd has joined #ocaml
cyball has joined #ocaml
tac has joined #ocaml
mcclurmc has quit [Ping timeout: 248 seconds]
silkwood has quit [Quit: Ex-Chat]
Cyanure has joined #ocaml
mcclurmc has joined #ocaml
yacks has quit [Remote host closed the connection]
Playground has joined #ocaml
hongboz has quit [Ping timeout: 248 seconds]
hongboz` has quit [Ping timeout: 264 seconds]
caligula_ has quit [Remote host closed the connection]
adotbrown has quit [Ping timeout: 245 seconds]
yacks has joined #ocaml
LukeSun has joined #ocaml
Yoric has joined #ocaml
nimred has quit [Ping timeout: 244 seconds]
nimred has joined #ocaml
nimred has quit [Changing host]
nimred has joined #ocaml
ttamttam has joined #ocaml
ulfdoz has joined #ocaml
<LukeSun>
hello everyone: I'm a rookie of ocaml
<tac>
hi LukeSun
<LukeSun>
I try to find out if there is ocaml native compiler on mips
Playground has quit [Quit: When I come back, please tell me in what new ways you have decided to be completely wrong.]
caligula has joined #ocaml
<adrien>
well, unfortunately:
<adrien>
Date: Sun Dec 18 09:52:52 2011 +0000
<adrien>
Removed the obsolete native-code generators for Alpha, HPPA, IA64 and MIPS.
<adrien>
but I don't know if that's for all the MIPS families or only some of them
ttamttam has quit [Remote host closed the connection]
caligula has quit [Quit: Konversation terminated!]
<LukeSun>
ok thanks, adrien
<adrien>
I'm sure they got removed because they had little testing and noone maintaining them
<adrien>
if you could improve that, they can probably be brought back
* adrien
afk
<LukeSun>
ok let me study it
ulfdoz has quit [Ping timeout: 245 seconds]
ManAmongHippos has quit [Quit: ManAmongHippos]
caligula has joined #ocaml
mye has quit [Ping timeout: 244 seconds]
ttamttam has joined #ocaml
hkBst has joined #ocaml
hkBst has quit [Changing host]
hkBst has joined #ocaml
Kakadu has joined #ocaml
AltGr has joined #ocaml
Cyanure has quit [Remote host closed the connection]
mfp has quit [Ping timeout: 245 seconds]
djcoin has joined #ocaml
Yoric has quit [Ping timeout: 240 seconds]
hkBst has quit [Remote host closed the connection]
hkBst has joined #ocaml
ontologiae has joined #ocaml
mfp has joined #ocaml
hkBst_ has joined #ocaml
hkBst_ has quit [Changing host]
hkBst_ has joined #ocaml
hkBst has quit [Ping timeout: 255 seconds]
hongboz` has joined #ocaml
adotbrown has joined #ocaml
hkBst_ has quit [Read error: Connection reset by peer]
hkBst_ has joined #ocaml
hkBst_ has quit [Changing host]
hkBst_ has joined #ocaml
hongboz` has quit [Ping timeout: 276 seconds]
Playground has joined #ocaml
gour has joined #ocaml
mye has joined #ocaml
mika1 has joined #ocaml
cago has joined #ocaml
ontologiae has quit [Ping timeout: 240 seconds]
elixey has quit [Remote host closed the connection]
elixey has joined #ocaml
mcclurmc has joined #ocaml
ski has quit [Read error: Operation timed out]
adotbrown has quit [Ping timeout: 252 seconds]
hkBst_ is now known as hkBst
maufred has quit [Ping timeout: 240 seconds]
Yoric has joined #ocaml
ontologiae has joined #ocaml
tac has quit [Quit: Page closed]
maufred has joined #ocaml
thomasga has joined #ocaml
RagingDave has joined #ocaml
ftrvxmtrx_ has joined #ocaml
cyball has quit [Quit: Leaving.]
UncleVasya has joined #ocaml
UncleVasya has quit [Read error: Connection reset by peer]
_andre has joined #ocaml
Cyanure has joined #ocaml
mye has quit [Quit: mye]
UncleVasya has joined #ocaml
ski has joined #ocaml
gour has quit [Disconnected by services]
gour_ has joined #ocaml
thomasga has quit [Read error: Connection reset by peer]
thomasga has joined #ocaml
jonafan has quit [Ping timeout: 252 seconds]
jonafan has joined #ocaml
<xenocons>
does anyone have examples of js_of_ocaml that are floating around
<xenocons>
preferably already hosted somewhere
leoncamel has joined #ocaml
<Kakadu>
try.ocamlpro.com/ maybe?
Yoric has quit [Ping timeout: 240 seconds]
LukeSun has left #ocaml []
<djcoin>
Is there a specific chan for js_of_ocaml devs ?
<Kakadu>
#ocsigen I think
<Kakadu>
but I don't know how active it is..
<Kakadu>
Btw
<djcoin>
Alright, thanks
<Kakadu>
I know mention that such techniques like js_of_ocaml sux because The only approach for debugging is printing to Firebug console. What do u think about it? How to find best counterargument?
<Kakadu>
s/sux/sucks/
chambart has joined #ocaml
<pippijn>
the best counter-argument is that you can execute and test the business logic offline
<pippijn>
you develop logic in ocaml, test it with ocaml programs, and then you connect it to JS
jental has joined #ocaml
<Kakadu>
interesting...
<Kakadu>
I'll use this next time
<darkf>
the big thing for me is that I don't know how easy it is to connect the programs *to* js, as in, have a frontend and JS and just call ocaml functions and get values
<Kakadu>
okay, I get counterargument for against counterargument
<pippijn>
darkf: it is easy
<pippijn>
very easy
<Kakadu>
`most things which need testing in JS app are located in a part which interacts with DOM and not in buisness logic. But it seems to be difficult to test OCaml code which interacts with DOM offline`
<pippijn>
most things?
<Kakadu>
yeah
<Kakadu>
it is a cite
<pippijn>
where did you get these statistics from?
<Kakadu>
It says a person who has more javascript experience than me
<pippijn>
we obviously don't share an opinion on software design
<pippijn>
so if he thinks so, then he is right, and then js_of_ocaml is not good for him
<djcoin>
Even if javascript testing interaction with the DOM is not easier. I don't quite see the point of your friend Kakadu
<djcoin>
Writing test to check some DOM properties are tedious. If you want to make functional tests, you may use phantomjs or something to test your whole application (like when changing page etc.). You have js bindings to phantomjs of course (don't know for ocaml)
<djcoin>
Most of the time, you will use the jQuery abstraction I guess for testing DOM stuff, and this has ocaml bindings, afaik
cdidd has quit [Read error: Operation timed out]
Arsenik has joined #ocaml
<djcoin>
s/Even if/even in/
thomasga has quit [Quit: Leaving.]
<ousado>
Kakadu: who says that js_of_ocaml sucks must be insane :)
<Kakadu>
ousado: :)
<ousado>
not to insult anyone.. but still
<Kakadu>
ousado: But than who are the people who says that FP sucks?
<ousado>
I dunno.. the CEO of SAP?
<ousado>
but it doesn't matter who says what
Arsenik has quit [Remote host closed the connection]
<ousado>
everyone can see for themselves how far they get with a nice type-system and nice abstractions and without them
<Kakadu>
I've recently read an article about perfectness of DOOM3 code base. John Carmack apeared in comments list and have mentioned that FP is suited better to his modus of mind
<Kakadu>
But I don't know who much truth it is because I 've read only a translation
<djcoin>
Ah yeah, I can recall that he said FP was the way to go
<ousado>
I would gues that most programmers who like what they're doing and really think about the problems how to improve the solutions they come up with are drifting towards FP inevitably
cdidd has joined #ocaml
<pippijn>
Kakadu: it is true
<pippijn>
Kakadu: I've read that article and carmack's comments as well as his blog
<djcoin>
ousado: yeah, I think it may be the path for most of us, except maybe for lucky folks that had real courses about FP (and thus never "drifted")
<ousado>
djcoin: yes, I mean even those who started out in imperative languages
<ousado>
s/even//
<ousado>
or Java
<ousado>
I think the reverse doesn't happen often
<ousado>
and also not sure about those doing logic programming
q66 has joined #ocaml
gnuvince has quit [Quit: Remember when men were men and regular expressions recognized regular languages?]
paolooo has joined #ocaml
thomasga has joined #ocaml
leoncamel has quit [Ping timeout: 240 seconds]
leoncamel has joined #ocaml
<orbitz>
I'm reading the Ada standard now, I think it has a lot of the same goals in mind as something like ocaml but a compeltely different route
answer_42 has joined #ocaml
ttamttam has quit [Quit: ttamttam]
Yoric has joined #ocaml
osa1 has joined #ocaml
ttamttam has joined #ocaml
jental has quit [Read error: Connection reset by peer]
<thelema_>
orbitz: Ada stays firmly in the 'no runtime' world, and while its type system is quite powerful, programming in it is worse than C++ because very little happens automatically.
<adrien_oww>
sehr sehr verbose
thelema__ has joined #ocaml
thelema has quit [Disconnected by services]
thelema__ is now known as thelema
<thelema_>
s/powerful/practical/
thelema_ has quit [Ping timeout: 246 seconds]
thomasga has joined #ocaml
mye has joined #ocaml
darkf has quit [Quit: Leaving]
Xizor has joined #ocaml
thomasga has quit [Quit: Leaving.]
smondet has joined #ocaml
hkBst has quit [Ping timeout: 240 seconds]
hkBst has joined #ocaml
hkBst has quit [Changing host]
hkBst has joined #ocaml
hkBst has quit [Client Quit]
hkBst has joined #ocaml
hkBst has quit [Changing host]
hkBst has joined #ocaml
travisbrady has joined #ocaml
kurtcocaine has quit [Remote host closed the connection]
<ousado>
adrien_oww: are zou german?
<ousado>
*you
<adrien_oww>
nein
thomasga has joined #ocaml
hkBst has quit [Read error: Connection reset by peer]
hkBst_ has joined #ocaml
Cyanure has quit [Remote host closed the connection]
<troydm>
german people don't use ocaml
<troydm>
it's french only
Chattered has joined #ocaml
hkBst_ has quit [Ping timeout: 256 seconds]
cago has left #ocaml []
hkBst_ has joined #ocaml
hkBst_ has quit [Changing host]
hkBst_ has joined #ocaml
Yoric has quit [Remote host closed the connection]
Yoric has joined #ocaml
ftrvxmtrx_ has quit [Quit: Leaving]
mika1 has quit [Quit: Leaving.]
Kakadu has quit []
spearalot has joined #ocaml
hkBst_ has quit [Ping timeout: 255 seconds]
tac has joined #ocaml
<orbitz>
thelema: It has RAII though, right?
<orbitz>
thelema: I don't know enough about it, only in the prelude to the standard
<orbitz>
the standard is certainly longer than C++12
<orbitz>
hrm, nope it's shorter by 400 pages. that makes me feel better
UncleVasya has quit [Ping timeout: 245 seconds]
travisbrady has quit [Quit: travisbrady]
ttamttam has quit [Quit: ttamttam]
fab_ has joined #ocaml
<fab_>
pattern matching question: how can i write more pattern condition for a single istruction?
<thelema>
fab_: what's an instruction?
<fab_>
match cond with COND1 CONDO2 COND3->istruction |_->istrunction2;;