platonic

By elcritch
Add to my DEV experience Suggest topics
Source Code
Suggest alternative
Edit details
Power Real-Time Data Analytics at Scale
Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
www.influxdata.com
featured

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.
Suggest an alternative to platonic

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 | news.ycombinator.com | 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.

    1: https://github.com/elcritch/platonic

Stats

Basic platonic repo stats
1
6
7.1
11 months ago

The primary programming language of platonic is Nim.

Popular Comparisons

  1. platonic VS Nim
  2. platonic VS cps
  3. platonic VS langserver
  4. platonic VS nimlsp
  5. platonic VS coc-ccls

Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com