Haskell
Haskell is a purely functional, statically typed, lazy language. Fran (Elliott and Hudak) implemented early FRP here; Reactive Banana and Yampa are later teaching / research libraries in the same lineage. Common in compilers, formal tooling, and teaching type systems.
greet :: String -> String
greet name = "hello, " ++ name
main :: IO ()
main = putStrLn (greet "world")