Opiskelijoiden suurimmat haasteet Haskell-ohjelmointikielen tyyppijärjestelmän kanssa

Haskell-ohjelmointikielellä opetettavalla funktio-ohjelmoinnin johdatuskurssilla oppilaat kohtaavat useita haasteita. Näistä yleisimmät liittyvät usein kielen syntaksiin tai tyyppijärjestelmään. Tämä tutkielma keskittyy oppilaiden haasteisiin Haskellin tyyppijärjestelmän kanssa laajentaen aiempaa tu...

Täydet tiedot

Bibliografiset tiedot
Päätekijä: Keveri, Matias
Muut tekijät: Informaatioteknologian tiedekunta, Faculty of Information Technology, Informaatioteknologia, University of Jyväskylä, Jyväskylän yliopisto
Aineistotyyppi: Pro gradu
Kieli:fin
Julkaistu: 2018
Aiheet:
Linkit: https://jyx.jyu.fi/handle/123456789/57767
_version_ 1826225704800354305
author Keveri, Matias
author2 Informaatioteknologian tiedekunta Faculty of Information Technology Informaatioteknologia University of Jyväskylä Jyväskylän yliopisto
author_facet Keveri, Matias Informaatioteknologian tiedekunta Faculty of Information Technology Informaatioteknologia University of Jyväskylä Jyväskylän yliopisto Keveri, Matias Informaatioteknologian tiedekunta Faculty of Information Technology Informaatioteknologia University of Jyväskylä Jyväskylän yliopisto
author_sort Keveri, Matias
datasource_str_mv jyx
description Haskell-ohjelmointikielellä opetettavalla funktio-ohjelmoinnin johdatuskurssilla oppilaat kohtaavat useita haasteita. Näistä yleisimmät liittyvät usein kielen syntaksiin tai tyyppijärjestelmään. Tämä tutkielma keskittyy oppilaiden haasteisiin Haskellin tyyppijärjestelmän kanssa laajentaen aiempaa tutkimusta tyyppeihin liittyvistä haasteista. Tavoitteena on tunnistaa oppilaiden yleisimmät virheet, haasteet ja väärinkäsitykset tyyppeihin liittyen analysoimalla automaattitehtävistä kerättyä aineistoa. Analyysi keskittyy tyyppien ymmärrystä testaaviin tehtäviin, joista saatavien havaintojen pohjalta opetusta voidaan keskittää haasteellisimpiin tyyppijärjestelmän osa-alueisiin. Students face many challenges when attending an introductory functional programming course taught in Haskell. Common challenges are often related to syntax of the language or the type system. This paper focuses on the difficulties of students in understanding Haskell’s type system extending the current research on type related difficulties. Our goal is to identify common mistakes, difficulties and misconceptions students have with types by analyzing exercise submissions and automated assignment logs. The analysis will be focused on assignments testing the students knowledge on types. After identifying the main difficulties, the courses teaching can be more focused on the problematic parts.
first_indexed 2023-03-22T09:58:26Z
format Pro gradu
free_online_boolean 1
fullrecord [{"key": "dc.contributor.advisor", "value": "Tirronen, Ville", "language": null, "element": "contributor", "qualifier": "advisor", "schema": "dc"}, {"key": "dc.contributor.author", "value": "Keveri, Matias", "language": null, "element": "contributor", "qualifier": "author", "schema": "dc"}, {"key": "dc.date.accessioned", "value": "2018-04-26T06:45:02Z", "language": null, "element": "date", "qualifier": "accessioned", "schema": "dc"}, {"key": "dc.date.available", "value": "2018-04-26T06:45:02Z", "language": null, "element": "date", "qualifier": "available", "schema": "dc"}, {"key": "dc.date.issued", "value": "2018", "language": null, "element": "date", "qualifier": "issued", "schema": "dc"}, {"key": "dc.identifier.other", "value": "oai:jykdok.linneanet.fi:1869488", "language": null, "element": "identifier", "qualifier": "other", "schema": "dc"}, {"key": "dc.identifier.uri", "value": "https://jyx.jyu.fi/handle/123456789/57767", "language": null, "element": "identifier", "qualifier": "uri", "schema": "dc"}, {"key": "dc.description.abstract", "value": "Haskell-ohjelmointikielell\u00e4 opetettavalla funktio-ohjelmoinnin johdatuskurssilla oppilaat kohtaavat useita haasteita. N\u00e4ist\u00e4 yleisimm\u00e4t liittyv\u00e4t usein kielen syntaksiin tai tyyppij\u00e4rjestelm\u00e4\u00e4n. T\u00e4m\u00e4 tutkielma keskittyy oppilaiden haasteisiin Haskellin tyyppij\u00e4rjestelm\u00e4n kanssa laajentaen aiempaa tutkimusta tyyppeihin liittyvist\u00e4 haasteista. Tavoitteena on tunnistaa oppilaiden yleisimm\u00e4t virheet, haasteet ja v\u00e4\u00e4rink\u00e4sitykset tyyppeihin liittyen analysoimalla automaattiteht\u00e4vist\u00e4 ker\u00e4tty\u00e4 aineistoa. Analyysi keskittyy tyyppien ymm\u00e4rryst\u00e4 testaaviin teht\u00e4viin, joista saatavien havaintojen pohjalta opetusta voidaan keskitt\u00e4\u00e4 haasteellisimpiin tyyppij\u00e4rjestelm\u00e4n osa-alueisiin.", "language": "fi", "element": "description", "qualifier": "abstract", "schema": "dc"}, {"key": "dc.description.abstract", "value": "Students face many challenges when attending an introductory functional programming course taught in Haskell. Common challenges are often related to syntax of the language or the type system. This paper focuses on the difficulties of students in understanding Haskell\u2019s type system extending the current research on type related difficulties. Our goal is to identify common mistakes, difficulties and misconceptions students have with types by analyzing exercise submissions and automated assignment logs. The analysis will be focused on assignments testing the students knowledge on types. After identifying the main difficulties, the courses teaching can be more focused on the problematic parts.", "language": "en", "element": "description", "qualifier": "abstract", "schema": "dc"}, {"key": "dc.description.provenance", "value": "Submitted using Plone Publishing form by Matias Keveri (maankeve) on 2018-04-26 06:45:02.245918. Form: Pro gradu -lomake (https://kirjasto.jyu.fi/julkaisut/julkaisulomakkeet/pro-gradu-lomake). JyX data: [jyx_publishing-allowed (fi) =True]", "language": "en", "element": "description", "qualifier": "provenance", "schema": "dc"}, {"key": "dc.description.provenance", "value": "Submitted by jyx lomake-julkaisija (jyx-julkaisija.group@korppi.jyu.fi) on 2018-04-26T06:45:02Z\nNo. of bitstreams: 2\nURN:NBN:fi:jyu-201804262371.pdf: 300358 bytes, checksum: f3c4a13beeb8e19e1a1ebb7f991ad349 (MD5)\nlicense.html: 4843 bytes, checksum: c19d5b64d82522314b5f975f522429c2 (MD5)", "language": "en", "element": "description", "qualifier": "provenance", "schema": "dc"}, {"key": "dc.description.provenance", "value": "Made available in DSpace on 2018-04-26T06:45:02Z (GMT). No. of bitstreams: 2\nURN:NBN:fi:jyu-201804262371.pdf: 300358 bytes, checksum: f3c4a13beeb8e19e1a1ebb7f991ad349 (MD5)\nlicense.html: 4843 bytes, checksum: c19d5b64d82522314b5f975f522429c2 (MD5)\n Previous issue date: 2018", "language": "en", "element": "description", "qualifier": "provenance", "schema": "dc"}, {"key": "dc.format.extent", "value": "1 verkkoaineisto (70 sivua)", "language": null, "element": "format", "qualifier": "extent", "schema": "dc"}, {"key": "dc.format.mimetype", "value": "application/pdf", "language": null, "element": "format", "qualifier": "mimetype", "schema": "dc"}, {"key": "dc.language.iso", "value": "fin", "language": null, "element": "language", "qualifier": "iso", "schema": "dc"}, {"key": "dc.rights", "value": "In Copyright", "language": "en", "element": "rights", "qualifier": null, "schema": "dc"}, {"key": "dc.subject.other", "value": "funktio-ohjelmointi", "language": null, "element": "subject", "qualifier": "other", "schema": "dc"}, {"key": "dc.subject.other", "value": "tyyppij\u00e4rjestelm\u00e4t", "language": null, "element": "subject", "qualifier": "other", "schema": "dc"}, {"key": "dc.subject.other", "value": "funktiotyypit", "language": null, "element": "subject", "qualifier": "other", "schema": "dc"}, {"key": "dc.subject.other", "value": "Haskell", "language": null, "element": "subject", "qualifier": "other", "schema": "dc"}, {"key": "dc.title", "value": "Opiskelijoiden suurimmat haasteet Haskell-ohjelmointikielen tyyppij\u00e4rjestelm\u00e4n kanssa", "language": null, "element": "title", "qualifier": null, "schema": "dc"}, {"key": "dc.type", "value": "master thesis", "language": null, "element": "type", "qualifier": null, "schema": "dc"}, {"key": "dc.identifier.urn", "value": "URN:NBN:fi:jyu-201804262371", "language": null, "element": "identifier", "qualifier": "urn", "schema": "dc"}, {"key": "dc.type.ontasot", "value": "Pro gradu -tutkielma", "language": "fi", "element": "type", "qualifier": "ontasot", "schema": "dc"}, {"key": "dc.type.ontasot", "value": "Master\u2019s thesis", "language": "en", "element": "type", "qualifier": "ontasot", "schema": "dc"}, {"key": "dc.contributor.faculty", "value": "Informaatioteknologian tiedekunta", "language": "fi", "element": "contributor", "qualifier": "faculty", "schema": "dc"}, {"key": "dc.contributor.faculty", "value": "Faculty of Information Technology", "language": "en", "element": "contributor", "qualifier": "faculty", "schema": "dc"}, {"key": "dc.contributor.department", "value": "Informaatioteknologia", "language": "fi", "element": "contributor", "qualifier": "department", "schema": "dc"}, {"key": "dc.contributor.organization", "value": "University of Jyv\u00e4skyl\u00e4", "language": "en", "element": "contributor", "qualifier": "organization", "schema": "dc"}, {"key": "dc.contributor.organization", "value": "Jyv\u00e4skyl\u00e4n yliopisto", "language": "fi", "element": "contributor", "qualifier": "organization", "schema": "dc"}, {"key": "dc.subject.discipline", "value": "Tietotekniikka", "language": "fi", "element": "subject", "qualifier": "discipline", "schema": "dc"}, {"key": "dc.subject.discipline", "value": "Mathematical Information Technology", "language": "en", "element": "subject", "qualifier": "discipline", "schema": "dc"}, {"key": "dc.date.updated", "value": "2018-04-26T06:45:03Z", "language": null, "element": "date", "qualifier": "updated", "schema": "dc"}, {"key": "yvv.contractresearch.funding", "value": "0", "language": null, "element": "contractresearch", "qualifier": "funding", "schema": "yvv"}, {"key": "dc.type.coar", "value": "http://purl.org/coar/resource_type/c_bdcc", "language": null, "element": "type", "qualifier": "coar", "schema": "dc"}, {"key": "dc.rights.accesslevel", "value": "openAccess", "language": "fi", "element": "rights", "qualifier": "accesslevel", "schema": "dc"}, {"key": "dc.type.publication", "value": "masterThesis", "language": null, "element": "type", "qualifier": "publication", "schema": "dc"}, {"key": "dc.subject.oppiainekoodi", "value": "602", "language": null, "element": "subject", "qualifier": "oppiainekoodi", "schema": "dc"}, {"key": "dc.subject.yso", "value": "oppiminen", "language": null, "element": "subject", "qualifier": "yso", "schema": "dc"}, {"key": "dc.subject.yso", "value": "ohjelmointi", "language": null, "element": "subject", "qualifier": "yso", "schema": "dc"}, {"key": "dc.subject.yso", "value": "ohjelmointikielet", "language": null, "element": "subject", "qualifier": "yso", "schema": "dc"}, {"key": "dc.format.content", "value": "fulltext", "language": null, "element": "format", "qualifier": "content", "schema": "dc"}, {"key": "dc.rights.url", "value": "https://rightsstatements.org/page/InC/1.0/", "language": null, "element": "rights", "qualifier": "url", "schema": "dc"}, {"key": "dc.type.okm", "value": "G2", "language": null, "element": "type", "qualifier": "okm", "schema": "dc"}]
id jyx.123456789_57767
language fin
last_indexed 2025-02-18T10:54:59Z
main_date 2018-01-01T00:00:00Z
main_date_str 2018
online_boolean 1
online_urls_str_mv {"url":"https:\/\/jyx.jyu.fi\/bitstreams\/7432b4c3-02f6-42df-8f18-edfa90b43f0e\/download","text":"URN:NBN:fi:jyu-201804262371.pdf","source":"jyx","mediaType":"application\/pdf"}
publishDate 2018
record_format qdc
source_str_mv jyx
spellingShingle Keveri, Matias Opiskelijoiden suurimmat haasteet Haskell-ohjelmointikielen tyyppijärjestelmän kanssa funktio-ohjelmointi tyyppijärjestelmät funktiotyypit Haskell Tietotekniikka Mathematical Information Technology 602 oppiminen ohjelmointi ohjelmointikielet
title Opiskelijoiden suurimmat haasteet Haskell-ohjelmointikielen tyyppijärjestelmän kanssa
title_full Opiskelijoiden suurimmat haasteet Haskell-ohjelmointikielen tyyppijärjestelmän kanssa
title_fullStr Opiskelijoiden suurimmat haasteet Haskell-ohjelmointikielen tyyppijärjestelmän kanssa Opiskelijoiden suurimmat haasteet Haskell-ohjelmointikielen tyyppijärjestelmän kanssa
title_full_unstemmed Opiskelijoiden suurimmat haasteet Haskell-ohjelmointikielen tyyppijärjestelmän kanssa Opiskelijoiden suurimmat haasteet Haskell-ohjelmointikielen tyyppijärjestelmän kanssa
title_short Opiskelijoiden suurimmat haasteet Haskell-ohjelmointikielen tyyppijärjestelmän kanssa
title_sort opiskelijoiden suurimmat haasteet haskell ohjelmointikielen tyyppijärjestelmän kanssa
title_txtP Opiskelijoiden suurimmat haasteet Haskell-ohjelmointikielen tyyppijärjestelmän kanssa
topic funktio-ohjelmointi tyyppijärjestelmät funktiotyypit Haskell Tietotekniikka Mathematical Information Technology 602 oppiminen ohjelmointi ohjelmointikielet
topic_facet 602 Haskell Mathematical Information Technology Tietotekniikka funktio-ohjelmointi funktiotyypit ohjelmointi ohjelmointikielet oppiminen tyyppijärjestelmät
url https://jyx.jyu.fi/handle/123456789/57767 http://www.urn.fi/URN:NBN:fi:jyu-201804262371
work_keys_str_mv AT keverimatias opiskelijoidensuurimmathaasteethaskellohjelmointikielentyyppijärjestelmänkanssa