DÚ: mobil

Mobil je definovaný rekurzivně: buď je to závaží dané hmotnosti, nebo jde o (rovné) zavěšené rameno s danými délkami na obě strany kde na koncích jsou zavěšené dané mobily. Hmotnosti závěsů a ramen zanedbáváme.

  1. Definujte rozumný typ Mobil reprezentující libovolný mobil (0.5 bodu).
  1. Napište funkci vyvazeny která zjistí zda je mobil vyvážený, tedy zda v každém bodě závěsu platí momentová věta. Bodování 1.5 bodu za lineární řešení, jen 0.5 za exponenciální.