pugscode.org/ planetsix.perl.org/ | nopaste: sial.org/pbot/perl6 | evalbot: perl6: say 3; (or rakudo:, pugs:, elf:, etc) | irclog: irc.pugscode.org/ | ~340 days 'til Xmas
Set by mncharity on 16 January 2009.
diakopter gee whiz, that's what the README said! 00:00
:D
lergo so who does haskelll 00:06
ruoso lergo, some people do around here... but not many of them this days 00:09
lergo oh ok
diakopter <sigh> cabal.exe cabal: getHostByName: does not exist (no such host entry) 00:13
ruoso hmmm 00:17
diakopter downloads and extracts the .tar.gz manually :|
ruoso it sure makes sense to port m0ld to p5 00:18
lergo erm an unsigned int can hold up to 4,294,967,295 00:20
lergo just learnt something
diakopter m0ld built and installed 00:21
now to the second line of the .sh
er, Makefile
ruoso cool... now comes the hard part 00:22
diakopter goes afk for a bit
diakopter returns from afk 00:59
ruoso: ok, how to do this ri step 01:01
I mean, scons step 01:02
hmm 01:04
diakopter ruoso: after lots of SConstruct tweaking, the first .ri->.c file gets partially complete 01:41
diakopter ruoso: the last two lines are: 01:42
void control_exception_return_mold_init() { SMOP__Object* interpreter = SMOP__GlobalInterpreter;
line break after {
pmurias diakopter: one thing you should check before trying to compile the .ri files is that m0ld is working properly 07:54
lambdabot pmurias: You have 1 new message. '/msg lambdabot @messages' to read it.
pmurias diakopter: if ./m0ld_exe < m0ld/hello_world.m0ld prints out some C code it is 07:56
rakudo_svn r35667 | cotto++ | [pod] add a =cut, noticed by jimmy++ 09:10
pasteling "ejs" at 77.109.30.215 pasted "parrot compile error" (13 lines, 797B) at sial.org/pbot/34522 09:32
ejs I'm getting the following compile error while making perl6 on my macbook: sial.org/pbot/34522 09:33
anyone knows what does this error means? 09:35
mj41 ejs: fixed in r35670 tt.ro.vutbr.cz/report/pr-Parrot/rp-trunk 10:31
pugs_svn r24936 | azawawi++ | [S:H:P6] Updated to jquery 1.3, latest STD.pm and perl6.vim 10:38
r24936 | azawawi++ | [S:H:P6] Bumped version to 0.034 for CPAN
ruoso pmurias, I think there's a good reason to port m0ld to p5 now 11:58
ejs mj41: thanks 12:24
pmurias ruoso: hi 14:45
rakudo_svn r35692 | pmichaud++ | [rakudo]: spectest-progress.csv update: 286 files, 0 passing, 6288 failing 15:00
r35692 | pmichaud++ | * r35664 broke the Parrot build, so no passing tests :-(
pbuetow should be -- :) 15:08
meppl good night 17:43
ruoso hi pmurias 18:23
pmurias re rewrite, you want installing smop to be easier? 18:32
pmurias ruoso: bundling stuff in a installer might be a better solution to make the windows folk happy 18:36
ruoso pmurias, I'm not able to make such a bundle 18:44
pmurias ruoso,diaktoper: how hard is it to get m0ld to compile on windows? 18:47
ruoso pmurias, m0ld was compiled 18:53
but the .ri file was not compiled as expected
pmurias ruoso: it might be a problem with the tools/ri m0ld integration 18:58
diakopter pmurias: only at the keyboard for this message... yes, ri produced some stuff... but I'll try the m0ld hello world now. 20:38
masak rakudo: my @a = '--size=7', '--size=8'; if any(@a) ~~ / '--size=' (\d+) / { say $/.WHAT; } 20:39
p6eval rakudo 35706: OUTPUT«Invalid namespace key of type 'Object' in get_pointer_keyed␤current instr.: 'parrot;P6metaclass;get_parrotclass' pc 1213 (runtime/parrot/library/P6object.pir:594)␤»
masak I might be biting off more than I can chew here, trying to do junctions and regex matching at the same time...
...but is there any way I could do the above and have it DWIM, or should I use a for loop instead? 20:40
jnthn That'd be the obvious way to write it...
masak yes.
masak does it that way
diakopter pmurias: perl6.pastebin.com/fae769c5 20:41
buubot diakopter: The paste fae769c5 has been copied to erxz.com/pb/14901
jnthn But above should work.
diakopter ruoso: see above
jnthn I can guess why it doesn't.
masak jnthn: on my bow (some revisions back), I get Failure.
rakudo: push my @a, "a" xx 5; @a[1] = "b"; say @a
p6eval rakudo 35706: OUTPUT«Invalid namespace key of type 'Object' in get_pointer_keyed␤current instr.: 'parrot;P6metaclass;get_parrotclass' pc 1213 (runtime/parrot/library/P6object.pir:594)␤»
masak jnthn: seems to be endemic. 20:42
diakopter afk
jnthn oh, ouch 20:45
jnthn knows Whiteknight modified that method recently...
Whiteknight who did what now?
masak quick, hit the undo button!
Whiteknight shit, that's something that should have been in the test suite if we're relying on it in Rakudo 20:46
Whiteknight goes to fix it
masak Whiteknight: also known as 'what!? we don't have a test for this?'
I know the feeling. 20:47
Whiteknight okay, I have a hack solution building now 20:48
Eventually we're going to need a comprehensive list of things that people want to be able to pass to the get_class opcode, because everytime I think I've accounted for the all another comes through and breaks everything. 20:49
it doesn't help that the svn server appears to be acting up, and what I have on my machine doesn't appear to be in sync with whats on the server 21:01
Whiteknight okat, committed. Try r35707 21:02
masak rakudo: if 5 > my $a = 4 { say $a } 22:09
p6eval rakudo 35707: OUTPUT«Unable to set lvalue on PAST::Val node␤current instr.: 'parrot;PAST;Val;lvalue' pc 566 (src/PAST/Node.pir:161)␤»
masak it works if I use parens, but what does that error mean?
jnthn Hmm. 22:11
masak: What's the next line down in the backtrace?
masak called from Sub 'parrot;PAST;Compiler;as_post' pc 4013 (src/PAST/Compiler.pir:986) 22:12
jnthn Ah, damm. It's failed in the PAST->POST. 22:12
masak submits rakudobug
jnthn masak: Off hand, I don't know. I'd have to see what PAST tree it's producing to have a good idea. 22:12
szabgab rakudo: for (my $i = 1; $i <= 3; $i++) { say $i; } 22:16
p6eval rakudo 35707: OUTPUT«2␤»
szabgab is c-style for loop not supported any more, am I making a mistake or just it is not yet implemented in rakudo ?
masak szabgab: that's loop nowadays.
C<loop>. 22:17
szabgab ok, so why did that print 2 ?
masak szabgab: either because it's legal, or it's a bug in Rakudo. :)
rakudo: loop (my $i = 1; $i <= 3; $i++) { say $i; }
p6eval rakudo 35707: OUTPUT«1␤2␤3␤»
masak but for most cases, I'd say it's a punishable offense to use C-style loops nowadays. 22:18
szabgab btw STD.pm or more correctly the one in Padre does not like the loop syntax eiteher
masak szabgab: ok. 22:19
szabgab sure, I am translating the Cookbook
masak std: loop (my $i = 1; $i <= 3; $i++) { say $i; }
p6eval std 24936: OUTPUT«00:05 86m␤»
masak szabgab: it's fine.
szabgab what was that output from std ?
masak szabgab: that it's fine. 22:20
5 seconds, 86 megabytes.
szabgab nice way of saying it :-)
ah
masak szabgab: if you're translating to Perl 6, please translate to idiomatic Perl 6, unless the example is meant to be quaint. :)
szabgab I am writing sg like "the c-stule way is now this though the perl 6 recommended way is the for loop
besides I am just playing with it 22:21
masak sure, sure.
anyway, both std and Rakudo like the 'loop' three-part loop.
szabgab maybe I have an old std or sg is broken in the padre connection, I ask azawawi 22:22
masak STD.pm gets old very quickly, I think. 22:23
it's changed slightly in the last few days... but not in that area, AFAIK.
szabgab oh, now the syntax error message is gone :-) 22:25
its a bit slow on my end, you know 22:26
masak sometimes talking about it helps. :)
szabgab oh I am telling the same to my patients 22:28
err, students 22:29
araujo hah 22:30
szabgab rakudo for 1..3 -> $i { say $i } 22:33
rakudo: for 1..3 -> $i { say $i }
p6eval rakudo 35707: OUTPUT«1␤2␤3␤»
szabgab rakudo: for 1..3:by(2) -> $i { say $i }
p6eval rakudo 35707: OUTPUT«Statement not terminated properly at line 1, near ":by(2) -> "␤␤current instr.: 'parrot;PGE;Util;die' pc 129 (runtime/parrot/library/PGE/Util.pir:83)␤»
szabgab std: for 1..3:by(2) -> $i { say $i } 22:33
p6eval std 24936: OUTPUT«00:05 87m␤»
masak for Range.new(:from(1), :to(3), :by(2)) -> $i { say $i } 22:34
rakudo: for Range.new(:from(1), :to(3), :by(2)) -> $i { say $i }
p6eval rakudo 35707: OUTPUT«1␤2␤3␤»
masak hm.
masak reads source
szabgab: ISTR someone implementing :by in the Range constructor. but that code is not there, so either I was dreaming or it never reached trunk. 22:35
szabgab so shall I now mail rakudobug? 22:37
masak szabgab: for a TODO thing? yes, if you like.
it's not a bug, just a missing feature.
szabgab ok so I put TODO in the subject? 22:38
masak or do you mean the Rakudo error? that might be because adverbs aren't parsed correctly, now that I think about it.
szabgab: depends on what you're reporting. 22:39
szabgab as I could not fall asleep I wanted to implement one of the entries in the cookbook and blog about it
masak ok.
szabgab but it is not implemented yet :-( 22:40
masak nope.
szabgab btw you'll be at NPW, right ?
masak aye.
talking about November.
(I hope.)
szabgab do you know if the Perl 6 workshop is still on ?
it is gone from the website
masak last I heard, it's still on.
but I didn't know it was gone from the website.
masak jnthn: your two comments just got turned into Druid improvements. thanks. :) 22:45
jnthn masak: Two comments? 22:46
masak jnthn: yes, one about the human-vs-computer menu at the start, and one about the paucity of syntax explanation. 22:48
you just made them in passing, but they were important feedback to me.
jnthn Ah, great. :-) 22:49
szabgab what is the name of the :by(2) part ? 22:50
jnthn Adverb. 22:50
szabgab tx 22:51
ekole so guys Haskell is more of a specialise language? 22:54
masak ekole: no, I think it's a generalise language. 22:55
ekole: what do you mean?
ekole in comparison to say java
java generics? haskell-type classes?
jnthn No. You just have to be more special to be able to write Haskell than Java.
;-)
jnthn isn't special enough
ekole :D 22:56
jnthn Both do parametric polymorphism, yes.
masak I find writing Haskell a bit meditative. until I actually try to run the thing.
ekole i agree 22:57
bit meditative
masak speaking of that, time to sleep...
masak waves
ekole i must ask though 22:57
why do universities ask you to write parsers? 22:58
szabgab szabgab.com/blog/2009/01/1232232861.html it is not much, but now I hope I can go to sleep :-) 22:59
jnthn ekole: Probably because parsing data is a fairly common/useful thing to do.
Plus it's a bit of a computer-sciency-ish thingy. :-) 23:00
ekole Agreed
Another thing Haskell is the originator of all the ideas that are stolen by Java/C# and made completely useless?
jnthn I think the ideas you're probably referring to come from functional programming more widely than Haskell. 23:01
I didn't know Java really had taken many of them.
C# took lambda expressions and gave them a pretty decent syntax. I've used them plenty, it's far from useless. 23:02
ekole yes it is useless
jnthn How so? 23:03
ekole since their implementation is already inferior
jnthn Erm.
Details? 23:04
Examples?
ekole of it being useless?
jnthn Yes.
Given I've used it and found the complete opposite, you'll have to do pretty well to convince me. :-)
ekole ok it's the blub paradox:) 23:05
ayrnieu no, this is not the blub paradox.
(unless you're talking about your own view of C#) 23:06
ekole ayrnieu: yes, it clearly is - I don't think jnthn or you're lying 23:07
but
jnthn: well, as for the details, , so I'll start with the easiest: C# 3.0's lambda expression do not permit point-free expression 23:08
(not completely true, but if you try, you will hit a barrier pretty early on)
ayrnieu ekole, first of all, blub applies when there are interlingual comparisons. "Some feature of C# is of use to me." is what jnthn has said, and is what you dispute.
ekole also, the type inferencer is pathetic 23:09
ayrnieu jnthn did not for instance say "Some corresponding feature of Haskell's is not as good."
ekole blub applies
"is of use to jnthn" is an infection of the mind called pragmatism
but anyhow can we go back to the details he askedf for? :) 23:10
jnthn Interesting points. 23:11
I agree the type inferencer could be improved.
At the same time, I don't blame the languae designers not wanting to box themselves in.
The line between decidable and undecidable is rather easy to cross when it comes to type inference. 23:12
szabgab pragmatism++
jnthn The type inferencer may have the limitations it does either because other aspects of the language already prohibit it from being smarter, because they want to leave the door open to doing such things in the future, or because they want to avoid "too much magic". 23:13
ekole jnthn: no the limitations exist because the language is more of a marketing tool than a useful language 23:14
jnthn Just because a language has reasonable market share doesn't make it a marketting tool. 23:15
ekole the MSR guys admit that when not on record
I didn't say that - straw man
:)
jnthn If we were talking C# 1.0 here, sure, I was skeptical too.
But by C# 3.0 it's evovled into a multi-paradigm language that doesn't get in my way too much. 23:16
ekole C# is inferior, the programming language researchers at MSR *know this* because I talk to them and it is so obvious that it needn't even be stated all that much
their influence on C# is filtered through marketing, since C# is mostly about marketing, not usefulness 23:17
jnthn If we s/marketting/a language the average joe programming is capable of using/ I'd agree with you...
*programmer
ekole F# is waiting in the pipeline for the right time for marketing 23:18
jnthn Sure, we can talk all day about the wonders of Haskell/ML and their type inference and purity and a bunch of other things.
And I'm sure we can list a bunch of ways in which they are superior.
ekole it can do everything C# can do, but better but it is also inferior
C# is inferior in *every* way 23:19
jnthn To Haskell?
ayrnieu ekole can't see uses for 'inferior' languages through his blub, jnthn, and he can't see his blub because he's ripped the term out of its context and taken it as a way to call you an unwashed heathen.
ekole I needn't even go that far
F# exists -- QED
ayrnieu so this is one of those cases where you should just ask your pastor for help finding appropriate apologia. 23:20
jnthn "C# is inferior" and such views are a lot of what put me off doing a computer science PhD in the programming languages field. 23:21
ekole yes you have already displayed a hint of pragmatism 23:22
jnthn Because wax as many I met did about how what they had was superior to what everyone else was using, I preferred to instead work on things that were actually *useful*.
ekole: Yeah, and the world could do with a lot more of it.
jnthn afk for a bit
ayrnieu ekole, "X is superior" is meaningless outside of "X is superior for these ends". And 'ends' for programming languages, oddly enough, are *bodies of code* that *do things*. There is therefore an ineradicable pragmatism in language use. 23:23
ekole jnthn: can you conceive two languages right now where one is inferior to the other?
wait he did that, C# 1.0 to C# 3.0 23:24
erm why are you so afraid of such suggestions then?
s1n1 my hammer smashes things better than your hammer 23:26
mberends masak: ping 23:40
diakopter ruoso: ping 23:58

Powered by Cro and the Raku® Programming Language.

Please report any issues / comments / feature requests as an issue on App::Raku::Log.

Thank you!