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 yıl önce·discuss

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

agrafix

·4 yıl önce·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 yıl önce·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 yıl önce·discuss

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

agrafix

·6 yıl önce·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 yıl önce·discuss

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