module Main where
 
 import Text.Regex.Posix
 import qualified Data.Map as Map
 
 data RefStatus = Resolved | Unresolved | Unused deriving (Eq, Show)
 type Dict = Map.Map String (Int, RefStatus)
 
 main = getContents >>= (mapM_ putStr . process Map.empty)
 
 process :: Dict -> String -> [String]
 
 process dict "" =
   [ "ERROR: " ++ show st ++ " " ++ name ++ " [" ++ show n ++ "]\n"
     | (name, (n, st)) <- Map.assocs dict, st /= Resolved ]
 
 process dict txt =
   pre : reftext : process newdict post
   where (pre, _, post, match) =
           txt =~ "(@(ref|label)\\{([^}]+)\\})" :: (String,String,String,[String])
         (reftext, newdict) = lookupRef dict match
 
 lookupRef dict [] = ("", dict)
 
 lookupRef dict [_, st, name] =
   mapFst (refText ref) $ Map.insertLookupWithKey updRef name (sz, ref) dict
   where ref = if st == "ref" then Unresolved else Unused
         sz = Map.size dict + 1
         mapFst f (a, b) = (f a, b)
         refText Unused     Nothing                = "[" ++ show sz ++ "]"
         refText Unused     (Just (n, Unresolved)) = "[" ++ show n  ++ "]"
         refText Unused     (Just (n, _))          = "[DUP: " ++ show n  ++ ":" ++ name ++ "]"
         refText Unresolved Nothing                = "(see [" ++ show sz ++ "])"
         refText Unresolved (Just (n, _))          = "(see [" ++ show n  ++ "])"
         updRef _ (_, Unused)     (n, Unresolved)  = (n, Resolved)
         updRef _ (_, Unused)     var              = var
         updRef _ (_, Unresolved) (n, Unresolved)  = (n, Unresolved)
         updRef _ (_, Unresolved) (n, _)           = (n, Resolved)



 module Main where
 
 import Text.Regex.Posix
 import qualified Data.Map as Map
 
 data RefStatus = Resolved | Unresolved | Unused deriving (Eq, Show)
 type Dict = Map.Map String (Int, RefStatus)
 
 main = getContents >>= (mapM_ putStr . process Map.empty)
 
 process :: Dict -> String -> [String]
 
 process dict "" =
  [ "ERROR: " ++ show st ++ " " ++ name ++ " [" ++ show n ++ "]\n"
  | (name, (n, st)) <- Map.assocs dict, st /= Resolved ]
 
 process dict txt =
  pre : reftext : process newdict post
  where (pre, _, post, match) =
  txt =~ "(@(ref|label)\\{([^}]+)\\})" :: (String,String,String,[String])
  (reftext, newdict) = lookupRef dict match
 
 lookupRef dict [] = ("", dict)
 
 lookupRef dict [_, st, name] =
  mapFst (refText ref) $ Map.insertLookupWithKey updRef name (sz, ref) dict
  where ref = if st == "ref" then Unresolved else Unused
  sz = Map.size dict + 1
  mapFst f (a, b) = (f a, b)
  refText Unused Nothing = "[" ++ show sz ++ "]"
  refText Unused (Just (n, Unresolved)) = "[" ++ show n ++ "]"
  refText Unused (Just (n, _)) = "[DUP: " ++ show n ++ ":" ++ name ++ "]"
  refText Unresolved Nothing = "(see [" ++ show sz ++ "])"
  refText Unresolved (Just (n, _)) = "(see [" ++ show n ++ "])"
  updRef _ (_, Unused) (n, Unresolved) = (n, Resolved)
  updRef _ (_, Unused) val = val
  updRef _ (_, Unresolved) (n, Unresolved) = (n, Unresolved)
  updRef _ (_, Unresolved) (n, _) = (n, Resolved)


decorator:
а вот, кстати, интересно на хаскеле в одну строку записать. только не так, как на питоне, а честно, т.е. как композицию функций. надо будет попробовать сегодня вечером, заодно и в Arrows поупражняюсь

ЗЫ во мы расписались, а! кайф какой

слабо на джаве или на С++ написать – так, чтобы было короче, чем на питоне?

реализация на питоне (2.5) в виде однострочника, без обработки ошибок. warning: dirty hacks inside .

(lambda file: (lambda labels: open('sample.out', 'w').write(__import__('re').sub('\@(?P\w+)\{(?P\w+)\}', lambda match: '[%i]' % (labels.index(match.group("value"))+1) if match.group("keyword") == 'label' else 'see [%s]' % (labels.index(match.group("value"))+1), file)))([match.group('value') for match in __import__('re').finditer('\@label\{(?P\w+)\}', file)]))(open('sample.txt', 'r').read())

   - line 1 (2 nbsp, 2 regular spaces)