式(しき、expression)とは、プログラミングにおいて、言語によって定められた優先順位や結びつきの規定に則って評価される値、変数、演算子、関数などの組み合わせである。数学における式と同様、式は評価された値を持つ。言語によっては式が副作用を持つこともあり、参照透過性がない場合もある。