Mikkel Lauritsen

Rss
Personligt feed med nye kommentarer i tråde, du overvåger:
https://www.version2.dk/mit/0/kommentarer?token=HPnHcLYhJ8jCXC_UoTnfzqY2R9xpwMBmKONAZAek0jk

Kommentarer

Kommentar til Aprilsnar: Datalogisk brøler - C er alligevel ikke Turing-komplet

Re: Aprils nar.

Jeg har dog hørt det anfægtet, helt alvorligt, at C faktisk ikke er Turing-komplet. Det er baseret på at enhver peger kan konverteres til en void-peger (eller en uintptr_t) og tilbage igen, og disse har kun en endelig størrelse. Well, i og med at en turingmaskine har en uendelig lang papirst...
Kommentar til Kodning: Lækkende abstraktioner og deres evne til at holde vand

Re: Hvad foregår der?

Men er det en leaky abstraction? Det er jo dokumenteret at det er sådan det virker, og du kan jo lave det om - du kan jo deklarativt ændrer dette. Både generelt og i enkelte tilfælde (det er jo en funktionalitet man gerne vil have i nogle sammenhænge - en del faktisk). Joel Spolskys lov om l...
Kommentar til Kodning: Lækkende abstraktioner og deres evne til at holde vand

Re: Hvad foregår der?

Kun hvis abstraktionen er en del af din beregningskerne. Uhyggeligt meget kode har det med at falde udenfor det behov i praksis. Produktivitet er også at kunne gennemskue hvornår man bare skal hive en abstraktion ind fra højre, velvidende at den koster noget i systemet. Det gør at man kan bruge...
Kommentar til Kodning: Lækkende abstraktioner og deres evne til at holde vand

Re: Hvad foregår der?

Jeg er PhD-studerende i kode-optimering og high-performance-computing, så noget nær mit eneste fokus er køretidsydelse. Nu er jeg lidt forvirret. Du skrev: Hvis du ikke ved nøjagtigt hvad der sker, så ved du ikke hvordan det yder, men som ofte er man også ligeglad. Med min umiddelbare ...
Kommentar til Kodning: Lækkende abstraktioner og deres evne til at holde vand

Re: Hvad foregår der?

Det gør den (angiveligt) fordi den laver alt for mange databaseroundtrips, ikke fordi koden ikke er optimeret i forhold til registerallokering, cachelokalitet o.a. der er mange størrelsesordener billigere end et enkelt netværkskald. Min erfaring er i hvert fald, at man i en forretningsapplikati...
Kommentar til Kodning: Lækkende abstraktioner og deres evne til at holde vand

Re: Hvad foregår der?

Problemet med denne abstraktion er dog primært ydelsesbaseret, og hvis det er målestokken, så er der næsten ingen abstraktioner der holder vand. Hvis du ikke ved nøjagtigt hvad der sker, så ved du ikke hvordan det yder, men som ofte er man også ligeglad. Well... Nu ved jeg ikke, hvem der bru...
Kommentar til Kodning: Lækkende abstraktioner og deres evne til at holde vand

Re: Hvad foregår der?

Det er min opfattelse, at dette er tilfældet for 99% af alle Java-programmører (for en bred definition af Java): Det forstår ikke, helt hvordan virtuelle metoder og generiske typer fungerer i forbindelse med nedarvning, så de holder sig til patterns, de har set virke -- indtil de lige pludselig...
Kommentar til Mangel på arbejdskraft?

Re: Grundviden vs. specialistviden

Du behøver ikke skamme dig ved at sige, at erhvervslivet helst ikke vil have alt for erfarne folk over 40 år ind, for det er sådan jeg tror det er. Jeg har svært ved at stå på mål for hvad andre virksomheder gør, og jeg har ikke mulighed for at komme ind på for mange detaljer - men den senes...
Kommentar til Mangel på arbejdskraft?

Re: No Match

Det betyder ikke, som Mikkel antyder, at flertallet af ledige IT-folk mangler kvalifikationer. Det er blot de "forkerte" kvalifikationer. Nu håber jeg, at jeg forstår dig ret - Hvis man med "kvalifikationer" mener kendskab til bestemte programmeringssprog,...
Kommentar til Mangel på arbejdskraft?

Re: Kommentar

En medvirkende årsag til at du har fået mange ansøgninger, der kan arkiveres direkte i skraldespanden, kan være at de jobsøgende er tvunget til at sende X ansøgninger om ugen. Enig - det er en medvirkende årsag. Det er umuligt at udtale sig helt præcist om baggrunden for de "skæve"...
Kommentar til Drag mod vest, unge mand (*)

Re: Vedligeholdelse

Det er selvfølgeligt klart at hvis man et 500.000 liniers program med tusindvis af klasser og masser af overloadede 4 bogstavs metode navne, så har man da brug for hjælp .... af værktøjet :-) For god ordens skyld: mit eksempel ovenfor var kogt ned for at eksemplificere strukturen. Det handle...
Kommentar til Drag mod vest, unge mand (*)

Re: Vedligeholdelse

Det er jo her det lidt, for mig, begynde at ligne en selvskabt plage. Har man et dynamisk typet sprog har man jo netop ikke behov for at gå rundt og opdatere alle instanser. Hvis man tilføjer en ekstra parameter til en metode har man. Defaultværdier kan redde en i nogen tilfælde, men ikke i ...
Kommentar til Drag mod vest, unge mand (*)

Re: Vedligeholdelse

Jeg kender for lidt til automatisk refaktorering til at kunne vurdere i hvor høj grad statiske typer er nødvendige i forhold til at lave rene source-til-source ændringer eller "blot" at have haskell-niveau type-inferens. Jeg tror, at vi snakker forbi hinanden. At et sprog er statisk...
Kommentar til Drag mod vest, unge mand (*)

Re: Vedligeholdelse

Fair nok, men det er så heller ikke helt den samme problemstilling som det at vide hvor ting er defineret henne, som var noget af det der blev fremhævet. Det, at vide, hvor noget er defineret (og bruges henne), er vel en forudsætning for, at ens værktøjer er i stand til at lave automatisered...
Kommentar til Drag mod vest, unge mand (*)

Re: Vedligeholdelse

Source introspection er altså ikke noget der er snævert knyttet til statiske typer. Er det noget du har undersøgt (mht Clojure) eller hoppede du direkte til konklusionen? Det er noget jeg har undersøgt. I et dynamisk typet sprog ved man generelt ikke hvilken type en variabels værdi har (ell...
Kommentar til Drag mod vest, unge mand (*)

Re: Statiske typer

Er påstanden ikke at det er umuligt at kombinere global type inferens og objekt orienteret programmering, i hvert fald den type som Scala implementere? Typeinferens gør det i hvert fald ikke alene. Man ender hurtigt med noget a la duck typing, hvis man ikke eksplicit kan sætte typer på varia...
Kommentar til Drag mod vest, unge mand (*)

Re: Jeg tør næsten ikke sige det herinde.

Det er altid spændende at snakke programmeringssprog, men ikke hvis man lader diskussionen begrænse af implementeringsteknologi. Ville man ikke synes jeg var fjollet, hvis jeg kun ville bruge sprog hvis oversættere var bygget med LLVM? Jo, men det er heller ikke det, som er baggrunden for mi...
Kommentar til Drag mod vest, unge mand (*)

Re: Statiske typer

Jeg forstår ikke, hvorfor du mener, at F#, Haskell og O'Caml ikke har statiske typer, det har de i allerhøjeste grad. Men det var måske på grund af, at de ikke kører på JVM, at du fravalgte dem? Lige præcis. Beklager, hvis det ikke fremgik tydeligt nok - indlæggets allerede store længde tag...
Kommentar til Java er faktisk helt okay...

Re: Du forholder dig slet ikke til FP

Alt det autogenereret kode er noget du lever med fordi det er nødvendigt. Det er ikke smart. Det smarte er at det er noget oversætteren klarer automatisk. Enig. Jeg siger ikke, at Java er den smarteste løsning på den slags udfordringer - det ville også være mærkeligt, hvis ikke man på nogen ...
Kommentar til Java er faktisk helt okay...

Re: Du forholder dig slet ikke til FP

Beklager det sene svar; arbejdsramt... Jeg synes det virker lidt underligt at dit indlæg reelt handler måske 75% om kvaliteter ved platformen JVM og kun subsidiært om kvaliteter ved Java som sprog. God pointe, som jeg nok burde have haft med. Ja, bortset fra det med sproglig stringens og ti...