Re: [Haskell-cafe] why OverloadedTuples extension is missing?

We could potentially have this. It reminds me of Agda's record https://agda.readthedocs.io/en/v2.6.2.1/language/record-types.html#construct... syntax, where you can construct any record (which is like your tuple) with the keyword `record`. Is it worth having yet another feature in the language? I'm not sure, myself. Richard

On Jan 13, 2022, at 5:12 PM, Daneel Yaitskov wrote:

Cafe,

There is a group of GHC extensions and complementary classes to make writing Haskell code a bit sweeter such as: - {} - Num (fromIntegral) - OverloadedStrings - IsString - OverloadedLists - IsList

So I have an inductive question - why there is no OverloadedTuples? I haven't found a discussion thread about this topic.

I could imagine following tuple syntax interpretation:

{-# LANGUAGE OverloadedTuples #-}

data Foo = FooA Int String | FooB String Foo deriving (Show, Eq, IsTuple)

mkFoo :: Foo mkFoo = (1, "hello")

mkFoo2 :: Foo mkFoo = ("abc", (1, "hello"))

Sometimes expected type name is known without data constructor. So such expression is more concise.

--

Best regards, Daniil Iaitskov

_______________________________________________ Haskell-Cafe mailing list To (un)subscribe, modify options or view archives go to: http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe Only members subscribed via the mailman list are allowed to post.