{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:4ZRFB6F7BGTA7PUFEPBZN342XA","short_pith_number":"pith:4ZRFB6F7","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"},"canonical_sha256":"e66250f8bf09a60fbe8523c396ef9ab81eee2ea32b7cb829b3e20323408ec94b","source":{"kind":"arxiv","id":"1906.11450","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1906.11450","created_at":"2026-05-17T23:42:07Z"},{"alias_kind":"arxiv_version","alias_value":"1906.11450v1","created_at":"2026-05-17T23:42:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1906.11450","created_at":"2026-05-17T23:42:07Z"},{"alias_kind":"pith_short_12","alias_value":"4ZRFB6F7BGTA","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_16","alias_value":"4ZRFB6F7BGTA7PUF","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_8","alias_value":"4ZRFB6F7","created_at":"2026-05-18T12:33:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:4ZRFB6F7BGTA7PUFEPBZN342XA","target":"record","payload":{"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"},"canonical_sha256":"e66250f8bf09a60fbe8523c396ef9ab81eee2ea32b7cb829b3e20323408ec94b","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"},"source_kind":"arxiv","source_id":"1906.11450","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-17T23:42:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uQX5tdorIRAeqwa7HvN3xijypjCgXlnK83MGYg9hnDu0eRFavMYOS23cyZUyrHIddJM5RJ0m31yZHlXkpbLKAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T21:17:44.156818Z"},"content_sha256":"ff9d2dc56d6e2c99b861970389e8eb46dc73454e1a77db86124b2b1758d35265","schema_version":"1.0","event_id":"sha256:ff9d2dc56d6e2c99b861970389e8eb46dc73454e1a77db86124b2b1758d35265"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:4ZRFB6F7BGTA7PUFEPBZN342XA","target":"graph","payload":{"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-17T23:42:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mzWR8kmw1Stwn9lMeZidHY++j+hqEAlwkKRS083ZwrXW4lHWcsXRE2VVEXmzuRr81CihVX9b0/GDUd16BVesBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T21:17:44.157499Z"},"content_sha256":"9ec8c53e0d1816842273db815e98c50ebcd540bc2747db06822c2d36d04e8c67","schema_version":"1.0","event_id":"sha256:9ec8c53e0d1816842273db815e98c50ebcd540bc2747db06822c2d36d04e8c67"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4ZRFB6F7BGTA7PUFEPBZN342XA/bundle.json","state_url":"https://pith.science/pith/4ZRFB6F7BGTA7PUFEPBZN342XA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4ZRFB6F7BGTA7PUFEPBZN342XA/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-11T21:17:44Z","links":{"resolver":"https://pith.science/pith/4ZRFB6F7BGTA7PUFEPBZN342XA","bundle":"https://pith.science/pith/4ZRFB6F7BGTA7PUFEPBZN342XA/bundle.json","state":"https://pith.science/pith/4ZRFB6F7BGTA7PUFEPBZN342XA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4ZRFB6F7BGTA7PUFEPBZN342XA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:4ZRFB6F7BGTA7PUFEPBZN342XA","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"4c2770e90c3aad19db66407a3cbf7c8fb86ef18d5285878adbcdea14c0700a94","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-06-27T06:23:20Z","title_canon_sha256":"6fd82de69a1856b99d782a2c6289affa67a0460698d3dd2931d3ed90a96e9e19"},"schema_version":"1.0","source":{"id":"1906.11450","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1906.11450","created_at":"2026-05-17T23:42:07Z"},{"alias_kind":"arxiv_version","alias_value":"1906.11450v1","created_at":"2026-05-17T23:42:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1906.11450","created_at":"2026-05-17T23:42:07Z"},{"alias_kind":"pith_short_12","alias_value":"4ZRFB6F7BGTA","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_16","alias_value":"4ZRFB6F7BGTA7PUF","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_8","alias_value":"4ZRFB6F7","created_at":"2026-05-18T12:33:10Z"}],"graph_snapshots":[{"event_id":"sha256:9ec8c53e0d1816842273db815e98c50ebcd540bc2747db06822c2d36d04e8c67","target":"graph","created_at":"2026-05-17T23:42:07Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"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","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)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-06-27T06:23:20Z","title":"Investigating Compilation Errors of Students Learning Haskell"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1906.11450","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:ff9d2dc56d6e2c99b861970389e8eb46dc73454e1a77db86124b2b1758d35265","target":"record","created_at":"2026-05-17T23:42:07Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"4c2770e90c3aad19db66407a3cbf7c8fb86ef18d5285878adbcdea14c0700a94","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-06-27T06:23:20Z","title_canon_sha256":"6fd82de69a1856b99d782a2c6289affa67a0460698d3dd2931d3ed90a96e9e19"},"schema_version":"1.0","source":{"id":"1906.11450","kind":"arxiv","version":1}},"canonical_sha256":"e66250f8bf09a60fbe8523c396ef9ab81eee2ea32b7cb829b3e20323408ec94b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e66250f8bf09a60fbe8523c396ef9ab81eee2ea32b7cb829b3e20323408ec94b","first_computed_at":"2026-05-17T23:42:07.014733Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:42:07.014733Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"8eEVXgydNm7dBnSj3Zc2YUac5xMSo5qjfWCd3QHmUh3ixWzkQQP5nTgiOv+uDIjTyBGG8ADCSI3EFJJGZfuJBg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:42:07.015467Z","signed_message":"canonical_sha256_bytes"},"source_id":"1906.11450","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ff9d2dc56d6e2c99b861970389e8eb46dc73454e1a77db86124b2b1758d35265","sha256:9ec8c53e0d1816842273db815e98c50ebcd540bc2747db06822c2d36d04e8c67"],"state_sha256":"978662ea805765c53fa038ce3a28c5fddc627079bddc2acd6aeef5b31501fd69"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"y+4Y9Q535roH6+fylTZTGevUIIN26ym1R+WDFSSwaoILRneXAusJVWaM3HmOccPqsgqMAtBq957ZyhAnvc5ZCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-11T21:17:44.161561Z","bundle_sha256":"ae046aa99a1fb0676f98dc20e0010ae98776237055ceb5f934c52e1333d0f742"}}