我有一个数据结构(它是玫瑰树的一个特定子类,它形成一个具有最大下界和最低上界函数的格),它支持两个完全合理的函数作为Monoid类的mappend。在这种情况下,我应该考虑使用诸如Template-Haskell之类的东西来为我生成类型类吗?我想要的是一个让我动态创建实例的makeMonoid :: (RT a -> RT a -> RT a) -> Monoid a,但我理解这与我所理解的股票类型系统是不一致的。
当涉及到MATLAB时,我是一个初学者,我试图用指南针来绘制一组点,同时按住这幅图。问题是,例如,当我绘制第一个点,然后再绘制一个“很远”的点时,指南针轴就不会被更新。有没有一种方法来调整轴的大小,这样我就可以得到第二个点在框架上?compass(1,2);compass(40,50);%that point is out of the frame and I can't see the whole arrow