1. Forum
  2. Newsgroups
  3. comp.std.c

  • Templates for C

    From Jefferson Carpenter@jeffersoncarpenter2@gmail.com to comp.std.c on Thu Mar 18 14:18:42 2021
    From Newsgroup: comp.std.c

    With respect to keeping the language small and simple (C2x charter 6c and 11) this of course adds a feature. It allows higher-order type rules (Forall types X, T<X> is a type) which adds to C the remaining part of the negative fragment of natural deduction for minimal logic [1], implications being function types and conjunctions implemented by struct types.
    [1] https://lipn.univ-paris13.fr/~mazza/teaching/ProofTheoryNotes.pdf
    --- Synchronet 3.18c-Linux NewsLink 1.113
  • From Philipp Klaus Krause@pkk@spth.de to comp.std.c on Fri Mar 19 07:02:33 2021
    From Newsgroup: comp.std.c

    Am 18.03.21 um 22:18 schrieb Jefferson Carpenter:
    With respect to keeping the language small and simple (C2x charter 6c
    and 11) this of course adds a feature. It allows higher-order type
    rules (Forall types X, T<X> is a type) which adds to C the remaining
    part of the negative fragment of natural deduction for minimal logic
    [1], implications being function types and conjunctions implemented
    by struct types.

    [1]
    https://lipn.univ-paris13.fr/~mazza/teaching/ProofTheoryNotes.pdf


    You probably want tohave a lok at the WG14 proposals by Jens Gustedt.
    It is a series of N papers building on each other. If all are accepted,
    that would give you these features (via C++-style auto and lambda).
    --- Synchronet 3.18c-Linux NewsLink 1.113