Re: Should/can we get explicit concepts?

[Udiknedormin]

@LeuGim It seems to me you made a type factory, actually. That's not something 
I would like to see, actually. Especially considering the fact I can't add 
concepts to types already in existence which is, by far, the greatest advantage 
of concepts over inheritance/interfaces.

I tried something like this:
    
    
    import sequtils
    import macros
    
    
    type
      MyCon = concept type T
        # line 7:
        MyCon_reprs.anyIt(it.sameType(T.getType))
    
    var MyCon_reprs {.compileTime.} = newSeq[NimNode]()
    # there is no reliable comparator for NimSym, so use NimNode
    
    proc shout(i: MyCon) =
      echo "I am here!"
    
    static:
      MyCon_reprs.add(int.getType)
      MyCon_reprs.add(float.getType)
      
      echo int.getType in MyCon_Reprs  # false
      for el in MyCon_Reprs:
        echo el, " == ", int.getType, "  is  ", el.sameType(int.getType)
      
      # prints at compile-time:
      #  int == int  is  true
      #  float == int  is  false
    
    
    shout(5)  # XYZ.nim(7, 16) MyCon: cannot evaluate at compile time: 
result112414
    

Which suggests me concepts aren't really integrated into the whole compile-time 
environment all that well...