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

agrafix

·4년 전·discuss

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

agrafix

·4년 전·discuss

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

agrafix

·5년 전·discuss

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.

agrafix

·5년 전·discuss

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

agrafix

·6년 전·discuss

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.

agrafix

·6년 전·discuss

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

agrafix

·6년 전·discuss

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

agrafix

·6년 전·discuss

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

agrafix

·6년 전·discuss

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