On Saturday, 17 February 2018 at 00:04:16 UTC, Andrei
Alexandrescu wrote:
The implementation turned out to be quite compact - 81 lines
including a compile-time mergesort. Destroy!
Off-topic:
I've just realized Andrei puts "Destroy!" at the end of his
messages because it's the end of scope and
On Tuesday, 30 January 2018 at 22:38:20 UTC, Andrei Alexandrescu
wrote:
https://www.quora.com/Why-hasnt-D-started-to-replace-C++
[...]
At best responses would go on Quora, not here. Thanks! -- Andrei
That's a question from 2014. I wonder if anybody would see those
answers.
On Monday, 15 January 2018 at 20:46:19 UTC, Ali wrote:
If you want to learns the ins and outs of types, this books
comes highly recommended
https://www.cis.upenn.edu/~bcpierce/tapl/
+1, TAPL is a must read for anyone in CS, I believe.
Also recommended: "Type Theory & Functional Programming"
On Friday, 22 December 2017 at 11:39:48 UTC, user1234 wrote:
If benchmarks based on DMD are published, the article will be
subject to the criticism that is that the shorter build time is
due to the optimization pass, since it's known not to be super
deep in DMD backend.
Well, Go folks don't
On Friday, 22 December 2017 at 11:46:49 UTC, Chris wrote:
http://benchmarksgame.alioth.debian.org/
No D there? Performance must be bad because its not listed at
all ( for a language that exist 20 years )?
D is not there for the only reason of that benchmark maintainer
unwilling to include D.
On Thursday, 21 December 2017 at 22:45:23 UTC, Neia Neutuladh
wrote:
You can use mprotect(2) for write barriers, and that doesn't
require compiler support. It's relatively inefficient, though.
As I understand it's prohibitively inefficient, that's why this
approach is not used by any real worl
On Thursday, 21 December 2017 at 22:11:26 UTC, Thomas Mader wrote:
D compiler also doesn't insert that bookkeeping code, so
running code is fast as C but GC is slow and sloppy.
But for D it's planned to rewrite the GC to become something
like the Go GC right?
The last attempt to do this was af
On Wednesday, 20 December 2017 at 11:21:59 UTC, Thomas Mader
wrote:
What I don't get is why he doesn't believe in good GC for C (my
previous post) but at the same time praising Go for it's GC.
What makes it easier to have a good GC in Go vs. in C?
I guess the GC in D has the same problems as a G
On Sunday, 21 May 2017 at 19:33:35 UTC, Ecstatic Coder wrote:
I would have to evaluate several libraries from github, after
having searches on forums whether some regular expression
libraries are better or more successful, or better maintained
than other, etc.
No need to trawl github, just go
On Saturday, 6 May 2017 at 06:26:29 UTC, Joakim wrote:
Walter: I believe memory safety will kill C.
And then null safety will kill D. ;)
On Tuesday, 18 April 2017 at 02:57:59 UTC, prdan wrote:
I've written multi-threaded regex-redux benchmark for D
language and made some tests.
Nice!
Rust version 1.16 (newest stable)
GCC ver 4.9.2 (newest debian 8 stable)
Which compiler did you use for D?
C was the fastest (1.32) but used t
On Thursday, 13 April 2017 at 08:08:04 UTC, Russel Winder wrote:
It is Isaac's game, he runs it, he chooses which languages are
up there. It is not an official Debian thing as far as I know.
So what the problem?
I think Piotr stated the problem in the original post. If a
language is missing
On Tuesday, 11 April 2017 at 19:57:19 UTC, Piotr Kowalski wrote:
http://benchmarksgame.alioth.debian.org/
Why D is not there?
Because maintainer of that site doesn't want D there, as I
remember from previous discussions. At some point (years ago) D
was present there, then removed. C and C++
On Wednesday, 8 March 2017 at 20:00:54 UTC, aberba wrote:
From a technical and experience point of view (those with
experience in large D code-base), how is only D's GC & optional
MMM a significant production-use blocker?
This is mostly a psychological effect of C++ folks having
aversion to a
On Tuesday, 7 March 2017 at 19:09:11 UTC, bachmeier wrote:
Yep. If you want to give someone enough rope to get maximum
performance, you have to give them enough rope to shoot
themselves in the foot. Once you've moved into this territory,
you've made a decision to throw away safety and convenie
On Wednesday, 1 March 2017 at 13:53:17 UTC, Mike Parker wrote:
Plenty of people do, particularly on reddit, StackOverflow,
Hacker News, and whatever forums & communities they tend to
hang out at (e.g. gamedev.net). If there's an absence of such
at Quora, it's just because none of the vocal D u
On Thursday, 2 March 2017 at 12:31:27 UTC, qznc wrote:
D is really good at this, hence the logo :D
I like it!
+1!
Isn't it :C => :C++ => :D
Yep, that nails it!
On Wednesday, 11 January 2017 at 15:56:46 UTC, Chris Wright wrote:
On Wed, 11 Jan 2017 07:21:22 +, thedeemon wrote:
If you need some GUI, DLangUI is just a "dub build" away.
How does DLangUI do with screen readers and magnifiers?
Very poorly, I guess. It does not use native controls and
On Monday, 9 January 2017 at 21:41:37 UTC, aberba wrote:
This seemed to be an effort (among others) to bring GUI cross
platform to standard D but some
language/compiler/Phobos/Deimos/manpower issues were the drag.
https://github.com/Devisualization
We now have DLangUI.
I wonder what the cur
On Thursday, 22 December 2016 at 03:57:10 UTC, Chris Wright wrote:
You can implement write barriers as runtime calls, but omit
them in @nogc code.
That means redefining what @nogc means. Currently it basically
means "does not GC-allocate" and you want to change it to "does
not mutate GC-allo
On Wednesday, 21 December 2016 at 11:54:35 UTC, Ilya Yaroshenko
wrote:
On Wednesday, 21 December 2016 at 11:36:14 UTC, thedeemon wrote:
On Tuesday, 20 December 2016 at 10:18:12 UTC, Kelly Sommers
wrote:
[...]
Bad news: without complete redesign of the language and
turning into one more C++/C
On Tuesday, 20 December 2016 at 10:18:12 UTC, Kelly Sommers wrote:
What I really want is what C++ wanted to deliver but it
doesn't. I want something better than writing C but with the
same performance as C and the ability to interface with C
without the performance loss and with easily composab
On Saturday, 19 November 2016 at 22:19:58 UTC, deadalnix wrote:
Err.. I mean, what is PIE and what kind of problems with D are
there?
DMD emit relocation data that linker can't make sense of,
that's what happens. So you can't link anything that wasn't
compiled with -fPIC, even if you aren't
On Friday, 18 November 2016 at 11:02:20 UTC, Daniel Kozak wrote:
Ubuntu 12.04 to 16.04 which has PIE enabled now, and there
are problems with D on it.
Where can I learn more about it?
It has been typo, it should not be 16.04 but 16.10.
Err.. I mean, what is PIE and what kind of problems wi
On Thursday, 17 November 2016 at 18:24:05 UTC, Daniel Kozak wrote:
Dne 17.11.2016 v 18:49 sanjayss via Digitalmars-d napsal(a):
Ubuntu 12.04 to 16.04 which has PIE enabled now, and there are
problems with D on it.
Where can I learn more about it?
On Monday, 14 November 2016 at 13:44:29 UTC, Patrick Schluter
wrote:
Extremely annoying when you only want to install an otherwise
extremely lean development tool (dmd) to test 100 liners.
But you most probably don't need all that stuff for testing your
100-liners. By default DMD on Windows bu
On Thursday, 14 July 2016 at 10:58:47 UTC, Istvan Dobos wrote:
I was thinking, okay, so D's GC seems to turned out not that
great. But how about the idea of transplanting Rust's ownership
system instead of trying to make the GC better?
This requires drastically changing 99% of the language an
On Wednesday, 6 July 2016 at 05:46:20 UTC, ketmar wrote:
On Wednesday, 6 July 2016 at 05:38:25 UTC, Tofu Ninja wrote:
dmd seems pretty fast to me.
add "-O -inline" and go to bed. ;-)
Nah, in my multi-KLOC project the difference between debug (-g)
and release (-O -inline) is like 6 vs. 8 sec
On Wednesday, 15 June 2016 at 13:19:31 UTC, Konstantin wrote:
Has anyone thought about taking GC from .NET and reusing it in
D?
One significant point has been already mentioned: cost of write
barriers.
I'd like to mention another factor: .NET GC is a copying one, it
moves data around. One go
On Thursday, 5 May 2016 at 13:47:10 UTC, Chris wrote:
I might ask as long as DConf is still going on.
Anyone interested in joining forces to improve and extend
DlangUI and DlangIDE?
I think I can write a few DlangUI tutorials based on experience
gained during last months. Like using DML, mak
On Sunday, 17 April 2016 at 15:23:50 UTC, w0rp wrote:
auto unaryRecurrence(alias func, T)(T initialValue) {
return recurrence!((values, index) =>
func(values[0]))(initialValue);
}
This is kind of neat. My question is, should something like
this function be included in std.range? Either
On Monday, 21 March 2016 at 23:09:27 UTC, Tamas wrote:
On Monday, 21 March 2016 at 11:48:52 UTC, Seb wrote:
Could you try to point out whats wrong with map & filter?
It's hard to do stuff like this:
assert(9.iota.emit!(int,(put,a){if(a%2) put(a*a); if(a%3==0)
put(a);}).equal([1,9,3,25,6,49]))
On Tuesday, 15 March 2016 at 10:31:40 UTC, Saša Janiška wrote:
Another one is DML, an analog of QML:
http://stuff.thedeemon.com/lj/dml.png
is there some GUI build for DML?
In the examples coming with DLangUI there is an app where on the
left you enter some DML text and on the right you see
On Monday, 14 March 2016 at 18:54:31 UTC, Chris Wright wrote:
I'm guessing dlangui will be best here, but GtkD is pretty
good.
What might be some 'pro' of dlangui?
dlangui is written entirely in D, which makes it a little
easier to make it more D-ish. That certainly doesn't mean it's
defin
On Monday, 14 March 2016 at 08:04:18 UTC, deadalnix wrote:
Right now, I'm repeating the following pattern many times :
range.map!(x => cast(Foo) x).filter!(x => x !is null)
This reminds me of a function in OCaml extended stdlib that I've
used quite often and really miss in D:
filter_map : (
On Monday, 14 March 2016 at 01:38:50 UTC, Adam Wilson wrote:
Lastly, Rainer seemed to think a precise GC could be done, and
he then went and did it ... so "can't reasonably have a precise
collector" is a factually incorrect assertion.
IIRC, Rainer called it "mostly precise", and for a good rea
On Sunday, 13 March 2016 at 22:49:30 UTC, Chris Wright wrote:
dlangui will be consistent on different platforms. However,
what I've seen in it doesn't support antialiasing, so it's kind
of ugly.
DLangUI has several backends for drawing things in general
(OpenGL / WinAPI / SFML / SDL...) and f
On Thursday, 10 March 2016 at 05:01:37 UTC, Joakim wrote:
Perhaps someone could build off of Sociomantic's concurrent GC
(https://www.sociomantic.com/blog/2013/06/porting-cdgc-to-d2/),
which I assume has been ported to D2, porting it to Windows or
whatever else remains to be done and then addin
On Tuesday, 16 February 2016 at 17:15:17 UTC, Jardík wrote:
But if I couldn't use GC and do all allocations and
deallocations manually, I wouldn't even be able to use
exceptions and there would also no longer be much reason to
write it in D.
I'd say if you're going to grow GC heap so big it d
On Friday, 29 January 2016 at 10:41:03 UTC, interessted wrote:
where can one find a working DFL version - compilable with the
last compiler?
The last compiler is just 1 day old, don't expect all libs
updated this soon. ;)
Usually I took DFL here:
https://github.com/Rayerd/dfl/
There are man
On Sunday, 24 January 2016 at 12:16:09 UTC, nbro wrote:
Except for GtkD and DWT, D does not seem to be supported by a
really nice GUI toolkit.
For Windows DFL is quite nice and working well (I've used it in
several projects).
For multiple platforms DLangUI is very cool, I don't see why
peop
On Friday, 22 January 2016 at 02:14:53 UTC, Walter Bright wrote:
In the past some of these were driven by Optlink making an
executable that is not quite like what MS tools make, so, hey,
"Possible Virus". Blech.
Yeah, I was bitten by this too, antiviruses started barfing at my
Win32 app when
On Saturday, 9 January 2016 at 11:00:01 UTC, Jin wrote:
No, jin.go creates new native thread on every call. And this is
problem :-) We can not create thousand of threads without
errors.
Ah, sorry, I misread the source. FiberScheduler got me
distracted. Why is it there?
On Friday, 8 January 2016 at 16:58:59 UTC, Jin wrote:
Idea: no mutex, no CAS, only one direction queues without any
locks.
My prototype (https://github.com/nin-jin/go.d) is up to 10x
faster than std.concurrency.send/receive
Sorry, that's not looking any good.
You call it wait-free when in fa
I just like how it looks in D. ;)
On Tuesday, 5 January 2016 at 16:10:21 UTC, Jason Jeffory wrote:
Is it possible that one could develop or modify an existing
programming language that can adapt in such a way to provide
maximum unity between programmers?
What are the properties of the perfect language? To be able to
create it
On Tuesday, 5 January 2016 at 12:27:12 UTC, Ola Fosheim Grøstad
wrote:
I wonder what kind of programming people plan or _hope_ to use
D for in 2016?
Right now I'm using D to make the next major version (2.0) of my
company's most known product - a video processing app called
Video Enhancer. So
On Wednesday, 18 November 2015 at 04:31:08 UTC, Brad Anderson
wrote:
We can't even do the equivalent of std::tie[1] in D as a
workaround for tuple expansion because there are no ref typed
Tuples (unless something changed from when I last looked).
Several implementations here:
http://forum.dl
On Tuesday, 20 October 2015 at 17:01:19 UTC, karabuta wrote:
I hope I am wrong, but dlangui seems to be abandoned for some
time after all the hard work that went into it. I really like
it since it was easy to setup and get things working.
Maybe the author decided it's "done and ready"?
In fa
On Sunday, 4 October 2015 at 13:24:23 UTC, karabuta wrote:
For some time now I have been trying various GUIs options in D.
I came to settle on gtkd and dlangui(stability is not my
current priority).
In YHO, what keeps you from using any of those fully(mostly)?
Gtkd first, followed by dlangui
On Thursday, 17 September 2015 at 01:35:42 UTC, Leandro T. C.
Melo wrote:
An alternative would be a LL parser generator. I think ANTLR
added a C++ target, but I don't know how mature it is.
I used C++ target of ANTLR like 13 years ago and it was fine. So
I suppose it should be mature now. ;)
On Friday, 4 September 2015 at 00:11:02 UTC, Nick Sabalausky
wrote:
On 09/03/2015 01:51 PM, motaito wrote:
Yeah, it's a shame that the mono framework does not support
WPF.
I thought Mono did support that. Like in GitExtentions which
runs fine on Linux (well, aside from frequent crashing). O
On Thursday, 3 September 2015 at 16:31:33 UTC, Zekereth wrote:
https://github.com/buggins/dlangui is fairly complete and
contains DML - DlangUI Markup Language - similar to QML.
+1, came here to mention dlangui. It already works and contains a
lot of good stuff, including layout engine and mar
Anrei's TDPL book spent a lot of words on shared (and this book
had kind-of-a-spec reputation), but I don't know how much of it
is relevant now.
On Sunday, 2 August 2015 at 05:03:34 UTC, rsw0x wrote:
Furthermore, more often than not allocations in D on the heap
contain no pointers/references at all (>60% of all allocated
memory in nearly every D program I tested that wasn't optimized
to not use the GC contained no pointers/references.)
On Monday, 13 July 2015 at 06:31:33 UTC, Jack Applegame wrote:
But is there any reason why D can't follow MLton way -
instantiate a class type template ONLY when a constructor of
given class is used?
Because if constructor isn't used doesn't mean the class isn't
used: there can be some stati
On Monday, 6 July 2015 at 20:56:04 UTC, Frank Pagliughi wrote:
void set_result(int retCode) {
synchronized (mut) {
this.retCode = retCode;
completed = true;
cond.notify();
}
}
int get_result() {
synchronized (mut) {
while (!completed)
On Monday, 29 June 2015 at 04:19:04 UTC, rsw0x wrote:
Does anyone know of any GC intensive D programs that can
preferably be ran with little to no setup?
Sorry, should have been a bit more clear. I'm looking for real
world D programs to help collect statistics.
Here's mine, although it hasn't
On Saturday, 27 June 2015 at 11:11:31 UTC, Etienne Cimon wrote:
On 2015-06-27 01:06, thedeemon wrote:
Inference of return type was in ML since 1973. Such bleeding,
so edge. ;)
Is there some other natively compiled language that implemented
the auto keyword before? Or are you only talking ab
On Saturday, 27 June 2015 at 03:10:51 UTC, Etienne Cimon wrote:
What you're asking for is probably type inference. Notice the
auto return type? This keyword is actually very advanced and
bleeding edge in natively compiled languages.
Inference of return type was in ML since 1973. Such bleeding
On Saturday, 27 June 2015 at 02:51:18 UTC, Parke wrote:
In the above example, buf's length is uint.sizeof * 3. But
what if buf's length was a function of u (and therefore only
known at run-time), rather than a function of uint.sizeof?
In this case you have two options:
1) do not store result
On Friday, 26 June 2015 at 04:43:08 UTC, Rikki Cattermole wrote:
Looks like I will give a talk about D to our local Functional
Programming User Group in August.
irk be careful when showing off ranges. Get some damn good
background of what D is first. It took me well over a year
before I start
On Thursday, 11 June 2015 at 07:15:31 UTC, rsw0x wrote:
Boehm's GC uses this and regularly kept up(~5-10%) with
essentially all of the top of the line GCs in all the papers I
read.
Ah, so you only read papers about very bad GCs, that explains it.
;)
On Wednesday, 13 May 2015 at 18:59:42 UTC, Dennis Ritchie wrote:
http%3A%2F%2Fhabrahabr.ru%2Fpost%2F257875%2F
Just some usual C++ critique and very vague basic principles
about having a core language with some extensions and library
support, nothing constructive or informative really.
On Tuesday, 12 May 2015 at 18:35:10 UTC, FujiBar wrote:
"Wikipedia tells us that there were a lot of other attempts
besides D to kill C++ - for example Vala, Cyclone, Limbo, BitC.
How many of you have even heard of these languages?"
I've heard of every one except Limbo.
Walter would probably
On Saturday, 9 May 2015 at 07:37:52 UTC, zebrazebra wrote:
Wondering what is the average compile time users face on Wdinows
is. I just downloaded dmd today to start learning some d and it
takes 5 seconds for me to compile a simple "hello, world".
Wondering if I have something messed up?
On my l
On Tuesday, 21 April 2015 at 03:35:49 UTC, Vladimir Panteleev
wrote:
On Monday, 20 April 2015 at 12:16:21 UTC, Jakob Ovrum wrote:
Mine:
http://dump.thecybershadow.net/f8a172455ca239c35146f5dafdc7d1bc/test.d
And we have a winner!
On Wednesday, 8 April 2015 at 08:59:04 UTC, Szymon Gatner wrote:
From StackOverflow's 2015 Developer Survey [1]:
Interestingly, from the "Text editor" question we learn that
most used ones are "NotePad++" and "Sublime Text" (and not
Visual Studio) which I know are favs among webdevelopers tha
On Tuesday, 7 April 2015 at 19:09:21 UTC, deadalnix wrote:
Food for thought :
http://codecapsule.com/2013/11/11/robin-hood-hashing/
http://people.csail.mit.edu/shanir/publications/disc2008_submission_98.pdf
Also it is probably worthwhile to adopt various strategy
depending on element types cha
On Friday, 3 April 2015 at 16:12:00 UTC, w0rp wrote:
Is there a D version of a hash table with open addressing and
quadratic probing?
Now there is.
https://github.com/w0rp/dstruct/blob/master/source/dstruct/map.d
Great! I'll experiment with it and do some comparisons.
On Tuesday, 31 March 2015 at 21:17:04 UTC, Martin Nowak wrote:
Robin Hood sounds like a good idea, but it really isn't. Keep
your load factor reasonable and distribute values evenly, then
you don't need a LRU lookup.
Is there a D version of a hash table with open addressing and
quadratic pro
On Sunday, 29 March 2015 at 22:32:34 UTC, Martin Nowak wrote:
Always use open addressing when implementing a hash table.
https://github.com/D-Programming-Language/dmd/pull/4088
https://github.com/higgsjs/Higgs/pull/170
Here's a variant of a open addressing hash table (Robin Hood one)
that use
On Wednesday, 25 March 2015 at 18:35:37 UTC, Jonathan wrote:
Hey folks,
What's the best article/resource that I could give to a C++/C#
developer to convince them on D? Ideally, I'm looking for
something concise on the benefits with several examples.
Here's mine, but some examples are linked
On Wednesday, 21 January 2015 at 19:12:21 UTC, Fool wrote:
- a keyword preliminary called 'using' which seems to be quite
close to 'alias this';
By the way, what's the current status with multiple `alias this`?
On Sunday, 11 January 2015 at 13:25:59 UTC, ketmar via
Digitalmars-d wrote:
On Sun, 11 Jan 2015 13:06:26 +
Dicebot via Digitalmars-d wrote:
What is your opinion of approach advertised by various
functional languages and now also Rust? Where you return error
code packed with actual data an
On Sunday, 11 January 2015 at 12:57:17 UTC, MattCoder wrote:
Since I'm relative new here, I want know from you agree with
this statement:
"
[–]clay_davis_sheeit 4 points 17 hours ago*
get real. D is more dead now than it was a year ago. if you
won't accept repo counts, look at how many peopl
On Sunday, 11 January 2015 at 04:31:29 UTC, MattCoder wrote:
Comparing Go and D, but some replies are getting a bit harsh
against D! So I'm just posting this to call your attention and
maybe some experts could reply there too.
At this moment I only see some popularity comparisons and I think
If happen to have used D this year, don't forget to mention it on
twitter with #code2014 hashtag.
http://www.code2014.com/
On Tuesday, 9 December 2014 at 08:15:02 UTC, Puming wrote:
For Chinese it would be "帝" which pronounces the same as 'D'
and means Emperor.
In Thai language "ดี" pronounces "dee" and means "good".
On Thursday, 13 November 2014 at 06:08:46 UTC, Joakim wrote:
"Byron Scott on D: 'It was just terrible'" :)
http://espn.go.com/los-angeles/nba/story/_/id/11868151/los-angeles-lakers-coach-byron-scott-rips-team-lack-defense
It's on Go.com, obviously biased. ;)
On Wednesday, 12 November 2014 at 11:05:11 UTC, ketmar via
Digitalmars-d wrote:
734003200
address space" (yes, i'm on 32-bit system, GNU/Linux).
the question is: am i doing something wrong here? how can i
force GC to stop eating my address space and reuse what it
already has?
Sure: just ma
On Thursday, 6 November 2014 at 23:00:19 UTC, H. S. Teoh via
Digitalmars-d wrote:
1) The GC could use some serious improvement: it just so
happens that
the solver's algorithm only ever needs to allocate memory,
never release
it (it keeps a hash of visited states that only grows, never
shrinks).
On Sunday, 2 November 2014 at 18:04:18 UTC, Ary Borenszweig wrote:
About the bytecode he generates: as someone said in the reddit
discussion, having to maintain two separate language
implementations (compiled and interpreted) can lead to small
and subtle bugs. And, running code via an intepret
On Tuesday, 4 November 2014 at 06:09:21 UTC, deadalnix wrote:
Write barrier are only required on objects that contain mutable
pointer and are shared.
Required for what exactly? If you want generational GC, you'll
need barriers everywhere, not only in shared heap.
On Sunday, 2 November 2014 at 10:36:13 UTC, Jonathan Barnard
wrote:
On Sunday, 2 November 2014 at 10:30:21 UTC, Araq wrote:
And I think these are meaningless results. You can see here
for instance what a write barrier can look like:
http://psy-lob-saw.blogspot.de/2014/10/the-jvm-write-barrie
On Thursday, 30 October 2014 at 13:04:26 UTC, First Try wrote:
1.) ADD Windows import of the C headers.
2.) ADD libraries such as Database and Gui
3.) Get a Scanner/Parser Generator going such as Antlr or Coco/r
Actually, with DFL and Pegged I'm easily building Windows GUI
apps now that use so
On Tuesday, 28 October 2014 at 01:10:18 UTC, Andrei Alexandrescu
wrote:
On 10/23/14 2:41 AM, thedeemon wrote:
To scare you well, here, for example, is my Smoothsort
implementation in
ATS
http://stuff.thedeemon.com/lj/smooth_dats.html
that includes proofs that the array really gets sorted and th
On Wednesday, 22 October 2014 at 23:09:17 UTC, Ola Fosheim
Grøstad wrote:
I would always assume it has been done plenty of work related
to proving properties about a program since this is the holy
grail of CS!
I think it is related to so-called dependent types?
http://en.wikipedia.org/wiki/
On Wednesday, 22 October 2014 at 05:17:54 UTC, Domingo Alvarez
Duarte wrote:
There is no backport/bug fix for the stable releases
I understand now for each release 2.0XX there can be some bugfix
releases like 2.0XX.Y. For example, 2.066.1 is a bugfix release
for 2.066.
Let's talk about l
On Tuesday, 21 October 2014 at 07:37:06 UTC, Kapps wrote:
"Currently the game allocates (and throws away immediately) 50
MB/sec when standing still and up to 200 MB/sec when moving.
That is just crazy."
In D this rate of allocation would make GC take 100% of CPU time.
The fact that Java survi
On Tuesday, 21 October 2014 at 04:16:10 UTC, Brad Roberts via
Digitalmars-d wrote:
On 10/20/2014 8:47 PM, thedeemon via Digitalmars-d wrote:
Another problem: a week ago I created an account (thedeemon),
activated
it and successfully used but now I cannot log in (says
username or
password not
On Sunday, 19 October 2014 at 19:24:03 UTC, Brad Roberts via
Digitalmars-d wrote:
Yes, the email queue running was indeed not running. I've
kicked it and will look into why it wasn't doing its job.
On 10/19/2014 8:26 AM, anonymous via Digitalmars-d wrote:
A confirmation email has been sent con
On Thursday, 16 October 2014 at 22:20:34 UTC, Brad Anderson wrote:
On Thursday, 16 October 2014 at 19:46:42 UTC, Shucai wrote:
I am doing research on segmented stack mechanisms, and in
addition to academic papers, I am surveying whether segmented
stack mechanism is still useful on 64-bit machin
On Monday, 13 October 2014 at 03:48:45 UTC, Meta wrote:
On Monday, 13 October 2014 at 00:01:02 UTC, Timon Gehr wrote:
On 10/13/2014 01:48 AM, Meta wrote:
On Sunday, 12 October 2014 at 20:58:58 UTC, Timon Gehr wrote:
Yes it is. Why wouldn't it be? Values needn't be completely
determined
in ord
On Monday, 6 October 2014 at 16:48:32 UTC, Jonathan wrote:
Resurrecting this topic, does D have ADTs yet for enums/structs?
Here's a proof of concept:
http://www.infognition.com/blog/2014/recursive_algebraic_types_in_d.html
struct Const(T) { ... }
class Add(T) { ... }
alias Exp = Either!(Add
On Monday, 29 September 2014 at 11:36:51 UTC, Abdulhaq wrote:
So, (does anyone know) has this technique been discarded for D
or is it 'just' a matter of the resources to do it?
From the literature on this topic I remember attempts for
automatic region inference mostly failed: it lead to some
On Sunday, 28 September 2014 at 16:29:45 UTC, Abdulhaq wrote...
Congratulations on inventing
http://en.wikipedia.org/wiki/Region-based_memory_management
and "Region inference" in particular.
On Monday, 29 September 2014 at 04:15:24 UTC, Andre Kostur wrote:
I ran across mention of a JavaScript compiler written in D on
the ACM TechNews...
https://github.com/maximecb/Higgs
It's already famous here. Both DConf'13 and DConf'14 had talks by
Maxime about it.
On Thursday, 17 July 2014 at 12:37:10 UTC, w0rp wrote:
For improving the GC to an acceptable level, I believe
collection only needs to execute fast enough such that it will
fit within a frame comfortably. So for something rendering at
60FPS you have 1 second / 60 frames ~= 16.6 milliseconds of
99 matches
Mail list logo