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.856 •

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)

Mooi! Haskell is toch vrij lastig om in te stappen, ik had dit zeker behulpzaam gevonden om te kunnen gebruiken in mijn eerste dagen.
Jammer dat hij dit niet online zet, zodat ook niet studenten ermee kunnen lummelen.

Over pogrameerleeromgeving gesproken, bij codecademy.com dan worden je tags (bv <a href>) automatisch afgesloten ( </a>, dat zou vaker gebruikt moeten worden in editors. Maarja bij codecademy.com kun je weer niet exporteren, maarja dat is iets heel anders.

Hmmm dit is online Leuk :P

[Reactie gewijzigd door eddyjohn op 19 november 2012 19:51]

In een leeromgeving zou een <a> tag juist niet afgesloten moeten worden. Wat heeft dat met leren te maken? Dat is geen feedback, maar hulp :)

Daartegenover staat dat de meeste IDE's en serieuze editors dat wel gewoon doen, maar hun doel is dan ook niet om een leeromgeving te zijn. Overigens geven veel IDE's wel aan of er sommige dingen aan je code beter kunnen.
Ziet er mooi uit, het begin van het aanleren van een programmeertaal is zeker niet makkelijk. Ik denk dat dit een stap in de goeie richting is om beginners minder snel vast te laten lopen. Iedereen weet hoe frustrerend/afremmend een dom foutje kan zijn...
Ik moest gelijk aan dit artikel over "Learnable Programming" van Brett Victor denken. Leren te programmeren door direct feedback te geven en uit te nodigen om te experimenteren. Anders blijft leren programmeren toch vaak heel abstract.
Deze omgeving is voor de taal Haskell, niet voor Pascal/Delphi :9
Jouw code ziet er ook niet echt uit als Haskell.
Ik had moeite met de definitie van compress, omdat de online omgeving een aantal redelijk standaardfuncties mist. :+

Mijn eerste poging:
compress = map head . group

Mijn tweede poging:
compress [] = []
compress (x:xs) = x : compress (dropWhile (==x) xs)

Success _/-\o_
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.
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
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?
Doet me erg denken aan codeschool.com. Ontzettend goed concept.
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.
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...
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.
Ja, want van al die mensen die niet zo goed zijn in abstact denken, daar willen we natuurlijk graag programmeurs van maken !
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.

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