Vitalii Akimov

@vitalii_akimov

Trying to simplify JavaScript programming using EffectfulJS

Kharkiv, Ukraine
Vrijeme pridruživanja: veljača 2018.

Tweetovi

Blokirali ste korisnika/cu @vitalii_akimov

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @vitalii_akimov

  1. Prikvačeni tweet
    11. lip 2019.

    Going back in time to change the present. A new debugger with time traveling will be available soon for any application on any platform. Here is a example.

    Poništi
  2. 27. sij

    I wish cloud providers/tools also utilize for their configs like 2 does, this would significantly reduce their size and improve readability

    Poništi
  3. 5. sij

    Oleg’s comment(from 2007) about first class delimited continuations now is transformed into algebraic effects are better than monads

    Poništi
  4. proslijedio/la je Tweet
    15. pro 2019.

    Liberatii has been recently featured in Southampton Science Park magazine as part of their catalyst program.

    Poništi
  5. 18. stu 2019.
    Prikaži ovu nit
    Poništi
  6. 18. stu 2019.

    the essence of Concurrent Mode is providing access to renderer continuations, all the new functions it provides can be defined as one-liners using only shift/reset

    Poništi
  7. 18. stu 2019.

    this means if we have monadic/applicative syntax we don’t need components, hooks, suspense, context, concurent mode and even VDOM can be avoided

    Prikaži ovu nit
    Poništi
  8. proslijedio/la je Tweet
    17. stu 2019.

    First optimization was easy, but very effective: Use mutable vectors, not immutable ones:

    Prikaži ovu nit
    Poništi
  9. 30. lis 2019.
    Poništi
  10. 29. lis 2019.

    in FP at least since 2002 - the first paper I know

    Poništi
  11. 25. lis 2019.

    I forgot how painful it was to use only callbacks for async code - working on unit tests for the debugger now, the runtime is monkey-patched, so no way to use promises

    Poništi
  12. 24. lis 2019.

    I suppose this means Prepack has failed, this is sad, I need such tool for my dream toolset

    Poništi
  13. 23. lis 2019.

    effectfuljs is like flapjax compiler but with abstract APIs

    Poništi
  14. proslijedio/la je Tweet
    14. lis 2019.

    Effect handlers, monadic reflection, and delimited control are three different abstractions for effects. Forster et al. give a meta-theoretic study of their relative expressivity in a recent JFP article: (cc & )

    Poništi
  15. 4. lis 2019.

    this is nice, another way to mix Monadic-do(generators) and Applicative-do(React Hooks), this is still not commutative though, needs a transpiler to achieve the full power of the abstract concepts

    Poništi
  16. proslijedio/la je Tweet
    26. tra 2019.

    Liberatii team at Microsoft ignite | the tour in Stockholm (24-25 April).

    Poništi
  17. proslijedio/la je Tweet
    13. ruj 2019.
    Odgovor korisniku/ci

    EffectfulJS doesn't change Promise runtime to keep the impact minimal, but such implementing such propagation is just a matter of `finally` clause (this can be monkey-patched into runtime):

    Poništi
  18. 3. ruj 2019.

    Effectful.JS has already both operators overloading and continuations, and it is simple to build a partial evaluator using Normalization by Evaluation as a library.

    Prikaži ovu nit
    Poništi
  19. 3. ruj 2019.

    This also duplicates common residual sub-expressions, and it cannot handle residual branching. These (along with many other things) require access to continuations (not available in JS though).

    Prikaži ovu nit
    Poništi
  20. 3. ruj 2019.

    The demo works only for a small subset of JS (no side effects, plain objects and functions only, etc). To support the whole JS we need operators overloading (we have overloaded function's calls and properties access(Proxies), but not, say, arithmetic expressions). And...

    Prikaži ovu nit
    Poništi
  21. 3. ruj 2019.

    This doesn't require the original function's source code, the program just runs on the current JS engine as is. But it produces residual sources text instead of its resulting value if it depends on yet unknown (abstract) values.

    Prikaži ovu nit
    Poništi

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·