3 ms·
> is there such thing as a typed interpreted language? Of course. Examples: ▶ ocaml OCaml version 4.02.3 # 9;; - : int = 9 ▶ ghci
by klibertp 11y ago
> is there such thing as a typed interpreted language?
Of course. Examples:
▶ ocaml
OCaml version 4.02.3
# 9;;
- : int = 9
▶ ghci
GHCi, version 7.8.4: http://www.haskell.org/ghc/ :? for help
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
Prelude> 9
9
Prelude> :t 9
9 :: Num a => a
Prelude>
▶ drracket
Welcome to DrRacket, version 6.3.0.2--2015-10-28(-/f) [3m].
Language: typed/racket; memory limit: 128 MB.
> 9
- : Integer [more precisely: Positive-Byte]
9
▶ scala
Welcome to Scala version 2.10.4 (OpenJDK 64-Bit Server VM, Java 1.8.0_91).
Type in expressions to have them evaluated.
Type :help for more information.
scala> 9
res0: Int = 9
There are even interpreters for C (http://www.drdobbs.com/cpp/ch-a-cc-interpreter-for-script-computing/184402054 http://www.drdobbs.com/cpp/ch-a-cc-interpreter-for-script-co...).
tl;dr: you can have a REPL in both statically and dynamically typed languages.