Re: error detected at """ ch in unicode.C """ Library error?

On 10/23/2015 04:33 AM, rumbu via Digitalmars-d-learn wrote: My opinion is to use the Tango's unicodedata.d module to obtain the unicode category, std.uni does not provide such functionality. This module does not have any dependency, therefore you can just use it directly:

Re: 0 in version number?

On 10/19/2015 02:49 PM, BusPassenger wrote: On Monday, 19 October 2015 at 14:37:37 UTC, Nick Sabalausky wrote: SemVer is very good. but in commercial software, this versionning scheme doesn't allow to make a big psychological hit when a new version is released. (1.9.9 -> 2.0.0). That's one

Re: Vision

On 10/23/15 11:53 AM, Kagamin wrote: On Friday, 23 October 2015 at 12:44:03 UTC, Steven Schveighoffer wrote: The example looks terrible -- objc_lookUpClass which only gets a class that can alloc an NSString? Can this be done better? An objective-c developer that is not too familiar with D would

[Issue 15240] New: errors in isExpression with == not gagged when used in constraint

https://issues.dlang.org/show_bug.cgi?id=15240 Issue ID: 15240 Summary: errors in isExpression with == not gagged when used in constraint Product: D Version: D2 Hardware: x86_64 OS: Windows

Re: Kinds of containers

On 10/22/15 1:09 AM, deadalnix wrote: The elephant in the room: make the template parameter's type qualifier transitive with the collection's qualifier. Could you please give more detail on this? Thanks! -- Andrei

Lazy generic std.algorithm.replace()

Is there a reason why std.algorithm doesn't provide a lazy range implementation of replace()? I'm aware this isn't difficult to express using `map` like, for instance, auto replace(S, F, T)(S, F from, T to) { return s.map!(a => a == from ? to : a); } but I prefer syntactic sugars.

Re: error detected at """ ch in unicode.C """ Library error?

My opinion is to use the Tango's unicodedata.d module to obtain the unicode category, std.uni does not provide such functionality. This module does not have any dependency, therefore you can just use it directly: https://github.com/SiegeLord/Tango-D2/blob/d2port/tango/text/UnicodeData.d#L169

Re: Vision

On Friday, 23 October 2015 at 11:06:07 UTC, Jacob Carlborg wrote: It's available in the changelog [1] which links to the full documentation [2]. I'm not sure what document you're referring to. Is it your hope to get the operating system bindings into druntime too? I'd like it if I could use

Re: Invalid assembler comparison

On Friday, 23 October 2015 at 15:17:43 UTC, Etienne Cimon wrote: Hello, I've been trying to understand this for a while now: https://github.com/etcimon/botan/blob/master/source/botan/math/mp/mp_core.d#L765 This comparison (looking at it with windbg during cmp operation) has these invalid

Re: Default method implementations in interfaces?

On Friday, 23 October 2015 at 15:07:05 UTC, Alex Parrill wrote: Use template mixins: http://dlang.org/template-mixin.html On Friday, 23 October 2015 at 15:08:30 UTC, Adam D. Ruppe wrote: Use a mixin template together with your interface. Awesome, thanks! No way, though, to unite

[Issue 15240] errors in isExpression with == not gagged when used in constraint

https://issues.dlang.org/show_bug.cgi?id=15240 Rainer Schuetze changed: What|Removed |Added Status|NEW |RESOLVED

Re: Default method implementations in interfaces?

On 10/23/15 10:58 AM, pineapple wrote: Is it possible to have default method implementations in interfaces à la Java in D? Or some equivalent that allows multiple inheritance without a bunch of identical copypasted method bodies? If the idea is to have an implementation that *doesn't* get

Re: Vision

On Friday, 23 October 2015 at 12:44:03 UTC, Steven Schveighoffer wrote: The example looks terrible -- objc_lookUpClass which only gets a class that can alloc an NSString? Can this be done better? An objective-c developer that is not too familiar with D would be very disappointed in this

Sociomantic Labs is looking for Software Developers! (D language)

Hi, We at Sociomantic Labs are looking for new software developers to join our ranks in our Berlin office! Here's what we're looking for in a potential candidate: - Experience in C, C++, or D. (You'll be programming in D) - Knowledge of Github or a similar collaborating environment -

Re: Overloading an imported function

Forwarding a thread from the D.learn forum: Shriramana Sharma wrote: > import std.math; > real round(real val, int prec) > { > real pow = 10 ^^ prec; > return round(val * pow) / pow; > } > > Trying to compile this I get: > > foo.d(5): Error: function foo.round (real val, int prec) is

[Issue 15241] struct literal implicitly converts void* to size_t

https://issues.dlang.org/show_bug.cgi?id=15241 --- Comment #1 from anoneu...@gmail.com --- Related: http://dpaste.dzfl.pl/68de69a294c3 --

[Issue 15242] New: Allow version or static if blocks in asm blocks

https://issues.dlang.org/show_bug.cgi?id=15242 Issue ID: 15242 Summary: Allow version or static if blocks in asm blocks Product: D Version: D2 Hardware: x86_64 OS: Windows Status: NEW Severity: enhancement

[Issue 15233] TypeTuple causes segfault in dmd 2.68.2

https://issues.dlang.org/show_bug.cgi?id=15233 Kenji Hara changed: What|Removed |Added Keywords||CTFE, pull

Re: dmd.conf no longer working?

Or ditch the whole thing and dogfood D parser for config: enum Environment { DFLAGS=`-I/opt/dmd-2.069/import -L--export-dynamic -defaultlib=phobos2 -verrors=0` } enum Environment32 { DFLAGS=`%DFLAGS% -L-L/opt/dmd-2.069/lib32 -L-rpath -L/opt/dmd-2.069/lib32` } enum Environment64 {

[Issue 15240] errors in isExpression with == not gagged when used in constraint

https://issues.dlang.org/show_bug.cgi?id=15240 --- Comment #1 from Kenji Hara --- This is intentional behavior. In 'IsExpression', if the Type operand is invalid, the latter arguments are not analyzed. In this case, the type R in `static if (is(R == what)) ...` is

Re: Vision

On 10/23/15 7:06 AM, Jacob Carlborg wrote: On 2015-10-22 21:47, Laeeth Isharc wrote: Should this not be mentioned in the document ? If so, care to draft a sentence for it. Cos readership of this kind of thing exceeds people that use D already. It's available in the changelog [1] which

[Issue 13409] std.range.padLeft/Right

https://issues.dlang.org/show_bug.cgi?id=13409 Jack Stouffer changed: What|Removed |Added CC||j...@jackstouffer.com

Easy and efficient database usage

I keep finding myself thinking about what an API in D for easy and efficient database usage would look like. I started thinking about how ORM is done in libraries in other languages, and started to become obsessed with the notion that perhaps there should be a library for D which is roughly as

Re: Mixin template parameter that is an undefined variable

On Friday, 23 October 2015 at 12:22:49 UTC, tcak wrote: [code] mixin template Test(alias a){ int a; } void main(){ mixin Test!blah; } [/code] Compiler says it doesn't know about "blah". My purpose is to define the parameter as a variable. Is that possible? you would have to

Re: Easy and efficient database usage

On Friday, 23 October 2015 at 12:42:08 UTC, w0rp wrote: I keep finding myself thinking about what an API in D for easy and efficient database usage would look like. I started thinking about how ORM is done in libraries in other languages, and started to become obsessed with the notion that

Re: Vision

On 10/23/2015 02:09 AM, Manu via Digitalmars-d wrote: The question is, a library that could be expanded for years to come; should it be merged eagerly, or in years when it's 'finished' (a concept that's never actually attainable)? The short answer is it's a judgment call. -- Andrei

[Issue 15226] Public members being disabled for a synchronized class is undocumented

https://issues.dlang.org/show_bug.cgi?id=15226 Andrei Alexandrescu changed: What|Removed |Added Status|NEW |ASSIGNED

Re: Voting for std.experimental.testing

Voting Result: Yes: 1 Conditional Yes: 1 No: 3 Therefore, std.experimental.testing is rejected in the current state.

[Issue 14956] C++ Mangling incompatible with C++11

https://issues.dlang.org/show_bug.cgi?id=14956 Iain Buclaw changed: What|Removed |Added CC||ibuc...@gdcproject.org

[Issue 14956] C++ Mangling incompatible with C++11

https://issues.dlang.org/show_bug.cgi?id=14956 Sobirari Muhomori changed: What|Removed |Added Keywords||C++ --

[Issue 15241] struct literal implicitly converts void* to size_t

https://issues.dlang.org/show_bug.cgi?id=15241 anoneu...@gmail.com changed: What|Removed |Added Keywords||accepts-invalid URL|

[Issue 15241] New: struct literal implicitly converts void* to size_t

https://issues.dlang.org/show_bug.cgi?id=15241 Issue ID: 15241 Summary: struct literal implicitly converts void* to size_t Product: D Version: D2 Hardware: x86 OS: Windows Status: NEW Severity: normal

Re: Vision

On 2015-10-22 21:47, Laeeth Isharc wrote: Should this not be mentioned in the document ? If so, care to draft a sentence for it. Cos readership of this kind of thing exceeds people that use D already. It's available in the changelog [1] which links to the full documentation [2]. I'm not

Re: dmd.conf no longer working?

Time to file in Bugzilla. Andrei already did that: https://issues.dlang.org/show_bug.cgi?id=15237

Mixin template parameter that is an undefined variable

[code] mixin template Test(alias a){ int a; } void main(){ mixin Test!blah; } [/code] Compiler says it doesn't know about "blah". My purpose is to define the parameter as a variable. Is that possible?

Re: Is dlangui dead?

On Thursday, 22 October 2015 at 20:14:06 UTC, karabuta wrote: On Tuesday, 20 October 2015 at 17:58:07 UTC, tcak wrote: 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

Re: Calypso progress report (+ updated MingW64 build)

On Thursday, 22 October 2015 at 23:24:57 UTC, Elie Morisse wrote: Default constructors are invoked Including class fields? class A { QString s_myFilename; this() { //is s_myFilename constructed already? } }

Re: Lazy generic std.algorithm.replace()

On Friday, 23 October 2015 at 11:23:55 UTC, Nordlöw wrote: Is there a reason why std.algorithm doesn't provide a lazy range implementation of replace()? Sample implementation at https://github.com/nordlow/justd/blob/master/algorithm_ex.d#L1939 for one replacement pair.

Re: dmd.conf no longer working?

On 10/22/2015 12:31 PM, ketmar wrote: exactly! i just added BOM to dmd.conf, and got the same assertion. Time to file in Bugzilla.

Re: dchar undefined behaviour

On 10/22/2015 6:31 PM, tsbockman wrote: So, this leads to the question: is making use of dchar values greater than dchar.max considered undefined behaviour, or not? 1. If it is UB, then there is quite a lot of D code (including std.uni) which must be corrected to use uint instead of dchar when

DConf 2016, Berlin: Call for Submissions is now open!

Please join us at DConf 2016, the conference of the D programming language in Berlin, Germany, May 4-6 2016. We're very very excited to hold DConf under Sociomantic's sponsorship in their neck of the woods—Berlin, one of Europe's premier technology hotbeds. Sociomantic has been a long-time

Re: DConf 2016, Berlin: Call for Submissions is now open!

https://www.reddit.com/r/programming/comments/3pxbpp/dconf_2016_berlin_46_may_call_for_submissions_open/ http://hackerne.ws (check "new" around 12:45 EST or scroll down) https://twitter.com/D_Programming/status/657597600271503360 https://www.facebook.com/dlang.org/posts/1158592540821092

Re: D serialization temporary fixup?

Shriramana Sharma wrote: > I'd just like to have a quick but reliable way to > store real and int data types into a binary data file and read therefrom. > Is there such a solution? Wow thank you people! Nice to know I can do rawWrite and also have other options. BTW is there a reason that

Re: Natural language parsing (NLP) with D

On Tuesday, 20 October 2015 at 16:01:41 UTC, Chris wrote: If anyone is interested in starting something like FreeLing in D, please share your thoughts. Chris - please drop me a line. I am sure there are some things we could work together on over time. auto domain="laeeth.com"; auto

Re: Overloading an imported function

On Wednesday, 21 October 2015 at 12:05:27 UTC, Shriramana Sharma wrote: import std.math; real round(real val, int prec) { real pow = 10 ^^ prec; return round(val * pow) / pow; } Trying to compile this I get: foo.d(5): Error: function foo.round (real val, int prec) is not callable

OT: The Genius Famine

Since there are some highly creative and intelligent people here, self-selected to be those who enjoy working on problems that are intrinsically interesting, I thought one or two people might enjoy reading some extracts from a forthcoming book on the topic of creative accomplishment and the

Re: Kinds of containers

On Friday, 23 October 2015 at 11:03:37 UTC, Andrei Alexandrescu wrote: On 10/22/15 1:09 AM, deadalnix wrote: The elephant in the room: make the template parameter's type qualifier transitive with the collection's qualifier. Could you please give more detail on this? Thanks! -- Andrei Sure.

Re: LDC 0.16.0 has been released!

On Friday, 23 October 2015 at 20:10:17 UTC, Jack Stouffer wrote: On Thursday, 22 October 2015 at 19:00:07 UTC, Kai Nacke wrote: Hi everyone, LDC 0.16.0, the LLVM-based D compiler, is available for download! Congratulations! Has anyone on the LDC team done any benchmarks on how much faster

Re: Sociomantic Labs is looking for Software Developers! (D language)

On 24/10/15 4:51 AM, Andrej Mitrovic wrote: Hi, We at Sociomantic Labs are looking for new software developers to join our ranks in our Berlin office! Here's what we're looking for in a potential candidate: - Experience in C, C++, or D. (You'll be programming in D) - Knowledge of Github or a

Re: LDC 0.16.0 has been released!

On Thursday, 22 October 2015 at 19:00:07 UTC, Kai Nacke wrote: Hi everyone, LDC 0.16.0, the LLVM-based D compiler, is available for download! This release is based on the 2.067.1 frontend and standard library and supports LLVM 3.1-3.7 (OS X: no support for 3.3). Don't miss to check if your

[Issue 14835] Statement is not reachable doesn't play along generic code

https://issues.dlang.org/show_bug.cgi?id=14835 thomas.bock...@gmail.com changed: What|Removed |Added CC||thomas.bock...@gmail.com ---

Re: Fastest JSON parser in the world is a D project

On 10/22/2015 1:53 PM, Marco Leise wrote: There is at least one hurdle. I don't have a place to publish articles, no personal blog or site I contribute articles to and I don't feel like creating a one-shot one right now. :) You can publish it on my site:

Re: Fastest JSON parser in the world is a D project

On 10/22/2015 9:29 PM, Joakim wrote: The main D forum is as good a place as any. Just start a thread there. No, articles should be more than postings.

Re: Vision

On 2015-10-23 20:44, Steven Schveighoffer wrote: I think this would look better as the official example! I wanted to keep it simple. Question is, what does objc_lookUpClass actually return? I'm assuming id. I still don't know what that is in D, void*? No. In the (Objective-)C header files

Re: Vision

On 2015-10-23 14:44, Steven Schveighoffer wrote: As an objective C developer on iOS, I am curious if you have done any true development using this? No :). But I have done some development even without this, i.e. only using the Objective-C runtime. Even though this might look small, it's a

Re: dchar undefined behaviour

On Friday, 23 October 2015 at 12:17:22 UTC, Walter Bright wrote: I think that ship has sailed. Illegal values in a dchar are not UB. Making it UB would result in surprising behavior which you've noted. Also, this segues into what to do about string, wstring, and dstring with invalid sequences

Re: Vision

On 2015-10-23 17:53, Kagamin wrote: A little of massage and you get: struct ClassStorage(C) { alias lookUp this; C lookUp() immutable { return cast(C)objc_lookUpClass(C.stringof); } } immutable ClassStorage!NSString cNSString; C alloc(C)() { immutable ClassStorage!C c;

Re: LDC 0.16.0 has been released!

On Thursday, 22 October 2015 at 19:00:07 UTC, Kai Nacke wrote: Hi everyone, LDC 0.16.0, the LLVM-based D compiler, is available for download! Congratulations! Has anyone on the LDC team done any benchmarks on how much faster ddmd is when compiled with LDC?

Re: Vision

On 2015-10-23 16:57, Adam D. Ruppe wrote: Is it your hope to get the operating system bindings into druntime too? I'd like it if I could use the objective C create window, etc., calls right from there more naturally too. If automatically generated bindings are allowed, sure. Otherwise, no.

Re: Fastest JSON parser in the world is a D project

On 2015-10-22 22:53, Marco Leise wrote: There is at least one hurdle. I don't have a place to publish articles, no personal blog or site I contribute articles to and I don't feel like creating a one-shot one right now. :) You could have a look at this blog implementation by Dicebot [1]. You

Re: OT: Programming Expansibility

On Friday, 23 October 2015 at 05:17:47 UTC, Jeffery wrote: Oh, Well, I don't think it is arbitrary. If you expose a public member, then you are not encapsulating it and exposing it to the public. The compiler does know this. Hence adding any wrapper does not change the encapsulation. My

Re: Vision

On Friday, 23 October 2015 at 11:06:07 UTC, Jacob Carlborg wrote: On 2015-10-22 21:47, Laeeth Isharc wrote: Should this not be mentioned in the document ? If so, care to draft a sentence for it. Cos readership of this kind of thing exceeds people that use D already. It's available in the

Re: Default method implementations in interfaces?

On Friday, 23 October 2015 at 14:58:43 UTC, pineapple wrote: Is it possible to have default method implementations in interfaces à la Java in D? Or some equivalent that allows multiple inheritance without a bunch of identical copypasted method bodies? Use template mixins:

Re: Default method implementations in interfaces?

On Friday, 23 October 2015 at 14:58:43 UTC, pineapple wrote: Is it possible to have default method implementations in interfaces à la Java in D? Or some equivalent that allows multiple inheritance without a bunch of identical copypasted method bodies? Use a mixin template together with your

Default method implementations in interfaces?

Is it possible to have default method implementations in interfaces à la Java in D? Or some equivalent that allows multiple inheritance without a bunch of identical copypasted method bodies?

Invalid assembler comparison

Hello, I've been trying to understand this for a while now: https://github.com/etcimon/botan/blob/master/source/botan/math/mp/mp_core.d#L765 This comparison (looking at it with windbg during cmp operation) has these invalid values in the respective registers: rdx: 9366584610601550696 r15:

Re: Vision

On 22 October 2015 at 19:58, Rikki Cattermole via Digitalmars-d wrote: > On 22/10/15 10:49 PM, Jonathan M Davis wrote: >> >> On Thursday, 22 October 2015 at 01:50:08 UTC, Rikki Cattermole wrote: >>> >>> On 22/10/15 9:50 AM, Andrei Alexandrescu wrote: Better

Re: Coedit 2 alpha 1 - now with dub

On Friday, 25 September 2015 at 05:08:05 UTC, BBasile wrote: - compile, run, choose the configuration and the build type. but only the JSON format is handled. BTW, why there are two formats for dub? Which one will be obsolete? It's a headache for IDE developers.

Re: Coedit 2 alpha 1 - now with dub

I think IDE devs are supposed to use `dub describe` not read the package file directly. That whole package loading section of dub should probably be a library though. On Fri, Oct 23, 2015 at 8:47 AM, Eliatto via Digitalmars-d-announce < digitalmars-d-announce@puremagic.com> wrote: > On Friday,

Re: dmd.conf no longer working?

On 2015-10-22 23:05, Marco Leise wrote: You can also combine common options under [Environment] like this: [Environment] DFLAGS=-I/opt/dmd-2.069/import -L--export-dynamic -defaultlib=phobos2 -verrors=0 [Environment32] DFLAGS=%DFLAGS% -L-L/opt/dmd-2.069/lib32 -L-rpath -L/opt/dmd-2.069/lib32

Re: Coedit 2 alpha 1 - now with dub

On 2015-10-22 12:10 PM, Pradeep Gowda wrote: On Thursday, 22 October 2015 at 14:57:22 UTC, BBasile wrote: I'm sorry you feel that way. Let me tell you the positive influence CoEdit had on me. I'm a newbie to D, who was looking for an IDE on Mac. I found CoEdit on github and realised it does

Re: DConf 2016, Berlin: Call for Submissions is now open!

On Friday, October 23, 2015 12:37:20 Andrei Alexandrescu via Digitalmars-d-announce wrote: > Call for Submissions > > We are looking forward to your submission for a paper, talk, demo, or > panel for DConf 2016. The topics of choice are anything and everything > related to the D language. For

Re: Kinds of containers

On Friday, 23 October 2015 at 17:44:55 UTC, deadalnix wrote: On Friday, 23 October 2015 at 11:03:37 UTC, Andrei Alexandrescu wrote: [...] Sure. We have a problem when it come to collection in the fact that type qualifier do not turtle down as one would expect. [...] Its not just type

Re: Vision

On Friday, 23 October 2015 at 20:24:25 UTC, Jacob Carlborg wrote: If automatically generated bindings are allowed, sure. Otherwise, no. We just recently got it in for Windows, pretty well auto generated, so I should hope we can get it for Mac too.

Re: Kinds of containers

On Friday, 23 October 2015 at 23:21:31 UTC, bigsandwich wrote: On Friday, 23 October 2015 at 17:44:55 UTC, deadalnix wrote: On Friday, 23 October 2015 at 11:03:37 UTC, Andrei Alexandrescu wrote: [...] Sure. We have a problem when it come to collection in the fact that type qualifier do not

Re: dchar undefined behaviour

On Friday, 23 October 2015 at 21:22:38 UTC, Vladimir Panteleev wrote: That doesn't sound right. In fact, this puts into question why dchar.max is at the value it is now. It might be the current maximum at the current version of Unicode, but this seems like a completely pointless restriction

Re: Duals or ranges and reactive D

On Thursday, 8 May 2014 at 19:52:01 UTC, Ola Fosheim Grøstad wrote: Reactive programming is related to dataflow, so you will run into problems when you get beyond toy-size programs. Though, with compiler support…

Re: dchar undefined behaviour

On Friday, 23 October 2015 at 01:31:47 UTC, tsbockman wrote: dchar c = cast(dchar) uint.max; if(c > 0x10) writeln("invalid"); else writeln("OK"); With constant folding for integer comparisons, the above will print "OK" rather than "invalid", as it should. The predicate (c >

Re: Kinds of containers

On Friday, 23 October 2015 at 17:44:55 UTC, deadalnix wrote: Sure. We have a problem when it come to collection in the fact that type qualifier do not turtle down as one would expect. Collection!T and Collection!const(T) are 2 completely different types. There is a good reason for this :

Re: Lazy generic std.algorithm.replace()

On Friday, 23 October 2015 at 21:44:28 UTC, Nordlöw wrote: On Friday, 23 October 2015 at 11:53:06 UTC, Nordlöw wrote: https://github.com/nordlow/justd/blob/master/algorithm_ex.d#L1939 for one replacement pair. Made it variadic at

Re: Lazy generic std.algorithm.replace()

On Friday, 23 October 2015 at 11:53:06 UTC, Nordlöw wrote: https://github.com/nordlow/justd/blob/master/algorithm_ex.d#L1939 for one replacement pair. Made it variadic at https://github.com/nordlow/justd/blob/master/algorithm_ex.d#L1950

Re: DConf 2016, Berlin: Call for Submissions is now open!

On Friday, 23 October 2015 at 16:37:20 UTC, Andrei Alexandrescu wrote: Please join us at DConf 2016, the conference of the D programming language in Berlin, Germany, May 4-6 2016. [...] Awesome! I have a few ideas for talks, but I might flesh out the associated projects some more before

Re: Fastest JSON parser in the world is a D project

On Friday, 23 October 2015 at 19:48:31 UTC, Jacob Carlborg wrote: On 2015-10-22 22:53, Marco Leise wrote: There is at least one hurdle. I don't have a place to publish articles, no personal blog or site I contribute articles to and I don't feel like creating a one-shot one right now. :) You

Re: D serialization temporary fixup?

On Thursday, 22 October 2015 at 16:15:23 UTC, Shriramana Sharma wrote: I wanted a D equivalent to: http://doc.qt.io/qt-5/qdatastream.html https://docs.python.org/3/library/pickle.html and saw that one is under construction: http://wiki.dlang.org/Review/std.serialization But till it's

Re: dfmt 0.4.1

On Wednesday, 21 October 2015 at 23:21:21 UTC, Brian Schott wrote: dfmt is a formatter for D source code. Changes from 0.4.0: * #189: Better formatting for "in" expressions where the right side of the "in" operator is a function literal. * #190: Fix a bug where whitespace was removed from

Re: String manipulation

I think, it's more a problem with type inference, which is either exact match or nothing. I once had an idea of customized type inference, which is able to replace the matched type in the process (concepts probably can't do that, do they?), it also allows more constrained type inference than