{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:MI2NW3HJ4OFFFI4VEQB3DVD5FH","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":"224723b320a4014287412e0322079b6f070e3d6b4d25ef69a94d9b56c45eae0b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-04-13T03:04:17Z","title_canon_sha256":"d20b67a868c7d688948bed5b368af201d2364da70fc125af1397f9160b518fb4"},"schema_version":"1.0","source":{"id":"1604.03641","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1604.03641","created_at":"2026-05-18T01:17:12Z"},{"alias_kind":"arxiv_version","alias_value":"1604.03641v1","created_at":"2026-05-18T01:17:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1604.03641","created_at":"2026-05-18T01:17:12Z"},{"alias_kind":"pith_short_12","alias_value":"MI2NW3HJ4OFF","created_at":"2026-05-18T12:30:32Z"},{"alias_kind":"pith_short_16","alias_value":"MI2NW3HJ4OFFFI4V","created_at":"2026-05-18T12:30:32Z"},{"alias_kind":"pith_short_8","alias_value":"MI2NW3HJ","created_at":"2026-05-18T12:30:32Z"}],"graph_snapshots":[{"event_id":"sha256:bd27879a86366c4dcbc4ce239055e6208ba338554396df1915a2008b082d593a","target":"graph","created_at":"2026-05-18T01:17:12Z","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":"Dynamic languages such as Ruby, Python, and JavaScript have many compelling benefits, but the lack of static types means subtle errors can remain latent in code for a long time. While many researchers have developed various systems to bring some of the benefits of static types to dynamic languages, prior approaches have trouble dealing with metaprogramming, which generates code as the program executes. In this paper, we propose Hummingbird, a new system that uses a novel technique, just-in-time static type checking, to type check Ruby code even in the presence of metaprogramming. In Hummingbir","authors_text":"Brianna M. Ren, Jeffrey S. Foster","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-04-13T03:04:17Z","title":"Just-in-Time Static Type Checking for Dynamic Languages"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1604.03641","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:32f37bad42d680d2957cb90e7190bc730bc910532ba2ce2b922dec28d97d4029","target":"record","created_at":"2026-05-18T01:17:12Z","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":"224723b320a4014287412e0322079b6f070e3d6b4d25ef69a94d9b56c45eae0b","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-04-13T03:04:17Z","title_canon_sha256":"d20b67a868c7d688948bed5b368af201d2364da70fc125af1397f9160b518fb4"},"schema_version":"1.0","source":{"id":"1604.03641","kind":"arxiv","version":1}},"canonical_sha256":"6234db6ce9e38a52a3952403b1d47d29e12d979ed1f33b91add6af78bcafc1bc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6234db6ce9e38a52a3952403b1d47d29e12d979ed1f33b91add6af78bcafc1bc","first_computed_at":"2026-05-18T01:17:12.100694Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:17:12.100694Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"xxuMkPMteTtOg9RUf3SLXWl9ktaYd2UsjA2wxVUtumNKY9UHYTD1dC5byZf33O1+Xaadg5RmoLcwzJ8ghA6MDA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:17:12.101274Z","signed_message":"canonical_sha256_bytes"},"source_id":"1604.03641","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:32f37bad42d680d2957cb90e7190bc730bc910532ba2ce2b922dec28d97d4029","sha256:bd27879a86366c4dcbc4ce239055e6208ba338554396df1915a2008b082d593a"],"state_sha256":"ef20eebb6d04fc97d2f795e1ab38532b38e968769865ebbbb591da9b1cd19d44"}