sslug-teknik team mailing list archive

[Mads Bondo Dydensborg <madsdyd@xxxxxxxxxxxx>]

On Wed, 2 Feb 2000, Peter Gade Jensen wrote:

> Mads Bondo Dydensborg wrote:
> 
> > Hvis du vil lære noget, skal du altså være i stand til at abstrahere fra
> > sproget.
> 
> Men det er altså meget svært, syn's jeg, at lære små bidder af forskellige ting
> istedet for at lære en ting ad gangen!!

Du fokuserer på det forkerte. Sproget er kun et værktøj, der skal lære dig
om analyse af problemer, datarepræsentation, mv. Det er _det_ du skal
lære, ikke _sproget_.

> 
> > På datalogi starter man med at lære folk ML.
> 
> Er det en by i Rusland??? lol

ML er et funktionsprogrammeringssprog. Det er særdeles velegnet til at
illustrere koncepter indenfor programmering, og samtidig vist det eneste
fuldkommen semantisk specificerede sprog. (Nej, Java er _ikke_ fuldkommen
semantisk specificeret. "Legetøjssprog" tæller ikke i den har sammenhæng.)

ML har i øvrigt den styrke at man kan bevise hvorvidt et program er
korrekt i forhold til en given specifikation. Det er vigtigt i
f.eks. indlejrede systemer. Ericson anvender et
funktionsprogrammeringssprog med tilsvarende egenskaber til deres
mobiltelefoner.

Mads

-- 
Mads Bondo Dydensborg.                               madsdyd@xxxxxxxxxxxx
Unix is simple. It just takes a genius to understand its simplicity
                          
                                 - Dennis Ritchie