{"id":"W2889230297","doi":"10.1109/ccece.2018.8447584","title":"Maybe and Either Monads in Plain C++ 17","year":2018,"lang":"en","type":"article","venue":"","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Ontario Tech University","funders":"","keywords":"Functional programming; Programming language; Metaprogramming; Computer science; Simple (philosophy); Programming paradigm; Functional approach; Functional specification; Theoretical computer science; Software; Software development","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0002150088,0.00005719387,0.00007166555,0.0000434615,0.00003905763,0.00008674956,0.0002303859,0.00003776362,0.0000423999],"category_scores_gemma":[0.000007258544,0.00004096948,0.00001092915,0.000130961,0.00004551054,0.0001333548,0.0001056531,0.00003618174,0.0001155401],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000088288,"about_ca_system_score_gemma":0.00001222679,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003939366,"about_ca_topic_score_gemma":0.0002511041,"domain_scores_codex":[0.999457,0.00002478227,0.00008906188,0.0001882256,0.00008344384,0.0001574883],"domain_scores_gemma":[0.9996967,0.00001785547,0.00001924159,0.0002051576,0.00001876824,0.00004229064],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000002275707,0.00002920195,0.01083755,0.000005717588,0.000004576807,0.00001449589,0.002538767,3.655867e-7,0.00008800184,0.9263945,0.004857764,0.05522679],"study_design_scores_gemma":[0.001596761,0.0007634878,0.06976993,0.000008905142,0.000004269235,0.0001040718,0.000612507,0.03479676,0.002384221,0.2075842,0.681622,0.0007528529],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0401408,0.0002408306,0.617175,0.0009142614,0.0005225834,0.0002447375,1.301806e-7,0.0002322418,0.3405294],"genre_scores_gemma":[0.9893262,0.000002072915,0.003330785,0.0002782875,0.00007855918,0.000005118772,1.56714e-7,0.00000291819,0.006975927],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9491854,"threshold_uncertainty_score":0.1670687,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01987894503734824,"score_gpt":0.2453397872660132,"score_spread":0.2254608422286649,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}