By elcritch

Platonic Alternatives

Similar projects and alternatives to platonic

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better platonic alternative or higher similarity.

platonic reviews and mentions

Posts with mentions or reviews of platonic. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-09-30.
  • NIR: Nim Intermediate Representation
    9 projects | | 30 Sep 2023
    > Ya I don't think this is a good definition of dependent type - the prototypical example of a dependent type is a k-length vector.

    Yah that's why I qualified my statement as dependent type like setup as I don't know a good definition of dependent types which I really grok and I've only briefly dabbled in it. It'd be awesome if you could point out a good resource showing a clear example / simple proof.

    Well I started working on statically typed vector concepts [1]. The compiler can't do `proc concat[N,M: static int](v1: Vector[N], v2: Vector[M}): Vector[N+M]` and it fails. It might be able to be implemented via a macro like `proc concat(v1: Vector[N], v2: Vector[M}): typeFromSumOf(N,M)`, but I haven't tried yet.

    Also just using static ints would require specific values at some point to work I think. Whereas you'd really want "induction" of some sort. Maybe a SAT solver would be required at that point? There's DrNim [2] which does tie Z3 but it's sorta dormant.

    > Um yes this is literally what I was asking with respect to top ⊤.

    Ah, I didn't know what you meant by top T.

    > ya the negation is interesting - I wonder how it's implemented.

    Nim's VM runs from Nim AST, so probably running it as a VM expression.



Basic platonic repo stats
11 months ago

The primary programming language of platonic is Nim.

SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives