agrafix

you can type check this in static languages too if the type system supports structural typing [0]

[0] https://en.wikipedia.org/wiki/Structural_type_system

This is really cool, the missing functionality that I haven't added to https://supportpage.io/ yet :p

Usually I’ve seen it defined as that the intended effect happens at most once. e.g. see https://developer.mozilla.org/en-US/docs/Glossary/Idempotent

I wrote something similar a while ago https://github.com/agrafix/grabcite — I was surprised how far you could get with just heuristics. The nice thing is that many academic papers are also available with their LaTeX source which avoids a lot of the structure guessing from PDFs.

Hmm did they release their April 1 joke too early by mistake?

Shameless plug: I’ve built https://board.new to help with ad-hoc collaborative whiteboarding. One thing I’ve found using more sophisticated tools was that folks spent too much time making it look nice vs discussing the content. Hence this tool that doesn’t distract with that.

That said, mermaid looks pretty nice —- going to try that out for my design documents once settled on an approach.

That’s cool — I’ve built something similar in the past: https://github.com/typed-wire/typed-wire

Shameless plug: we built https://board.new with “hold shift to draw” which makes drawing with a mouse much easier.

It's certainly related -- not sure what kinds if specialisation the new ruby JIT does.

I think it's possible, mostly didn't go down that route to keep things as simple as possible at first.

We noticed that most whiteboarding apps out there over-focused on perfect diagrams, so a lot of time in meetings is lost due to rearranging boxes and arrows. Hence, we built https://letsboard.co - a very simple collaborative whiteboarding tool and are using it daily now.

One of the things that has bitten me before was the maximum allowed nesting depth - this was different in two implementations, so one rejected the payload while the other one parsed it fine :(

This motivated me to hack together a Haskell implementation, but with a little better error handling :) https://github.com/agrafix/micro-lisp

The + operator is not an explicit numeric conversion. What numeric type is it converting to? In Python you can also combine two lists using the + operator.

Haskell for example requires to be explicit about this:

    y = (read "5" :: Int) + 5

Write a browser game, put it online and play it with friends. At least that's what I did ( https://github.com/agrafix/managerslife ), it was very fun and rewarding, and I learned a lot!

You can for example prevent "runtime" bugs due to combining layers/vectors/matrixes of the wrong dimensions.

If you're into functional programming (Haskell + PureScript), I know that UnionizeMe [1] is looking for volunteers.

[1] https://unionize.me/get-involved

What was/is the product/company called if i may ask?

Btw you can get "if then else" at AST level using RebindableSyntax [1], but pattern matching (case...) will still allow the end-user to "side step" this.

[1]: https://downloads.haskell.org/~ghc/8.0.1/docs/html/users_gui...