[perl6/specs] 39ac0c: Eradicate Promise.has_result in favor of .Bool

Branch: refs/heads/master Home: https://github.com/perl6/specs Commit: 39ac0cab60097abfd5e72424ecc692928522a2da https://github.com/perl6/specs/commit/39ac0cab60097abfd5e72424ecc692928522a2da Author: Elizabeth Mattijsen l...@dijkmat.nl Date: 2013-11-15 (Fri, 15 Nov 2013)

[perl6/specs] 71d18c: more coherent generic style for winner and combine

Branch: refs/heads/master Home: https://github.com/perl6/specs Commit: 71d18c5297e329fc9c2a87c92eb384b9a13d12d0 https://github.com/perl6/specs/commit/71d18c5297e329fc9c2a87c92eb384b9a13d12d0 Author: Larry Wall la...@wall.org Date: 2013-11-16 (Sat, 16 Nov 2013) Changed

[perl6/specs] 7e64b6: make winner implicitly check a channel's done too

Branch: refs/heads/master Home: https://github.com/perl6/specs Commit: 7e64b6ca7a4e1f35675a1b7e129b5c29f53ae834 https://github.com/perl6/specs/commit/7e64b6ca7a4e1f35675a1b7e129b5c29f53ae834 Author: Larry Wall la...@wall.org Date: 2013-11-16 (Sat, 16 Nov 2013) Changed

[perl6/specs] d4ca72: some typos/fossils in combine

Branch: refs/heads/master Home: https://github.com/perl6/specs Commit: d4ca72638cabc34c749472bdcf9dd4841b046a5c https://github.com/perl6/specs/commit/d4ca72638cabc34c749472bdcf9dd4841b046a5c Author: Larry Wall la...@wall.org Date: 2013-11-16 (Sat, 16 Nov 2013) Changed

[perl6/specs] 1e5230: clarify why more/done distinction in winner works

Branch: refs/heads/master Home: https://github.com/perl6/specs Commit: 1e5230f024b65411232da15a6d4196d4ef5a4b4a https://github.com/perl6/specs/commit/1e5230f024b65411232da15a6d4196d4ef5a4b4a Author: Larry Wall la...@wall.org Date: 2013-11-16 (Sat, 16 Nov 2013) Changed

[perl6/specs] d318f7: Fix 'is exported' typo in S13

Branch: refs/heads/master Home: https://github.com/perl6/specs Commit: d318f709c422d1ba01b3903fba3c41f9ee77e17f https://github.com/perl6/specs/commit/d318f709c422d1ba01b3903fba3c41f9ee77e17f Author: Geoffrey Broadwell g...@google.com Date: 2013-11-17 (Sun, 17 Nov 2013)

question - languages with set/foo as only base data type

I have a question for those among you that are more knowledgeable about Haskell or other functional programming languages, or related mathematics or set theory and such. I recall reading that at least in certain math/logic papers that a programming language type system can be defined

Re: question - languages with set/foo as only base data type

On Sun, Nov 17, 2013 at 02:10:17PM -0800, Darren Duncan wrote: I recall reading that at least in certain math/logic papers that a programming language type system can be defined logically in terms of pure sets, making it essentially self-defined without needing to rely on external definitions

Re: question - languages with set/foo as only base data type

On 2013 Nov 17, at 17:10, Darren Duncan wrote: I recall reading that at least in certain math/logic papers that a programming language type system can be defined logically in terms of pure sets, making it essentially self-defined without needing to rely on external definitions of for

Re: question - languages with set/foo as only base data type

On Sun, Nov 17, 2013 at 5:43 PM, Andrew Suffield asuffi...@suffields.me.ukwrote: While mathematics as a field has mostly settled on set theory as its basis, type theory is equally expressive and is usually preferred in language design. Aiui there is now optimism in some circles that the set

Re: question - languages with set/foo as only base data type

Thanks a lot to Andrew, John, Raiph, and any later responders. What you've said so far looks very useful to me, and I will follow up on the leads you gave. -- Darren Duncan

[perl6/specs] 73baf1: Some close/done fiddling, plus the - a sender

Branch: refs/heads/master Home: https://github.com/perl6/specs Commit: 73baf14124f9ca1f9631f4f56539c248a456e11a https://github.com/perl6/specs/commit/73baf14124f9ca1f9631f4f56539c248a456e11a Author: Elizabeth Mattijsen l...@dijkmat.nl Date: 2013-11-17 (Sun, 17 Nov 2013)

[perl6/specs] 2b89a4: Remove Channel.peek, it is too dangerous

Branch: refs/heads/master Home: https://github.com/perl6/specs Commit: 2b89a45c0df7ed02c51d502735ab9f17f89964df https://github.com/perl6/specs/commit/2b89a45c0df7ed02c51d502735ab9f17f89964df Author: Elizabeth Mattijsen l...@dijkmat.nl Date: 2013-11-17 (Sun, 17 Nov 2013)

[perl #120561] [BUG] use lib double-quoted string Null PMC

# New Ticket Created by Cyber Universes # Please include the string: [perl #120561] # in the subject line of all future correspondence about this issue. # URL: https://rt.perl.org/Ticket/Display.html?id=120561 using Rakudo Star 2013.10: use lib $?FILE.path.directory ~ '/lib'; # works

[perl6/specs] c3fa8e: remove sig collision with placeholders

Branch: refs/heads/master Home: https://github.com/perl6/specs Commit: c3fa8ea69fa83952a051def86c5d4abbf19a8b53 https://github.com/perl6/specs/commit/c3fa8ea69fa83952a051def86c5d4abbf19a8b53 Author: Larry Wall la...@wall.org Date: 2013-11-17 (Sun, 17 Nov 2013) Changed