Link Checker from Principles of Reactive Programming