{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:XF2ABP7WW7K77AM7B7KQLQ2A6O","short_pith_number":"pith:XF2ABP7W","schema_version":"1.0","canonical_sha256":"b97400bff6b7d5ff819f0fd505c340f3b0f5827001e33246a1912ba98ff8142f","source":{"kind":"arxiv","id":"2303.12254","version":1},"attestation_state":"computed","paper":{"title":"Practical compilation of fexprs using partial evaluation: Fexprs can performantly replace macros in purely-functional Lisp","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Nathan Braswell, Santosh Pande, Sharjeel Khan","submitted_at":"2023-03-22T01:45:03Z","abstract_excerpt":"Macros are a common part of Lisp languages, and one of their most lauded features. Much research has gone into making macros both safer and more powerful resulting in developments in multiple areas, including maintaining hygiene, and typed program staging. However, macros do suffer from various downsides, including being second-class. Particularly egregious for eager functional programming, they are unable to be passed to higher-order functions or freely composed. Fexprs, as reformulated by John Shutt, provide a first-class and more powerful alternative to macros that meshes well with pure fun"},"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":"2303.12254","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2023-03-22T01:45:03Z","cross_cats_sorted":[],"title_canon_sha256":"44a20088982f589850313a89c13e52603e519ed7d559cbeb4c5e3c0a1e28752b","abstract_canon_sha256":"9dd2fc04e46dc66221f145d636d4a139615eed1698e4778067ae26fe2cd63286"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:53:39.088132Z","signature_b64":"+16mF66+z5CJ56JoPGirLAJeDuyUaIawFkXxcLXpj0De87aI/s9Z9sKDwsr68hwp5CUbBYVNRKKmgtUGJ1CYAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b97400bff6b7d5ff819f0fd505c340f3b0f5827001e33246a1912ba98ff8142f","last_reissued_at":"2026-07-05T05:53:39.087792Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:53:39.087792Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Practical compilation of fexprs using partial evaluation: Fexprs can performantly replace macros in purely-functional Lisp","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Nathan Braswell, Santosh Pande, Sharjeel Khan","submitted_at":"2023-03-22T01:45:03Z","abstract_excerpt":"Macros are a common part of Lisp languages, and one of their most lauded features. Much research has gone into making macros both safer and more powerful resulting in developments in multiple areas, including maintaining hygiene, and typed program staging. However, macros do suffer from various downsides, including being second-class. Particularly egregious for eager functional programming, they are unable to be passed to higher-order functions or freely composed. Fexprs, as reformulated by John Shutt, provide a first-class and more powerful alternative to macros that meshes well with pure fun"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2303.12254","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2303.12254/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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":"2303.12254","created_at":"2026-07-05T05:53:39.087848+00:00"},{"alias_kind":"arxiv_version","alias_value":"2303.12254v1","created_at":"2026-07-05T05:53:39.087848+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2303.12254","created_at":"2026-07-05T05:53:39.087848+00:00"},{"alias_kind":"pith_short_12","alias_value":"XF2ABP7WW7K7","created_at":"2026-07-05T05:53:39.087848+00:00"},{"alias_kind":"pith_short_16","alias_value":"XF2ABP7WW7K77AM7","created_at":"2026-07-05T05:53:39.087848+00:00"},{"alias_kind":"pith_short_8","alias_value":"XF2ABP7W","created_at":"2026-07-05T05:53:39.087848+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/XF2ABP7WW7K77AM7B7KQLQ2A6O","json":"https://pith.science/pith/XF2ABP7WW7K77AM7B7KQLQ2A6O.json","graph_json":"https://pith.science/api/pith-number/XF2ABP7WW7K77AM7B7KQLQ2A6O/graph.json","events_json":"https://pith.science/api/pith-number/XF2ABP7WW7K77AM7B7KQLQ2A6O/events.json","paper":"https://pith.science/paper/XF2ABP7W"},"agent_actions":{"view_html":"https://pith.science/pith/XF2ABP7WW7K77AM7B7KQLQ2A6O","download_json":"https://pith.science/pith/XF2ABP7WW7K77AM7B7KQLQ2A6O.json","view_paper":"https://pith.science/paper/XF2ABP7W","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2303.12254&json=true","fetch_graph":"https://pith.science/api/pith-number/XF2ABP7WW7K77AM7B7KQLQ2A6O/graph.json","fetch_events":"https://pith.science/api/pith-number/XF2ABP7WW7K77AM7B7KQLQ2A6O/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/XF2ABP7WW7K77AM7B7KQLQ2A6O/action/timestamp_anchor","attest_storage":"https://pith.science/pith/XF2ABP7WW7K77AM7B7KQLQ2A6O/action/storage_attestation","attest_author":"https://pith.science/pith/XF2ABP7WW7K77AM7B7KQLQ2A6O/action/author_attestation","sign_citation":"https://pith.science/pith/XF2ABP7WW7K77AM7B7KQLQ2A6O/action/citation_signature","submit_replication":"https://pith.science/pith/XF2ABP7WW7K77AM7B7KQLQ2A6O/action/replication_record"}},"created_at":"2026-07-05T05:53:39.087848+00:00","updated_at":"2026-07-05T05:53:39.087848+00:00"}