理学 软件语言 释 functional language 函数式语言 通过函数来描述计算的语言。其支持函数式程序设计，强调函数（function）及其函数作用（function application）。
系统软件 语言与编译 释文 functional language 函数式语言
- SJ模型
- SK
- SKA
- Skagerrak
- Skalnate Pleso Atlas of the Heavens
- Skamander
- Skanda
- Skanderbeg
- Skansen
- S. Karlin
- S. Karlin (1924—2007)
- skarn
- skarn-type copper deposit
- skarn-type lead-zinc deposit
- skarn-type molybdenum deposit
- skarn-type scheelite deposit
- Skat
- Skateboarding
- skates
- Skathi
- skating
- skatole
- S. K. Donaldson
- S. K. Donaldson (1957—)
- skein