[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 Date: 2013-11-17 (Sun, 17 Nov 2013) Changed paths: M S17-con

[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 Date: 2013-11-17 (Sun, 17 Nov 2013) Changed paths:

[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 Date: 2013-11-17 (Sun, 17 Nov 2013) Changed paths:

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

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

On Sun, Nov 17, 2013 at 5:43 PM, Andrew Suffield wrote: > 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 theory foundation will

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 example

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 definitio

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 logically

[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 Date: 2013-11-16 (Sat, 16 Nov 2013) Changed paths: M S17-con

[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 Date: 2013-11-16 (Sat, 16 Nov 2013) Changed paths: M S17-con

[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 Date: 2013-11-17 (Sun, 17 Nov 2013) Changed paths: M

[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 Date: 2013-11-16 (Sat, 16 Nov 2013) Changed paths: M S17-con

[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 Date: 2013-11-16 (Sat, 16 Nov 2013) Changed paths: M S17-con

[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 Date: 2013-11-15 (Fri, 15 Nov 2013) Changed paths: