すみません
手続き型でも関数型でもどちらでもよいのですが
たとえば
1 + 2 + 3 + ... + n
を計算するプログラムを書くときに
ちゃんと
Σn
の公式にに発想をチェンジしてくれる言語はありますか？