Cookies op Tweakers

Tweakers maakt gebruik van cookies, onder andere om de website te analyseren, het gebruiksgemak te vergroten en advertenties te tonen. Door gebruik te maken van deze website, of door op 'Ga verder' te klikken, geef je toestemming voor het gebruik van cookies. Je kunt ook een cookievrije versie van de website bezoeken met minder functionaliteit. Wil je meer informatie over cookies en hoe ze worden gebruikt, bekijk dan ons cookiebeleid.

Meer informatie

Door , , reacties: 39, views: 19.857 •

Programmeur Alex Gerdes heeft voor zijn promotieonderzoek aan de Open Universiteit een programmeerleeromgeving ontwikkeld. De software moet studenten automatisch feedback geven tijdens het maken van opdrachten en het eenvoudiger maken om te leren programmeren.

Bij de ontwikkeling van de programmeerleeromgeving voor de functionele programmeertaal Haskell, Ask-Elle geheten, werkte Gerdes samen met studenten van de Universiteit Utrecht. Ask-Elle zou in staat zijn om een student die met een programmeeropdracht bezig is feedback te geven of hij een juiste stap heeft gezet met zijn geschreven Haskell-code. Ook moet Ask-Elle, dat is gericht op eerstejaars studenten, hints geven als een student vastloopt.

De feedback die Ask-Elle geeft, wordt automatisch gegenereerd op basis van modeloplossingen voor een bepaalde programmeeropgave. Bij modeloplossingen is de code geschreven alsof een expert deze geproduceerd heeft en bevat de code methoden die een student zichzelf moet aanleren.

Volgens Gerdes is Ask-Elle ook nuttig voor docenten, omdat studenten zelfstandiger aan opdrachten kunnen werken. Bovendien is het voor docenten mogelijk om zelf modeloplossingen toe te voegen aan de programmeerleeromgeving waarbij tevens de geboden feedback veranderd kan worden. Gerdes zal op 23 november aan de Open Universiteit in Heerlen promoveren op basis van zijn proefschrift 'Ask-Elle: a Haskell Tutor'.

Reacties (39)

De tool (niet zelf naar gekeken, want ik kan er niet bij) doet me een beetje aan het BlueJ van vroeger denken.

Wil je trouwens snel wat talen leren kan ik je "Seven languages in seven weeks" aanbevelen. Erg leuk boek :)
ik heb het even geprobeerd.. het zal aan mij liggen maar ik vind het maar moeilijk dit te koppellen/herleiden naar python/c#/c++/asm/ruby on rails

wat Ytrog al zei is BlueJ na mijn idee een veel beter tool om concepten uit te leggen..

waar ik tegenwoordig een heel erge voorstander ben is LUA naar mijn idee is die taal het meeste geschikt voor het aan leren van programmeer talen

[Reactie gewijzigd door sonicred op 20 november 2012 10:29]

Aah dus de tijd van twee dikke boeken kopen die de taal uitleggen en gewoon lezen en code stampen is voorbij :)
tja, zal ik dan wel weer zijn, maar ik vindt dit eigenlijk helemaal niet positief, want het is juist goed als mensen zelf moeten zoeken naar een oplossing en niet zomaar simpel iets wordt aangedragen..
Ik met het met eens. Ik weet nog wel dat ze op de haagse hoge school toen de programmeertaal B hadden (zelf ontwikkeld, is al heel lang geleden). Had je in de praktijk geen ene r**t aan, want in het bedrijfsleven gebruiken ze geen programmeertaal B.

Zet toch mijn vraagtekens bij zo'n tool. Het is mij niet helemaal duidelijk of er ook programmaatjes mee kunnen worden gemaakt, maar je hebt zo weinig aan omdat het niet overeenkomt met de werkelijkheid. Volgens mij kun je veel beter een taal leren en desnoods eerst een scripttaal zoals bijvoorbeeld javascript. Vanuit daar kun je dan de overstap maken naar C, Java etc. Dit lijkt mij weer zo'n theoretische benadering bij het oplossen van een probleem dat niet bruikbaar is in de praktijk.

Heb ook een keer een cursus Java gehad bij Vijfhart, waardeloze cursus voor mensen uit het bedrijfsleven. Beginnen ze met het afdrukken van priemgetallen. Daar heb je echter niets aan als je interfaces moet bouwen.

Om te ondersteunen wat @SuperDre schrijft, kunnen ze beter leren hoe je aan informatie kan komen wanneer je iets niet weet. Bijvoorbeeld gericht zoeken op internet, dat je voorbeelden kan vinden en deze kan toepassen. Het aanbod in oplossingen is zo groot, dat je moet leren om te kunnen filteren (want niet alles wat je vind hoeft per definitie goed te zijn). Dus dat je een keuze kan maken, de goede keuze. Net als in de supermarkt, het aanbod is enorm, bijvoorbeeld je hebt wel 30 verschillende yoghurt maar welke is voor jou gerecht geschikt.

Je hoeft niet alles te weten (alhoewel is wel handig natuurlijk maar daar gaat een tijd overeen) en is vele malen leerzamer omdat je zelf de oplossing zoekt. Wanneer je niet kunt zoeken in het bedrijfsleven dan heb je pas echt een probleem, dan ben je veel langer met een project bezig omdat je het zelf gaat maken (Of dat je alleen maar gaat zoeken op Nederlandse sites, je vind niet wat je zoekt, zie ik ook nog regelmatig). Dat is niet altijd nodig want er is misschien al iemand die het wiel al een keer bekeken heeft. Als je dan alleen maar kunt werken met die tool, die heb je in het bedrijfsleven niet, zou ook een beetje knullig overkomen.

Het is net als met een zakjapanner, gebruik deze altijd kun je vaak niet meer goed hoofdrekenen, kortom: Je word lui en je bent dan heel afhankelijk van dat ene 'ding'. Dan heb je om een afstand in pixels te berekenen zelfs een zakjapanner nodig :+

[Reactie gewijzigd door Erwines op 20 november 2012 00:37]

Ja allemaal leuk en aardig, maar dan moet zo'n tool ook wel goed werken. En dat was helaas niet het geval toen ik hem uitprobeerde op de UU. Wat toen het geval was, was dat er een of twee correcte oplossingen in zaten, maar dat hij een hele zooi andere correcte oplossingen niet herkende en daar dus over bleef zeuren.
Dat is nog altijd zo, zo te merken. Je moet echt precies een van de plannen volgen die de tool voor je heeft - je mag niet eens een stap overslaan. Die tool werkt dus voor geen meter, maar het idee is leuk.
Heel awesome, jammer genoeg moet je op de UU het tentamen Functioneel Programmeren nog steeds lekker op papier doen. Staat wel bekend als een van de, zo niet het, moeilijkste bachelorvak bij informatica. Wel echt een prachtige taal, jammer dat het tentamen zo absurd moeilijk is... :).

Wat mij betreft mag het leren programmeren sowieso wel meer deze kant op, in de praktijk werk je toch altijd in een suite als Eclipse met alle tools die daarbij komen. Kennis opdoen in dezelfde omgeving als waarin je die zult moeten toepassen lijkt me niet meer dan logisch. Helaas denken ze daar op de UU nog steeds anders over...
Functioneel Programmeren het moeilijkste? Nooit Optimalisering en Complexiteit gevolgd zeker? :P
Het lijkt mij juist wel logisch dat je tentamens op papier krijgt - achter een computer kan je honderd keer met je hoofd op je toetsenbord rammen in de hoop dat er een correct programma uitrolt en dat uiteindelijk inleveren, terwijl je een papieren tentamen alleen kan maken als je de fundamentele concepten van de programmeertaal goed begrijpt. Je mag van iemand die een vak over Haskell volgt toch wel verwachten dat hij goed weet hoe het type-systeem werkt. Andere fundamentele zaken, zoals het met behulp van inductie bewijzen dat twee expressies gelijk zijn, kun je niet eens makkelijk toetsen in een omgeving als dit.

Overigens wordt er bij het vak ook gewoon op praktische vaardigheden getoetst - je moet dus ook opdrachten inleveren, waarbij je eventueel dit soort tools gewoon mag gebruiken. Maar zeker aan de Universiteit mag je wel verwachten dat je ook op een wat abstracter niveau inzicht hebt in de programmeertaal.
Klinkt ook erg naar DeduceIt dat gebruikt wordt op Stanford. Alleen is dat systeem niet specifiek gericht op 1 programmeertaal, maar veel breder inzetbaar. Zo wordt DeduceIt naast programmeren ook gebruikt voor wiskunde, kunstmatige intelligentie, linguistische studies en nog vele andere zaken.

Helaas is DeduceIt niet publiekelijk beschikbaar (alleen via Stanford of Coursera, waar de Compilers course ook met DeduceIt werkt). In de Compilers course wordt DeduceIt bijvoorbeeld gebruikt voor het leren van ASM op MIPS, maar ook voor het leren werken met CFGs, ASTs en dergelijke.
Doet me erg denken aan codeschool.com. Ontzettend goed concept.
Tnx, ga ik doen na w3school.com ,vind het op deze manier leren van iets wel zo makkelijk maar schijnt per persoon te verschillen,het wachten is op uitdagende games die je leren wat je wil leeren
Ik vind het een zeer mooi initiatief, maar Haskell als taal om te leren programmeren?
Is een feedback IDE voor Java of C# dan niet logischer?
Op de Universiteit Utrecht leer je drie talen: een imperatieve (Java), een functionele (Haskell) en een logische (Prolog). Het idee is dat je zo kennis maakt met deze fundamenteel verschillende programmeermodellen, en dat als je die drie kent je als academicus je met weinig moeite je de meeste andere talen meester kan maken. Prima systeem.

[Reactie gewijzigd door Grauw op 20 november 2012 01:00]

Inmiddels is Java vervangen door C# in het curriculum. Niet dat dat veel verandert natuurlijk.
Mijn dochter is net begonnen aan CKI aan de UU, maar die heeft nog Java (http://www.phil.uu.nl/java/).
Hangt van het doel af: ik zou Java of C# nou geen schoolvoorbeelden van talen noemen die proberen concepten helder te maken. Eerder talen om dingen gedaan te krijgen. Als je naar een muziekschool gaat geven ze je eerst een blokfluit om de concepten over de buhne te krijgen voordat je op een saxofoon mag blazen. Zo zie ik dit ook meer: Haskell om concepten (zaken als recursie, complexiteit van algoritmes e.d.) te leren voordat je jezelf in je voet gaat schieten met andere (complexere) omgevingen.
ik, als student aan de UU waar 'Ask-Elle' naar mijn weten ontwikkeld is heb de gelegenheid gehad om hier mee te werken.
echter was ik zelf niet erg enthousiast over deze tool, de tool zou zeker gebruikt kunnen worden om de syntax in meer of mindere maten onder de knie te kunnen krijgen maar erg fijn werkte de verzie waar ik mee gewerkt heb nog niet. je kunt controleren of je types goed zijn en of je je gards goed plaatst, maar erg veel verder gaat de tool niet.
er is zeker vraag naar een tool als 'Ask-Elle' een functionele taal als Haskell is maar voor weinig mensen weg gelegd. en ik hoop dus ook dat de ontwikkelaars nog verder gaan met 'Ask-Elle', het zal veel mensen helpen!.

overigens staat de tool naar mijn idee gewoon online, voor de mensen die hem willen proberen hij staat naar mijn idee ergens op deze wiki: http://www.cs.uu.nl/wiki/FP/WebHome
Hier is de Universiteit Utrecht voor zover ik weet al jaren mee bezig, en wordt ook al beperkt ingezet. Verder is er nog Helium (dacht ik) die probeert betere foutmeldingen te geven dan de standaard GHC compiler doet, dus zie niet echt wat er hier nieuw aan is?

Daarbij vind ik Haskell echt een vervelende taal en onbegrijpelijk waarom het op de UU verplicht is.
Met de introductie van multi-core processoren komt het gebruik van Haskell en Erlang pas tot zijn recht. Voor normale applicaties is er geen reden om je toevlucht tot dit soort talen te nemen.
Pas als je een paar duizend requests op 1 machine wil afhandelen dan merk je dat Haskell en Erlang veel betere alternatieven zijn dan C++ of Java.

Zie het nu als een stukje ervaring wat je later nuttig kan gebruiken.
Ik dacht er 10 jaar geleden ook niets aan te hebben.
Bij veel grote bedrijven zie je nu dat bepaalde highperformance onderelen nu enkel in functionele talen geschreven worden. Niet omdat het zo leuk is maar omdat het alternatief in Java, C of een P-scripttaal gewoon niet meer werkt.

Op dit item kan niet meer gereageerd worden.



Populair:Apple iPhone 6Samsung Galaxy Note 4Apple iPad Air 2FIFA 15Motorola Nexus 6Call of Duty: Advanced WarfareApple WatchWorld of Warcraft: Warlords of Draenor, PC (Windows)Microsoft Xbox One 500GBTablets

© 1998 - 2014 Tweakers.net B.V. Tweakers is onderdeel van De Persgroep en partner van Computable, Autotrack en Carsom.nl Hosting door True

Beste nieuwssite en prijsvergelijker van het jaar 2013