Aizu.LT 03のロングトークで喋ったスライド

1. D
Thu, September 22, 2009

2. • tama : repeatedly
• T
•
• ( )
• D ...

3. •
•D

5. D
• Digital Mars Walter
• M$
•
• (
•

6. • DMD • GDC
• • GCC
• D.NET • → LDC
• • LDC
• DLI • LLVM
• …
• GDC

7. DMD
•
• 1-2
•
• 1 2 3

8. 1
2

9. •
•
• arr + 10
•
• Ruby arr[1..7]

10. const / immutable
• const
• const
• immutable
•
• ( )

11. • pure
• nothrow
• ref int foo() { ...; return *p; }
ref
foo = 3;
•
•

12. • op*
• override
• alias this ( )
class Foo
{
Foo foo;
Bar bar;
foo.func; // bar.func call
alias bar this;
}

13. Template
• C++
• !() → Foo!(int)(args);
• C++ +α
• template
• Mixin

14. Template
•
template Foo(T)
{
class Foo { }
void foo() { }
}
•
template Foo(T)
{
class Foo { }
class Foo(T) { }
}

15. Mixin
• • Template
• D • Ruby mixin
•
TMP
mixin

16. TMP
• •
• static if •
• is
•
• concept if
•
•
• etc...
• alias etc...

17. static if
• if

18. is
•

19. concept if
• template

20. • TLS
• shared
• shared
• __gshared
• synchronized

21. • enum
•
• final switch
•
•

22. enum
enum Foo : string { A = “a”, B = “b”, C = “c” }
final switch (foo) {
case Foo.A, Foo.B: ... break;
case Foo.C: ... break; // break
// default:
}

23. • Eiffel
• in/out invariant
•
• release

24. void func(int v) int func() class Foo
in out(r) {
{ { int v;
assert(v); assert(r);
} } invariant()
body body {
{ { assert(v);
... return 0; }
} } }

25. • unittest {}
•
int foo() { return 0; }
unittest
{
assert(foo == 0);
}

26. GC
•
• GC
• GC ML
• GC

27. DIP
• D improve proposal
•
•
•
•

28. •
•
•
•
• etc...

29. • 2
• Andrei ML
•
•3
•
• Noop C# (ry

30. Phobos

31. std.range
• Range
• Phobos
• R.I.P opApply
• Iterators must go
• Range
• etc...

32. range
• Recurrence
auto fib = recurrence!("a[n-1] + a[n-2]")(1, 1);
foreach (e; take(10, fib)) { writeln(e); }
• random
int[] a = [ 0, 1, 2, 3, 4, 5, 6, 7, 8 ];
auto rnd = Random(unpredictableSeed);
foreach (e; randomCover(a, rnd)) { writeln(e); }

33. std.contract
• enforce
auto file = fopen(“hoge.d”)
if (file is null)
throw new Exception;
auto file = enforce(fopen(“hoge.d”))
// null

34. std.regex
• std.regexp
• PCRE ECMA standard
auto r = regex("ab");
foreach(m; match("abcabcabab", r))
{
writefln("%s[%s]%s", m.pre, m.hit, m.post);
}

35. • std.algorithm
• STL
• std.variant
• Variant
• std.traits
• TMP template

36. • Andrei
• Boost::Optional
• net
• replace
• Tango …

37. Appendix
• D official site
•
• The Case for D
•
• C/C++ D 2.0