typability造句
例句与造句
- Typed lambda calculi play an important role in the design of type systems for programming languages; here typability usually captures desirable properties of the program, e . g . the program will not cause a memory access violation.
- It's difficult to find typability in a sentence. 用typability造句挺难的