language-agnostic embedded-language static-typing

Are there any statically typed, embeddable scripting languages?

I am wondering if there are any statically typed, embeddable scripting languages. Python, JavaScript, etc. are great languages, but they are dynamically typed (that is, types are checked at run time). I am just wondering if anyone knows of any statically typed scripting languages that can be embedded in a C++ application?

Solution

Well, there's Ch - the embeddable C/C++ interpreter

What does it mean for a data structure to be "intrusive"?
Algorithm to locate local maxima
Print two-dimensional array in spiral order
Number of ways to tile a W x H Grid with 2 x 1 and 1 x 2 dominos?
Find the length of the longest valid parenthesis sequence in a string, in O(n) time
Conventions for exceptions or error codes
How can I pair socks from a pile efficiently?
How to find a transformation matrix given the measurements from two coordinate systems?
Peak signal detection in realtime timeseries data
Fastest way to find the largest power of 10 smaller than x
How to do CamelCase with German words (or with any other language that supports compound nouns)?
How do I test emails that have attachments in different clients?
What algorithm to use to determine minimum number of actions required to get the system to "Zero" state?
Clean and type-safe state machine implementation in a statically typed language?
What would you see if left-right images of a 3d view are inverted?
Computed read-only property vs function in Swift
Optimal algorithm for balancing a span of 1s and 0s using only one indicator bit?
How to find untracked files in a Perforce tree? (analogue of svn status)
Count all solutions for the N Queens problem: How to get a result for N = 20 in an acceptable time?
What exactly is GUID? Why and where I should use it?
Learning to write a compiler
Under what circumstances are linked lists useful?
How do you detect Credit card type based on number?
Longest increasing subsequence
Does it exist: Repeated Code Finder?
Open a new tab in firefox and keep ff in the background
Guidance for writing a wrapper for a REST API
Exposing WebService APIs to the outside world for universal access
How to parse and capture any measurement unit
What's the difference between faking, mocking, and stubbing?