For the jargon part: See this Github repo. It ain’t exhaustive, but it’s a start.
Other than that, all I have to add is that functional programming does not necessarily imply static typing. There is a whole world of Scheme-variants that are dynamically typed.