Hi,<br><br>You can make a datatype that captures exactly the expressions you want (see code below). Essentially you want to make sure that a subtraction or addition never has another subtraction or addition as its left operand.<br>
<br>I would also like to advertise a bit and show how this type can be enumerated automatically by Feat (<a href="http://hackage.haskell.org/package/testing-feat">http://hackage.haskell.org/package/testing-feat</a>).<br><br>
Main&gt; nvars 3<br>(24,[X/X-X,X*X-X,X/X+X,X*X+X,X-X-X,X-X+X,X-X/X,X-X*X,X+X-X,X+X+X,X+X/X,X+X*X,(X-X)/X,(X+X)/X,(X-X)*X,(X+X)*X,X/(X-X),X/(X+X),X/X/X,X/X*X,X*(X-X),X*(X+X),X*X/X,X*X*X])<br><br>(Obviously the Xs need to be replaced by proper variables, I can explain how that&#39;s done if anyone wants to know)<br>
<br>24 is the number of values in the list, you can do fst $ nvars 100 to find out that there are<br>317334467851069836531554283592442220021116<br>711774843850938552230690568780568787114173<br>2912210230558851072<br>values with 100 variables. You can even select any one of those values by index or randomly select values with uniform distribution and use it with QuickCheck (for instance to test that my experiments with showsPrec hasn&#39;t messed everything up).<br>
<br><br>Pasted code: <a href="http://hpaste.org/77898">http://hpaste.org/77898</a><br><br>{-# LANGUAGE TemplateHaskell, DeriveDataTypeable #-}<br>import Test.Feat<br>import Data.Typeable<br><br>-- | Any expression<br>data AnyExpr = AnyAddSub AddSub<br>
             | AnyMulDiv MulDiv<br>             | AnyVar<br>             deriving Typeable<br><br>-- | Expressions with a top level addition or subtraction<br>data MulDiv = MDOp Bool AddSub AnyExpr -- Left operand is add. or sub.<br>
            | MDOpVar Bool AnyExpr     -- Left operand is a variable<br>            deriving Typeable<br>            <br>-- | Expressions with a top level multiplication or division<br>data AddSub = ASOp Bool MulDiv AnyExpr -- Left operand is mult. or div.<br>
            | ASOpVar Bool AnyExpr     -- Left operand is a variable<br>            deriving Typeable<br><br>deriveEnumerable &#39;&#39;AnyExpr<br>deriveEnumerable &#39;&#39;AddSub<br>deriveEnumerable &#39;&#39;MulDiv<br>
<br>allExpressions = values :: [(Integer,[AnyExpr])]<br>nvars n = allExpressions !! ((n-1)*3+1)<br><br>instance Show AnyExpr where<br>  showsPrec d (AnyAddSub e) = showsPrec d e<br>  showsPrec d (AnyMulDiv e) = showsPrec d e<br>
  showsPrec _ (AnyVar)      = (&quot;X&quot;++)<br>instance Show AddSub where<br>  showsPrec d (ASOpVar b e)  = showParen (d &gt; 6) $ (&quot;X&quot;++) . ((if b then &quot;+&quot; else &quot;-&quot;)++) . showsPrec 6 e<br>
  showsPrec d (ASOp b e1 e2) = showParen (d &gt; 6) $ showsPrec 6 e1 . ((if b then &quot;+&quot; else &quot;-&quot;)++) . showsPrec 6 e2<br>instance Show MulDiv where<br>  showsPrec d (MDOpVar b e)  = showParen (d &gt; 7) $ (&quot;X&quot;++) . ((if b then &quot;*&quot; else &quot;/&quot;)++) . showsPrec 7 e<br>
  showsPrec d (MDOp b e1 e2) = showParen (d &gt; 7) $ showsPrec 7 e1 . ((if b then &quot;*&quot; else &quot;/&quot;)++) . showsPrec 7 e2<br><br><br><br>On 18 November 2012 20:31, Rune Harder Bak &lt;<a href="mailto:rune@bak.dk">rune@bak.dk</a>&gt; wrote:<br>
&gt;<br>&gt; On Sun, Nov 18, 2012 at 2:04 PM, Stefan Klinger<br>&gt; &lt;<a href="mailto:all-lista@stefan-klinger.de">all-lista@stefan-klinger.de</a>&gt; wrote:<br>&gt; &gt; Sounds like you would want to enumerate all possible *abstract* syntax<br>
&gt; &gt; trees, these implicitly have exactly the necessary parentheses.  I&#39;d do<br>&gt; &gt; this recursively, splitting the sequence of numbers in two at all<br>&gt; &gt; possible places, and then combine the corresponding results with all<br>
&gt; &gt; possible operators.<br>&gt;<br>&gt; That was my second idea, but just doing it naively resulted in many<br>&gt; equivalent calculations,<br>&gt; so I thought there might be a better way to view the problem.<br>&gt; But as Artyom showed<br>
&gt;<br>&gt; On Sat, Nov 17, 2012 at 11:37 PM, Artyom Kazak &lt;<a href="mailto:artyom.kazak@gmail.com">artyom.kazak@gmail.com</a>&gt; wrote:<br>&gt; &gt; Indentation messed up… I have pasted the code here: <a href="http://hpaste.org/77864">http://hpaste.org/77864</a><br>
&gt;<br>&gt; enumerating the abstract syntax tree is actually (or at least could<br>&gt; be) the way to go!<br>&gt; Thanks a lot! What I need is a little bit different, but now I feel<br>&gt; I&#39;m on the right track!<br>
&gt;<br>&gt; This is my first question to the café and it makes me a lot more<br>&gt; certain using Haskell for production,<br>&gt; when you can get this kind of quick and thorough help when in doubt.<br>&gt;<br>&gt; Great community!<br>
&gt;<br>&gt; -Rune<br>&gt;<br>&gt; _______________________________________________<br>&gt; Haskell-Cafe mailing list<br>&gt; <a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>&gt; <a href="http://www.haskell.org/mailman/listinfo/haskell-cafe">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
<br>