论文部分内容阅读
函数式语言更注重问题描述,因此其有更高的编程效率。范畴论作为抽象模型,其由对象集和射集构成。然而函数式语言和范畴模型间对应关系并不明确。通过引入假设,证明了函数式语言到范畴论模型抽象的一般过程,在此基础上并讨论了其对应的性质。
函数式语言范畴描述研究
【摘 要】
：
函数式语言更注重问题描述,因此其有更高的编程效率。范畴论作为抽象模型,其由对象集和射集构成。然而函数式语言和范畴模型间对应关系并不明确。通过引入假设,证明了函数式
【机 构】
：
江西省科学院应用物理研究所
【出 处】
：
江西科学
【发表日期】
：
2015年5期
其他文献
Collision between the Indian and Eurasian plates formed the ~2500 km long Yarlung Zangbo Suture Zone and produced the Himalaya mountains and Tibetan plateau.Her
将讨论下列含贝塞尔核积分方程组正解的对称性,即：u（x）=∫RN^Gα（x-y）vq（y）/｜x｜^β｜y｜^τdy,v（x）=∫RN^Gα（x-y）u^p（y）/｜x｜^τ｜y｜^βdy（1）其中x∈RN,Gα（x）是带α-指标的贝塞尔势能核,0≤β,τ,β＋τ〈
4MHz、600mATPS81256模块支持5V输出与400mW／mm。功率密度。该器件可在轻负载工作情况下将电源电流降至43μA，延长电池使用寿命。此外，TPS81256还可通过2．5～5．5V的输入电压实现超过