Функционално програмирање

Софтвер који се извршава на било ком савременом рачунару написан је на разним програмским језицима. Постоје физички језици, као што су машински језици за одређене рачунаре. Ови језици се баве представљањем података и управљањем у смислу појединачних битова меморије и примитивних машинских инструкција и наредби. Програмер машинског језика бави се употребом датог хардвера за постављање система и услужних програма за ефикасну имплементацију израчунавања у ограниченим ресурсима. Језици високог нивоа, уздигнути изнад подлоге коју чине машински језици, скривају појединости о представи података као низовима нула и јединица (битова) и представи програма као секвенци примитивних инструкција и наредби. Ови језици имају средства за комбинацију и апстракцију, попут дефиниције функције, која су прикладна за ширу организацију софтверских система.