Code Monkey home page Code Monkey logo

zones's Introduction

Zones (archived)

This project includes a tiny functional effect system, which has since been overhauled and implemented within the Capi repo. See paritytech/capi#454.

zones's People

Contributors

harrysolovay avatar kratico avatar

Stargazers

 avatar  avatar

Watchers

 avatar  avatar  avatar  avatar

zones's Issues

Applied `V` Should Inform `T` and `E`

This is a tricky one. Let's say we have the following placeholder and effect.

const p_ = Symbol();
const p = Z._<string | number | boolean>()(p_);

const root = Z.call(p, (pr) => {
  return pr;
});

Here, root will have a type of Effect<string | number | boolean, never, typeof p_>.

When we finally apply p...

const result = Z.runtime()(root, (_) => _(p.a("HELLO")));

... we know that result is of type string (not a number nor boolean). How might we tackle this narrowing?

Re-introduce Placeholder System

Ideally, we'll be able to apply to any effect (and have it scoped to that subtree).

const n_ = Symbol();
const n = Z._<number>(n_);

const squared = Z.call(n, (n) => {
  return n * n;
});

const applied = squared.apply(n, 2);

const result = applied.run();

Method For Attaching Methods to Effects

Something along the lines of...

export function metadata<Rest extends [blockHash?: Z.$<U.HexHash | undefined>]>(
  config: Config,
  ...[blockHash]: [...Rest]
) {
  return Z.call(
    rpcCall(config, "state_getMetadata", [blockHash]),
    function metadataImpl(call) {
      try {
        return M.fromPrefixedHex(call.result);
      } catch (e) {
        return e as $.CodecError;
      }
    },
  ).attachMethods({
    pallet<PalletName extends Z.$<string>>(palletName: PalletName) {
      return palletMetadata(this, palletName);
    }
  });
}

In Effect, perhaps this method would look as follows:

attachMethods = <Methods extends Record<PropertyKey, (...rest: any[]) => unknown>>(
  methods: Methods & ThisType<Methods & this>,
): this & Methods => {
  return {
    ...this,
    ...methods,
  };
};

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    ๐Ÿ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. ๐Ÿ“Š๐Ÿ“ˆ๐ŸŽ‰

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google โค๏ธ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.