{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:4ZRFB6F7BGTA7PUFEPBZN342XA","short_pith_number":"pith:4ZRFB6F7","schema_version":"1.0","canonical_sha256":"e66250f8bf09a60fbe8523c396ef9ab81eee2ea32b7cb829b3e20323408ec94b","source":{"kind":"arxiv","id":"1906.11450","version":1},"attestation_state":"computed","paper":{"title":"Investigating Compilation Errors of Students Learning Haskell","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Boldizs\\'ar N\\'emeth (E\\\"otv\\\"os Lor\\'and University), Erina Makihara (Nara Institute of Science, Eunjong Choi (Nara Institute of Science, Hajimu Iida (Nara Institute of Science, Technology)","submitted_at":"2019-06-27T06:23:20Z","abstract_excerpt":"While functional programming is an efficient way to express complex software, functional programming languages have a steep learning curve. Haskell can be challenging to learn for students who were only introduced to imperative programming. It is important to look for methods and tools that may reduce the difficulty of learning functional programming. Finding methods to help students requires understanding the errors that students make while learning Haskell.\n  There are several previous studies revealing data about Haskell compiler errors, but they do not focus on the analysis of the compiler"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1906.11450","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-06-27T06:23:20Z","cross_cats_sorted":[],"title_canon_sha256":"6fd82de69a1856b99d782a2c6289affa67a0460698d3dd2931d3ed90a96e9e19","abstract_canon_sha256":"4c2770e90c3aad19db66407a3cbf7c8fb86ef18d5285878adbcdea14c0700a94"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:42:07.015467Z","signature_b64":"8eEVXgydNm7dBnSj3Zc2YUac5xMSo5qjfWCd3QHmUh3ixWzkQQP5nTgiOv+uDIjTyBGG8ADCSI3EFJJGZfuJBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e66250f8bf09a60fbe8523c396ef9ab81eee2ea32b7cb829b3e20323408ec94b","last_reissued_at":"2026-05-17T23:42:07.014733Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:42:07.014733Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Investigating Compilation Errors of Students Learning Haskell","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Boldizs\\'ar N\\'emeth (E\\\"otv\\\"os Lor\\'and University), Erina Makihara (Nara Institute of Science, Eunjong Choi (Nara Institute of Science, Hajimu Iida (Nara Institute of Science, Technology)","submitted_at":"2019-06-27T06:23:20Z","abstract_excerpt":"While functional programming is an efficient way to express complex software, functional programming languages have a steep learning curve. Haskell can be challenging to learn for students who were only introduced to imperative programming. It is important to look for methods and tools that may reduce the difficulty of learning functional programming. Finding methods to help students requires understanding the errors that students make while learning Haskell.\n  There are several previous studies revealing data about Haskell compiler errors, but they do not focus on the analysis of the compiler"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1906.11450","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1906.11450","created_at":"2026-05-17T23:42:07.014869+00:00"},{"alias_kind":"arxiv_version","alias_value":"1906.11450v1","created_at":"2026-05-17T23:42:07.014869+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1906.11450","created_at":"2026-05-17T23:42:07.014869+00:00"},{"alias_kind":"pith_short_12","alias_value":"4ZRFB6F7BGTA","created_at":"2026-05-18T12:33:10.108867+00:00"},{"alias_kind":"pith_short_16","alias_value":"4ZRFB6F7BGTA7PUF","created_at":"2026-05-18T12:33:10.108867+00:00"},{"alias_kind":"pith_short_8","alias_value":"4ZRFB6F7","created_at":"2026-05-18T12:33:10.108867+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/4ZRFB6F7BGTA7PUFEPBZN342XA","json":"https://pith.science/pith/4ZRFB6F7BGTA7PUFEPBZN342XA.json","graph_json":"https://pith.science/api/pith-number/4ZRFB6F7BGTA7PUFEPBZN342XA/graph.json","events_json":"https://pith.science/api/pith-number/4ZRFB6F7BGTA7PUFEPBZN342XA/events.json","paper":"https://pith.science/paper/4ZRFB6F7"},"agent_actions":{"view_html":"https://pith.science/pith/4ZRFB6F7BGTA7PUFEPBZN342XA","download_json":"https://pith.science/pith/4ZRFB6F7BGTA7PUFEPBZN342XA.json","view_paper":"https://pith.science/paper/4ZRFB6F7","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1906.11450&json=true","fetch_graph":"https://pith.science/api/pith-number/4ZRFB6F7BGTA7PUFEPBZN342XA/graph.json","fetch_events":"https://pith.science/api/pith-number/4ZRFB6F7BGTA7PUFEPBZN342XA/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/4ZRFB6F7BGTA7PUFEPBZN342XA/action/timestamp_anchor","attest_storage":"https://pith.science/pith/4ZRFB6F7BGTA7PUFEPBZN342XA/action/storage_attestation","attest_author":"https://pith.science/pith/4ZRFB6F7BGTA7PUFEPBZN342XA/action/author_attestation","sign_citation":"https://pith.science/pith/4ZRFB6F7BGTA7PUFEPBZN342XA/action/citation_signature","submit_replication":"https://pith.science/pith/4ZRFB6F7BGTA7PUFEPBZN342XA/action/replication_record"}},"created_at":"2026-05-17T23:42:07.014869+00:00","updated_at":"2026-05-17T23:42:07.014869+00:00"}