Troels Henriksen

Kommentarer

Styresystemer

Kan det virkelig være rigtigt at man ikke kan gå til eksamen hvis ikke man har en Mac- eller Windows-maskine?

Nu og da er mellemrum nødvendige

I visse syntaktisk rige sprog er man nødt til at blande indentering og "alignment". Et eksempel fra min egen Haskell: let out_nms = patternNames out_idds is_redomap = case orig_soac of SOAC.Redomap{} -> True _...

Re: Hvorfor trykke flere gange...

Er der egentlig noget godt argument for mellemrum som indrykning? Hvis oversætteren vil fortælle dig om en fejl på linje N, søjle M, hvordan beregnes søjleantallet så? Hvor mange søjler skal en tabulator tælle som? Én? Otte? Din editor har en opsætning af dette - skal C-oversættere nu...

Re: Compileren "Jeg er da ligeglad"

Compileren beskrives som værende ligeglad, så er det ikke bare for at vi skal kunne slå hinanden oven i hovedet med, nu har du igen ikke gjort/sagt det rigtigt for 375'te gang, kom nu ind i kampen ! Oversætteren er også ligeglad med om du har skrevet al din kode på én linje (...
Kommentar til Intel: Der går nu 5 til 6 år mellem pc-udskiftninger

Re: Mætning

Tjoh tjah, ud over mine to stk AMD R9 290X, så er min ELITE PC MASTERRACE spand faktisk også ved at være mindst 5år gammel. Det er meget sigende at det netop er dine grafikkort du har udskiftet. Deres arkitektur er skalérbar nok til at de stadigvæk kan få noget ud af de sidste transistor...
Kommentar til Slut med sti-begrænsning på 260 karakterer i Windows

Re: One World / Unix

Men første spørgsmål der melder sig er hvad er MAX_PATH på linux Som dit eget link indikerer, så er der ikke nødvendigvis en MAX_PATH. Og hvorfor skulle der også være det? Statisk afgrænsede buffere er en dårlig idé.
Kommentar til Hvad er det lige, der er så godt ved Lisp?

Re: Eksempel: Partiel evaluering.

At være koncis sammenlignet med C, C++ og Java anno 2000 er altså ikke det samme som at være koncis i almindelighed. Det er ikke en rimelig sammenligning (og jeg tror ikke Peter Norvig har ret når han antager at det største program er i Java). Bare fordi Peter Norvig har skrevet det, så er det ...
Kommentar til Hvad er det lige, der er så godt ved Lisp?

Re: Eksempel: Partiel evaluering.

Constant folding (og en lang række lignende teknikker) er et klassisk eksempel på noget, der ville være hysterisk bøvlet at lave i et "normalt" programmeringssprog, men som nærmest er trivielt i LISP. Hvad mener du? Så vidt jeg kan se udførte selv den første oversætter (FORTRAN I...
Kommentar til Hvad er det lige, der er så godt ved Lisp?

Re: Eksempel: Partiel evaluering.

Det var et repræsentativt eksempel på, at Lisp-fortalere har det med at udtrykke sig på en arrogant måde. Selvom der selvfølgelig er ubehøvlede Lisp-fortalere, så tror jeg ikke længere det er værre end med så mange andre programmeringssprog, religioner, eller økonomiske doktriner. Det va...
Kommentar til Hvad er det lige, der er så godt ved Lisp?

Re: Eksempel: Partiel evaluering.

Har du eksempler på hvor partiel evaluering har været nyttigt i praksis? Jeg kender til en håndfuld gamle eksempler (http://www.diku.dk/OLD/forskning/topps/activities/PartialEvaluation.html), og har også selv brugt til partiel evaluator til en forenklet udgave af Scheme, men det har aldrig virke...

Re: Igen og Igen

Du vil kunne afvikele JavaScript på en maskinnen uden nogen form for Java installeret, kan man køre det samme med net og Silverlight ? Java har ikke noget at gøre med JavaScript.
Kommentar til Se Anders Hejlsberg forklare, hvordan moderne compilere virker

Kun frontend!

Den primære forskel fra tidligere er i oversætterens forende, altså parser, typetjekker, og så videre. Optimiseringstrinnet, som udgør størsteparten af koden i en moderne (ahead-of-time) oversætter, er stadigvæk som det altid har været - omend noget mere kompliceret. LLVM, som har udgjort en li...
Kommentar til Hvad gik der galt for Craig Wright?

Re: Hvad gik galt for PHK?

Either way: Over&Out. Du er kedelig! Vi har ikke engang hørt mandens holdning til ligestillingspolitik endnu.
Kommentar til Min bedste laptop

Re: Bloated cores

Global registerallokering er ganske vist ikke en strukturel transformation, men til gengæld et andet eksempel på en optimering der ikke rigtigt lader sig gøre i en JIT.
Kommentar til Min bedste laptop

Re: Bloated cores

Jeg tror du må komme med nogle eksempler. Loop fusion, loop interchange, vektorisering (til dels - visse JITs kan vistnok i enkle tilfælde hvis kildeteksten er tilpas annoteret), accelerator offload (a la OpenMP/OpenACC) og global registerallokering.
Kommentar til Min bedste laptop

Re: Bloated cores

Jeg snakkede nu ikke om statiske versus dynamiske typer, men om dynamisk adfærd - f.eks. virtuelle eller indirekte metodekald. JITs er gode til at optimere disse, men mindre gode til strukturelle transformationer. Såfremt det er nødvendigt kan man reversecompile bytecode/p-code/IL til det oprin...
Kommentar til Min bedste laptop

Re: Bloated cores

Derudover har JIT-oversættere andre problemer: De er under større resursepres end traditionelle oversættere, så mange effektive (men dyre) optimeringer er ikke realistiske. De opererer typisk på lavniveau-represæntationer (oversat bytecode), hvilket betyder at mange invarianter fra det oprindel...
Kommentar til Min bedste laptop

Effektiv kode

Denne udvikling betyder at effektiv kode begynder at blive en nødvendighed på en helt anden måde end det tidligere har været - overalt. I betragtning af at der næppe kommer til at ske nogen stor forbedring af den gennemsnitlige programmørs evner, så bliver det interessant at se hvordan det vil f...
Kommentar til Der er for lidt fokus på at undgå fejl !

Conway's Lov

Jeg har tænkt på noget i denne retning. Conway's Lov siger at en organisation uværgeligt producerer systemer der imiterer organisationens egen interne struktur. Vi er rimeligt på hvordan et godt programdesign ser ud, også selvom vi ikke er sikre på hvordan man når dertil hver gang: Det...
Kommentar til Top fem sprog til Machine Learning

Julia?

Derudover nævnes Julia slet ikke, til trods for at det lader til at have fart på: http://julialang.org/ (Indrømmet, det er ikke så gammelt endnu.) Jeg ved heller ikke helt om jeg ville vælge Java hvis målet var "fart"...
Brugerundersøgelse Version2
maximize minimize