Re: Will uniform function call syntax apply to operator overloads?

On 13/10/10 1:32 AM, Simen kjaeraas wrote: Jonathan M Davis wrote: Personally, I do _not_ think that overloaded operators should work with uniform function syntax, if for no other reason than because it doesn't actually look like the uniform function syntax does. There is no . operator directly

Re: Consider generalizing Bounded

Jason House napisał: > Tomek Sowiński Wrote: > >> It may sound ridiculous but this is what came to me in a dream last >> night: why exactly does Bounded have to express an interval? Forget >> intervals for a minute: >> >> struct Bounded(alias Pred, T); >> >> where Pred is a unary callable retur

Re: What do people here use as an IDE?

Well, same goes for C++, year 2010 and we are not getting a standard gui library (not saying it is necessary) For the second part, C might owe its fame to Unix, i don't know it is true or not. But you have to admit it is a great language. Still there are many C programmers out there and i a

Re: What do people here use as an IDE?

Am 13.10.2010 03:57, schrieb Michael Stover: Elephant appears dead. Poseidon's activity is extremely low and is still alpha after 5 years. LEDS is even less active, and DDT doesn't have a release yet. What do actual D programmers use? -Mike win32 -> VisualD linux -> CodeBlocks

Re: What do people here use as an IDE?

On 13.10.2010 06:20, Nick Sabalausky wrote: "Michael Stover" wrote in message news:mailman.563.1286935070.858.digitalmar...@puremagic.com... Elephant appears dead. Poseidon's activity is extremely low and is still alpha after 5 years. LEDS is even less active, and DDT doesn't have a release

Re: Is D right for me?

Simen kjaeraas wrote: Jonathan M Davis wrote: So, whatever we put in Phobos, we do it without looking at Tango. You know, we might consider asking them for permission. That way, there should be no problems. I have, on many occasions.

Re: What do people here use as an IDE?

Of course it did not require one. On those days GUIs were rare, and if you want to develop for Unix, C was the only option. C got famous because of Unix. C on its own would never had survived as a language. "so" wrote in message news:op.vkhvb01i7dt...@so-pc... >I guess it is wording. > Hmm sa

Re: Is D right for me?

Denis Koroskin wrote: Either way, it needs some language support, because currently TLS implemented on compiler level rather than library level. I proposed this change in past, but no one responded. Using TLS needs operating system support, and there's special linker support for it and the co

Re: What do people here use as an IDE?

"Michael Stover" wrote in message news:mailman.563.1286935070.858.digitalmar...@puremagic.com... > Elephant appears dead. Poseidon's activity is extremely low and is still > alpha after 5 years. LEDS is even less active, and DDT doesn't have a > release yet. What do actual D programmers use? >

Re: What do people here use as an IDE?

I agree with you very much here. GUI libraries and IDE support are very low priority items for D. It would be a sad day for everyone if the people working on the dmd and Phobos dropped their current work and started working on an IDE. So, low priority doesn't mean it can't be done until the higher

Re: What do people here use as an IDE?

Editors are designed for specific people, editors :) All IDE's out there i have seen based on these editors. You ask what actual programmers use, they mostly use these editors, i was one of those, and i curse those times. I am not an editor but a code writer, two different things, and the dif

Re: What do people here use as an IDE?

I guess it is wording. Hmm say... Does Java come with a standard gui library? Yes. Does C come with a standard gui library? No. C didn't need a gui library to be successful, and didn't come with one. On the other hand Java/C# have to have one, packed, and they do come with (at least)one. If

Re: What do people here use as an IDE?

Michael Stover wrote: Elephant appears dead. Poseidon's activity is extremely low and is still alpha after 5 years. LEDS is even less active, and DDT doesn't have a release yet. What do actual D programmers use? microEmacs

Re: What do people here use as an IDE?

2010/10/12 so > Don't take it personal but this is one of those : > "if D really wants to compete, a is essential." > > C doesn't have one, neither C++, nor assembly. There are IDE's for them yes > but again, these languages don't have an actual IDE, IDE's are useful mostly > for form based or c

Re: What do people here use as an IDE?

On 10/12/2010 9:57 PM, Michael Stover wrote: Elephant appears dead. Poseidon's activity is extremely low and is still alpha after 5 years. LEDS is even less active, and DDT doesn't have a release yet. What do actual D programmers use? -Mike From: p...@athena.mit.edu (Patrick J. LoPresti) Sub

Re: What do people here use as an IDE?

Don't take it personal but this is one of those : "if D really wants to compete, a is essential." C doesn't have one, neither C++, nor assembly. There are IDE's for them yes but again, these languages don't have an actual IDE, IDE's are useful mostly for form based or corporate languages, yo

Re: What do people here use as an IDE?

Michael Stover Wrote: > Seems to me if D really wants to compete, a modern IDE is essential. You have no idea how many "essential" things are required to "compete" ;-) But language design, std library and compiler come first. If you compiler has too many bugs, an IDE will not save you. Bye, bea

Re: What do people here use as an IDE?

Read it's home page. In bold letters, it says *This project is dead. Please use http://code.google.com/a/eclipselabs.org/p/ddt/* * * *I take them at the word since I don't know any better :-) * On Tue, Oct 12, 2010 at 10:20 PM, Eric Poggel wrote: > On 10/12/2010 10:11 PM, Michael Stover wrote: >

Re: What do people here use as an IDE?

On Tuesday 12 October 2010 18:57:44 Michael Stover wrote: > Elephant appears dead. Poseidon's activity is extremely low and is still > alpha after 5 years. LEDS is even less active, and DDT doesn't have a > release yet. What do actual D programmers use? > > -Mike I use vim (well, gvim technical

Re: What do people here use as an IDE?

Perhaps it's just like D 1.0 and it's only in maintenance mode, until DDT officially releases. On Tue, Oct 12, 2010 at 9:20 PM, Eric Poggel wrote: > On 10/12/2010 10:11 PM, Michael Stover wrote: > >> Descent is a dead project, replaced by DDT which doesn't have a release. >> Also, I'm running Li

Re: Will uniform function call syntax apply to operator overloads?

On Tue, 12 Oct 2010 17:08:16 -0400, Peter Alexander wrote: In short, when UFC is working on all types, will this be possible: Foo opBinary(string op)(Foo a, Foo b) { return ...; } Foo x, y; Foo z = x + y; My reasoning here is that x + y is supposedly sugar for x.opBinary!("+")(y), s

Re: What do people here use as an IDE?

On 10/12/2010 10:11 PM, Michael Stover wrote: Descent is a dead project, replaced by DDT which doesn't have a release. Also, I'm running Linux at home and Mac at work, so VisualD won't do for me. Poseidon is also Windows-only. Descent is dead? The change log shows recent activity (http://dso

Re: What do people here use as an IDE?

Hello Michael, Elephant appears dead. Poseidon's activity is extremely low and is still alpha after 5 years. LEDS is even less active, and DDT doesn't have a release yet. What do actual D programmers use? Real life has gotten in the way for a while but if, make that when, I go back I expec

Re: What do people here use as an IDE?

Why would I laugh? I've been using Eclipse for nearly 10 years. Descent claims to be a dead project, so I'm curious that you say you use it - what version of Eclipse are you using with it? DDT is it's replacement and it has no release. On Tue, Oct 12, 2010 at 10:18 PM, Eric Poggel wrote: > On

Re: What do people here use as an IDE?

On 10/12/2010 9:57 PM, Michael Stover wrote: Elephant appears dead. Poseidon's activity is extremely low and is still alpha after 5 years. LEDS is even less active, and DDT doesn't have a release yet. What do actual D programmers use? -Mike As an Eclipse fan (don't laugh!) I've been using Desc

Re: What do people here use as an IDE?

On Tue, 12 Oct 2010 22:11:33 -0400, Michael Stover wrote: Descent is a dead project, replaced by DDT which doesn't have a release. Also, I'm running Linux at home and Mac at work, so VisualD won't do for me. Poseidon is also Windows-only. Do you use a plugin for Code::Blocks specific for

Re: What do people here use as an IDE?

Seems to me if D really wants to compete, a modern IDE is essential. On Tue, Oct 12, 2010 at 10:05 PM, Clark Gaebel wrote: > Doesn't really count as an IDE, but I use vim for all development, and > the d-syntax package from the d overlay in gentoo portage was all I > really needed to get started

Re: What do people here use as an IDE?

On Tue, Oct 12, 2010 at 9:11 PM, Michael Stover wrote: > Descent is a dead project, replaced by DDT which doesn't have a release. > Also, I'm running Linux at home and Mac at work, so VisualD won't do for > me. Poseidon is also Windows-only. > > Do you use a plugin for Code::Blocks specific for D

Re: What do people here use as an IDE?

Michael Stover schrieb: Elephant appears dead. Poseidon's activity is extremely low and is still alpha after 5 years. LEDS is even less active, and DDT doesn't have a release yet. What do actual D programmers use? -Mike For Windows http://d-ide.sourceforge.net/ is probably great. I use Gea

Re: What do people here use as an IDE?

Doesn't really count as an IDE, but I use vim for all development, and the d-syntax package from the d overlay in gentoo portage was all I really needed to get started. Kudos to the maintainer of the d portage overlay by the way. Your work is appreciated! On 10/12/10 22:01, Jimmy Cao wrote: > I'

Re: What do people here use as an IDE?

Descent is a dead project, replaced by DDT which doesn't have a release. Also, I'm running Linux at home and Mac at work, so VisualD won't do for me. Poseidon is also Windows-only. Do you use a plugin for Code::Blocks specific for D? On Tue, Oct 12, 2010 at 10:01 PM, Jimmy Cao wrote: > I'm by

Re: What do people here use as an IDE?

I use vim.

Re: What do people here use as an IDE?

I'm by no means an "actual D programmer" but I like to use Code::Blocks. I've heard VisualD and Descent are also very nice. There's also a guy working on D.dev ( http://d-dev-ide.blogspot.com/2010/07/ddev-progress-july-2010.html). On Tue, Oct 12, 2010 at 8:57 PM, Michael Stover wrote: > Elephant

What do people here use as an IDE?

Elephant appears dead. Poseidon's activity is extremely low and is still alpha after 5 years. LEDS is even less active, and DDT doesn't have a release yet. What do actual D programmers use? -Mike

Re: Will uniform function call syntax apply to operator overloads?

Jonathan M Davis wrote: That would depend on what order it did things. If it replaced a.func() with func(a) before it replaced a + b with a.opBinary!"+"(b), then it wouldn't be more work at all. It would just naturally not work. If, on the other hand, the overloaded operators were replaced

Re: [nomenclature] What is a bug?

Justin Johansson wrote: > Perhaps this topic could be posted as In short: bug is the name of a type. -manfred

Re: Consider generalizing Bounded

Tomek Sowiński Wrote: > It may sound ridiculous but this is what came to me in a dream last night: > why exactly does > Bounded have to express an interval? Forget intervals for a minute: > > struct Bounded(alias Pred, T); > > where Pred is a unary callable returning bool (same as in e.g. fil

Re: Current status of DB libraries in D

On Tue, 12 Oct 2010 17:31:50 -0400, Jesse Phillips wrote: I did actually do a big cleanup and removed a hug amount of obsolete content. It would also be nice to have the libraries sorted by D's version.

Re: Will uniform function call syntax apply to operator overloads?

On 13/10/10 12:15 AM, Jonathan M Davis wrote: Personally, I do _not_ think that overloaded operators should work with uniform function syntax, if for no other reason than because it doesn't actually look like the uniform function syntax does. There is no . operator directly involved. And I don't

Consider generalizing Bounded

It may sound ridiculous but this is what came to me in a dream last night: why exactly does Bounded have to express an interval? Forget intervals for a minute: struct Bounded(alias Pred, T); where Pred is a unary callable returning bool (same as in e.g. filter()). This opens a host of possibil

Re: [theory] What is a type?

Justin Johansson wrote: > the six-fold occurrence types 6= 8-2= 2^3-2 You modeled three axis into one enumeration. The three boolean axis are `zero', `one', `more'. Because `more' cannot exist without `one' two entries in your enumeration are discarded. -manfred

Re: [Theory] Halting problem

== Quote from Stewart Gordon (smjg_1...@yahoo.com)'s article > On 09/10/2010 18:58, %u wrote: > > > In the more general limited-memory setup it is actually quite simple to > > solve > > the Halting problem: > > 1. Save every state of the system. > > 2. If the program ends, the program Halts -> d

Re: Will uniform function call syntax apply to operator overloads?

On Tuesday, October 12, 2010 15:53:38 Simen kjaeraas wrote: > Tomek Sowiński wrote: > >> As long as operator overloading is defined the way it is, it should work > >> like that, yes. > > > > Funny. I remember asking this not too long ago and got no as an answer. > > > > :) > > I'm not saying it

Re: Is D right for me?

Denis Koroskin Wrote: > On Tue, 12 Oct 2010 02:32:55 +0400, Andrei Alexandrescu > wrote: > > For me, I/O should be scalable (and thus support async operations) so I > came up with my own implementation. > I've tried building it on top of std.concurrency, but it doesn't scale > either. So,

Re: Will uniform function call syntax apply to operator overloads?

Tomek Sowiński wrote: As long as operator overloading is defined the way it is, it should work like that, yes. Funny. I remember asking this not too long ago and got no as an answer. :) I'm not saying it will. But as long as operator overloading is defined as a rewrite of e.g. a + b => a

Re: Will uniform function call syntax apply to operator overloads?

Simen kjaeraas napisał: > Peter Alexander wrote: > >> In short, when UFC is working on all types, will this be possible: >> >> Foo opBinary(string op)(Foo a, Foo b) >> { >> return ...; >> } >> >> Foo x, y; >> Foo z = x + y; >> >> My reasoning here is that x + y is supposedly sugar for >> x.

Re: [Theory] Halting problem

On 09/10/2010 18:58, %u wrote: In the more general limited-memory setup it is actually quite simple to solve the Halting problem: 1. Save every state of the system. 2. If the program ends, the program Halts -> done. 2. For every state, check to if it has been saved before. If so, the program

Re: [Theory] Halting problem

On 09/10/2010 18:58, %u wrote: Just to be clear about this, the halting problem is only unsolvable for Turing machines. No, it's unsolvable for any computational class that's at least as powerful as a Turing machine. In its most general form, the unsolvability theorem states that, given a c

Re: Current status of DB libraries in D

Gour D. Wrote: > It would be nice if the wiki could be cleaned a bit...Same goes for > dsource.org to clean it from dead projects and make it more easy to > find out what's alive and working. I did actually do a big cleanup and removed a hug amount of obsolete content. My main goal was to actual

Re: [nomenclature] What is a bug?

On Tuesday, October 12, 2010 06:14:24 Justin Johansson wrote: > Perhaps this topic could be posted as > "[challenge] Define just exactly what a bug is". > > I trust this topic will yield some interesting conversation. > > Cheers > Justin Johansson Something to squish underfoot. ;) - Jonathan M

Re: [nomenclature] What is a bug?

Justin Johansson wrote: > Perhaps this topic could be posted as > "[challenge] Define just exactly what a bug is". > > I trust this topic will yield some interesting conversation. > > Cheers > Justin Johansson Behavior that is not according to spec. The problem with that is that the spec may b

Re: Will uniform function call syntax apply to operator overloads?

Peter Alexander wrote: In short, when UFC is working on all types, will this be possible: Foo opBinary(string op)(Foo a, Foo b) { return ...; } Foo x, y; Foo z = x + y; My reasoning here is that x + y is supposedly sugar for x.opBinary!("+")(y), so the free opBinary defined above coul

Re: assert(false) in release == splinter in eye

On Tuesday, October 12, 2010 13:40:32 Andrei Alexandrescu wrote: > On 10/12/10 13:58 CDT, Christopher Bergqvist wrote: > > On Tue, Oct 12, 2010 at 2:37 AM, Andrei Alexandrescu > > > > > > wrote: > > assert(false) could be in an ideal world replaced by an

Will uniform function call syntax apply to operator overloads?

In short, when UFC is working on all types, will this be possible: Foo opBinary(string op)(Foo a, Foo b) { return ...; } Foo x, y; Foo z = x + y; My reasoning here is that x + y is supposedly sugar for x.opBinary!("+")(y), so the free opBinary defined above could be chosen as a pseudo mem

Re: assert(false) in release == splinter in eye

On 10/12/10 13:58 CDT, Christopher Bergqvist wrote: On Tue, Oct 12, 2010 at 2:37 AM, Andrei Alexandrescu mailto:seewebsiteforem...@erdani.org>> wrote: assert(false) could be in an ideal world replaced by an intrinsic called e.g. halt() that looks and feels like a regular function but

Re: Current status of DB libraries in D

Il giorno 12/ott/2010, alle ore 21:09, "Yao G." ha scritto: >> I think that you meant D1. ;) > > Yes. Sorry for the confusion. The guy ask a question and I give a > misdirection :( No problem, I caught the swap So basically there's no wide libs availability for D2, and the best pratical su

Re: Current status of DB libraries in D

On Tuesday 12 October 2010 12:09:27 Yao G. wrote: > > I think that you meant D1. ;) > > Yes. Sorry for the confusion. The guy ask a question and I give a > misdirection :( Well, I think that it was fairly clear what you meant from the context. We all mistype things from time to time. - Jonathan

Re: [challenge] Bounded types

On Mon, 11 Oct 2010 20:37:25 -0500, Philippe Sigaud wrote: http://bitbucket.org/gomez/yao-library/src/tip/src/yao/datetime/core.d#cl-551 Wow, I never put pure nothrow around my constructors. Maybe I should. Yes. I'm trying to make an habit of that. But sometimes is a pain in the rear en

Re: [joke] D type system and making love in a canoe?

Peter Alexander wrote: On 12/10/10 6:58 PM, Simen kjaeraas wrote: Making love is often equated with the act of copulation, in the vernacular called 'fucking'. In addition, that very same word is used as an intensifying adjective, in the same way as the word 'very'. I got that bit :-) Glad

Re: Current status of DB libraries in D

On Tue, 12 Oct 2010 14:42:08 -0400 >> "Jesse" == Jesse Phillips wrote: Jesse> My tip for knowing what language version a library works for is Jesse> actually found on Wiki4d[1], but all it is is: does it mention Jesse> support for D2? If it does not you are looking at a D1 project. Jesse> You

Re: Current status of DB libraries in D

I think that you meant D1. ;) Yes. Sorry for the confusion. The guy ask a question and I give a misdirection :( -- Yao G.

Re: Current status of DB libraries in D

Look for methods or functions or variables that manipulate string characters. If the type used is string, wstring or dstring, then it's almost guaranteed that is a D2 project. Conversely, if the type used is char[], wchar[] or dchar[], and there's no usage of the former types, then it's a D

Re: assert(false) in release == splinter in eye

On Tue, Oct 12, 2010 at 2:37 AM, Andrei Alexandrescu < seewebsiteforem...@erdani.org> wrote: > assert(false) could be in an ideal world replaced by an intrinsic called > e.g. halt() that looks and feels like a regular function but is recognized > by the compiler. No new keyword would be needed. Bu

Re: Current status of DB libraries in D

The reason you are having a hard time finding the latest information on DB Libraries is because you have already found it. There have been some discussion on Phobos possible having SQLite, and a Standard DB interface, but as of now there is only the older projects. My tip for knowing what langu

Re: [joke] D type system and making love in a canoe?

On 12/10/10 6:58 PM, Simen kjaeraas wrote: Making love is often equated with the act of copulation, in the vernacular called 'fucking'. In addition, that very same word is used as an intensifying adjective, in the same way as the word 'very'. I got that bit :-) Hence, making love in a canoe

Re: Current status of DB libraries in D

On Tuesday, October 12, 2010 11:18:10 Yao G. wrote: >Conversely, if the type used is > char[], wchar[] or dchar[], and there's no usage of the former types, then > it's a D2 project. I think that you meant D1. ;) Some good suggestions on figuring out how a project is D1 or D2 though. Still, last

Re: Current status of DB libraries in D

On Tue, 12 Oct 2010 10:29:41 -0500, Gianluigi Rubino wrote: Sorry to bother you as probably this question has been asked 10k times. I searched a bit in the ML archives before posting my question, I hope to no upset anyone :-) But I currently am able to find only _outdated_ information about

Re: [joke] D type system and making love in a canoe?

Peter Alexander wrote: On 12/10/10 4:01 PM, Justin Johansson wrote: What's the similarity between the D type system and making love in a canoe? They are both f??king close to water. :-) - JJ At the risk of sounding stupid: I don't get it :-( Making love is often equated with the act of

Re: [joke] D type system and making love in a canoe?

On 12/10/10 4:01 PM, Justin Johansson wrote: What's the similarity between the D type system and making love in a canoe? They are both f??king close to water. :-) - JJ At the risk of sounding stupid: I don't get it :-(

Re: Is D right for me?

On Tuesday, October 12, 2010 04:08:13 Simen kjaeraas wrote: > Jonathan M Davis wrote: > > Except that copying Tango is taboo. We want to avoid any possible > > accusation of > > copying Tango's code or design. There have been issues in the past where > > Tango > > devs thought that we might be doi

Re: Partial return type specification

On 12/10/10 7:28 AM, Pelle wrote: On 10/11/2010 10:56 PM, bearophile wrote: Ideally the partial specification syntax for ranges may work at the calling point too: void main() { Range!int results = foo(); } Here results is of its specific type, it's not a "Range!int", so Range!int works as "aut

Re: [nomenclature] What is a bug?

"Simen kjaeraas" wrote in news:op.vkgsmjr4vxi...@biotronic-pc.lan: > Justin Johansson wrote: > >> Perhaps this topic could be posted as >> "[challenge] Define just exactly what a bug is". >> >> I trust this topic will yield some interesting conversation. > > Unwanted behavior? I guess that mi

Current status of DB libraries in D

Sorry to bother you as probably this question has been asked 10k times. I searched a bit in the ML archives before posting my question, I hope to no upset anyone :-) But I currently am able to find only _outdated_ information about the current development of a good DB layer for D. 1) I can found

Re: [D typesystem] What is the type of null?

On 13/10/2010 2:41 AM, Simen kjaeraas wrote: Justin Johansson wrote: The answer to the OP's question is simple: null's type is not expressible in D. That is a sad observation for a language that purports maturity beyond the epoch of C/C++/Java et. al. I'm curious - why does null need such

Re: [D typesystem] What is the type of null?

Justin Johansson wrote: The answer to the OP's question is simple: null's type is not expressible in D. That is a sad observation for a language that purports maturity beyond the epoch of C/C++/Java et. al. I'm curious - why does null need such a specific type? -- Simen

Re: "in" everywhere

Stewart Gordon wrote: Imagine, for instance, if we were to make Java's mistake of having List be an interface which ArrayList and LinkedList implement and that List has a get() function. Using ArrayList, get() has a complexity of O(1). Using LinkedList, it has a complexity of O(n). Are y

Re: [D typesystem] What is the type of null?

On 13/10/2010 2:04 AM, Andrei Alexandrescu wrote: On 10/12/10 9:51 CDT, Adam D. Ruppe wrote: I agree with what the compiler says: void*. null is literally a pointer into the void - there's nothing there for it to point to. Problem: char[] a = null; The answer to the OP's question is simple:

Re: [D typesystem] What is the type of null?

On Tue, 12 Oct 2010 15:52:36 +0200, Justin Johansson wrote: Given that if a function should return something, and that function may return null in, at least reference type return scenarios, one would expect that "null" has a type. What is the type of "null" in the D typesystem? The type of n

Re: [D typesystem] What is the type of null?

On 13/10/2010 2:17 AM, Stanislav Blinov wrote: There was a smile there, no? Alright, alright, joking mood off. Of course there was a(n implied) smile there, sorry I forgot the opcodes :-) :-) :-) - JJ

Re: improving the join function

On 13/10/2010 2:02 AM, Andrei Alexandrescu wrote: On 10/12/10 9:35 CDT, Justin Johansson wrote: On 13/10/2010 1:28 AM, Justin Johansson wrote: Yes, "do the darn string version already and cut all that crap". This is probably the thing to do to make for familiarity among library users [of other

Re: [D typesystem] What is the type of null?

12.10.2010 18:43, Justin Johansson пишет: On 13/10/2010 1:34 AM, Stanislav Blinov wrote: 12.10.2010 17:52, Justin Johansson пишет: Given that if a function should return something, and that function may return null in, at least reference type return scenarios, one would expect that "null" has

Re: improving the join function

On 10/12/10 9:35 CDT, Justin Johansson wrote: On 13/10/2010 1:28 AM, Justin Johansson wrote: Yes, "do the darn string version already and cut all that crap". This is probably the thing to do to make for familiarity among library users [of other languages]. However, if you have an urge to back-

Re: [D typesystem] What is the type of null?

On 10/12/10 9:51 CDT, Adam D. Ruppe wrote: I agree with what the compiler says: void*. null is literally a pointer into the void - there's nothing there for it to point to. Problem: char[] a = null; The answer to the OP's question is simple: null's type is not expressible in D. Andrei

Re: [Theory] Halting problem

On 10/10/2010 09:16 PM, %u wrote: Basically: because 1GB=infinity for all purposes of logical reasoning. No no no! :D If you'd left out logical it would have been just fine :D I'm not even going to give ridiculous logical proof with this assumption.. no I will not.. .. assume inf is 1GB.. No!

[joke] D type system and making love in a canoe?

What's the similarity between the D type system and making love in a canoe? Adapted from an Australian joke about U.S. beer (orig. Miller) (Ozzie's revere their beer), the answer is .. They are both f??king close to water. :-) - JJ

Re: [Theory] Halting problem

== Quote from BCS (n...@anon.com)'s article > Hello %u, > > Just to be clear about this, the halting problem is only unsolvable > > for Turing > > machines. > More correctly, the halting problem for machine X is unsolvable by machine > X (or any weaker machine). I was looking for a way out by maki

Re: [D typesystem] What is the type of null?

== Quote from Justin Johansson (n...@spam.com)'s article > Given that if a function should return something, > and that function may return null in, at least > reference type return scenarios, one would expect that > "null" has a type. > What is the type of "null" in the D typesystem? > - JJ I see

Re: [D typesystem] What is the type of null?

I agree with what the compiler says: void*. null is literally a pointer into the void - there's nothing there for it to point to.

Re: improving the join function

On 10/12/2010 03:09 AM, Daniel Gibson wrote: I don't like the name "join" - especially for general ranges. When I hear join I think of database like joins. These may not be horribly interesting for strings but certainly are for general ranges (*). union() or concat() would be better names for doi

Re: "in" everywhere

On 10/10/2010 02:05, Jonathan M Davis wrote: On Saturday 09 October 2010 06:54:31 Stewart Gordon wrote: Surely, what matters most for generic code is that in has consistent _semantics_, rather than the computational complexity? Stewart. _Both_ matter. True, yet you don't address semantic

Re: [D typesystem] What is the type of null?

On 13/10/2010 1:34 AM, Stanislav Blinov wrote: 12.10.2010 17:52, Justin Johansson пишет: Given that if a function should return something, and that function may return null in, at least reference type return scenarios, one would expect that "null" has a type. What is the type of "null" in the D

Re: improving the join function

On 13/10/2010 1:28 AM, Justin Johansson wrote: Yes, "do the darn string version already and cut all that crap". This is probably the thing to do to make for familiarity among library users [of other languages]. However, if you have an urge to back-end the implementation of the colloquial "join"

Re: [nomenclature] What is a bug?

Justin Johansson wrote: What is "unwanted behavior" then to exact a formal definition of the same? Unintended behavior with negative consequences. I'm not sure the last part should be left in, as one could certainly argue that any unintended behavior is a bug, or at the very least a sign you

Re: [D typesystem] What is the type of null?

12.10.2010 17:52, Justin Johansson пишет: Given that if a function should return something, and that function may return null in, at least reference type return scenarios, one would expect that "null" has a type. What is the type of "null" in the D typesystem? - JJ writeln(typeid(typeof(nul

Re: improving the join function

On 12/10/2010 11:33 AM, Andrei Alexandrescu wrote: I'm looking at http://d.puremagic.com/issues/show_bug.cgi?id=3313 and that got me looking at std.string.join, which currently has the sig: string join(in string[] words, string sep); A narrow fix: Char[] join(Char)(in Char[][] words, in Char[]

Re: [Theory] Halting problem

Hello %u, Just to be clear about this, the halting problem is only unsolvable for Turing machines. More correctly, the halting problem for machine X is unsolvable by machine X (or any weaker machine). -- ... <

Re: improving the join function

On 10/12/2010 01:25 AM, Pelle wrote: I think the function signature should be more of isInputRange!R1 && isInputRange(ElementType!R1), same with the is(). As the first one should be a range of ranges. Correct. I figured out my mistake when I started playing with an implementation. I think t

Re: improving the join function

On 10/11/10 23:00 CDT, Daniel Gibson wrote: Of course indexes would speed things up, but as mentioned before join() would work ok on almost(*) all ranges (with O(n^2) complexity) and a lot better on std.range.SortedRange. Because the user would provide a predicate (that should use the same compar

Re: improving the join function

On 10/11/10 23:37 CDT, Daniel Gibson wrote: Btw: Is "join" not just a (rather trivial) generalization of reduce? auto inRange = ...; // range of char[] char[] sep = " "; auto joined = reduce!( (char[] res, char[] x) {return res~sep~x;}) (inRange); It is, but things are a bit messed up by empty

[D typesystem] What is the type of null?

Given that if a function should return something, and that function may return null in, at least reference type return scenarios, one would expect that "null" has a type. What is the type of "null" in the D typesystem? - JJ

  1   2   >