Re: [Haskell-cafe] Domain modeling

30 Jan 2020


      The main reason to have distinct types is the "natural" hierarchy of the
records (it's a big tree), for example, the 'C' block is roughly as follows:

C001
- C100
  - C101
  - C105
  - C110
    - C111
    - C112
    - C113
    - C114
    - C115
    - C116
  - C120
  - C130
  - C140
    - C141
  - C160
  - C165
  - C170
    - C171
    - C172
    - C173
    - C174
    - C175
    - C176
    - C177
    - C178
    - C179
  - C180
    - C185
  - C190
    - C191
    - C195
    - C197
- C300
  - C310
  - C320
    - C321
  - C330
  - C350
  - C370
  - C380
  - C390
- C400
  - C405
  - C410
  - C420
    - C425
  - C430
  - C460
    - C465
  - C470
  - C480
  - C490
- C495
- C500
  - C510
  - C590
    - C591
    - C595
    - C597
- C600
  - C601
  - C610
  - C690
- C700
  - C790
    - C791
- C800
  - C810
    - C815
  - C850
- C860
  - C870
    - C880
  - C890
C990

There is more blocks that form the whole document (or tree), Blocks: 0, B,
C, D, E, G, H, K, I, 9

The idea is to parse the document and implement manipulation functions to
edit the content and later export in other formats

On Thu, Jan 30, 2020 at 6:56 AM Jon Fairbairn 
wrote:
...
Jean Lopes  writes:
...
Hi!
I'm trying to encode a domain which is full of simple records, and a lot
of
field name clashes.
Here is a simple example, a.k.a. 1:1 with the domain-spec:
data C001 {
...
-- other stuff
  indMov :: Bool
}
data C170 {
  -- other stuff
 indMov :: Bool
}
There is ~148 records with this field (indMov), all with the same
meaning.
What are my options to encode this in Haskell?
Is there some reason why they must be different types?
data C = C001 {other_stuff:: Real, indMov:: Bool } |
         C170 {other_stuff…, indMov:: Bool }
is the first thing that comes to mind.
--
Jón Fairbairn                                 Jon.Fairbairn@cl.cam.ac.uk
_______________________________________________
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.