> Nikita: do you have an implementation of your suggestion, or is it just
> a 'bright idea'?
>
Just an idea for discussion with hope to interest enough people to draw in
attention and probably get to implementation or at least to come up with
collectively approved proposal.
> I'm not sure you've
> It is still impossible write
>
>type Person = (lastName::Sting, name :: String)
>type Image = ( name :: ByteString, sizeX :: Int, sizeY :: Int )
>
> name :: (b ~ Stirng) => (a,b)-> b
> name :: (a ~ ByteString) => (a,b,c) -> a
>
I think, you misunderstood the primary part: in
> Ramana Kumar writes:
>
> This list is [not] for ...
>
This list _is_ for mature extensions to the language, to be considered for
embedding into the formal standard [as I've been told several times].
So ...
>
> > On Mon, Oct 14, 2013 at 5:13 PM, Nikita Volkov wrote:
> > ...
>
Nikita: do
Yes, TRex indeed looks very similar. I'm quite surprised how I managed to
come up with something that much similar without knowing anything about
TRex.
So do you know anything about why it hasn't been yet implemented?
2013/10/14 Christopher Done
> So basically, TRex?
>
> On 14 October 2013 18:
1) This system is week.
It is still impossible write
type Person = (lastName::Sting, name :: String)
type Image = ( name :: ByteString, sizeX :: Int, sizeY :: Int )
name :: (b ~ Stirng) => (a,b)-> b
name :: (a ~ ByteString) => (a,b,c) -> a
2) you already could write
name
The reform to modernize record is already going on.
See for more details here:
http://ghc.haskell.org/trac/ghc/wiki/Records/OverloadedRecordFields/Plan
http://ghc.haskell.org/trac/ghc/wiki/Records/OverloadedRecordFields/Implementation
--
View this message in context:
http://haskell.1045720.n
This list is not for "Gentlemen" only. It's best not to make that
assumption with your language.
On Mon, Oct 14, 2013 at 5:13 PM, Nikita Volkov wrote:
> Anonymous records. A solution to the problems of record-system.
>
> The current record system is notorious for three major flaws:
>
>1.
>
>
So basically, TRex?
On 14 October 2013 18:13, Nikita Volkov wrote:
> Anonymous records. A solution to the problems of record-system.
>
> The current record system is notorious for three major flaws:
>
> It does not solve the namespacing problem. I.e., you cannot have two records
> sharing field n
