It reminds me of Haskell's type based function search: https://hoogle.haskell.org/