MKL
extension_system =,extension_system =,extension_system . extension_system
{
extension system
확대|확장... 계|체계|...
extension_system =,extension_system =,extension_system . extension_system
{
extension system
확대|확장... 계|체계|...
extension - 확장,extension 익스텐션,extension
system - 시스템,system 체계,system 계,system
모나드,monad
Eugenio_Moggi
system - 시스템,system 체계,system 계,system
모나드,monad
Eugenio_Moggi
https://ncatlab.org/nlab/show/extension system
}// extension system ...
extension system
extension system .....하면 너무 일반적인 동떨어진 것만....//
extension system moggi
extension system moggi
}// extension system ...
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
![Bing: Bing:](/wiki/imgs/interwiki/bing-16.png)
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
![Bing: Bing:](/wiki/imgs/interwiki/bing-16.png)
https://ncatlab.org/nlab/show/Kleisli triple
}// Kleisli triple ...
Kleisli triple
Kleisli triple
Kleisli triple
}// Kleisli triple ...
![Naver: Naver:](/wiki/imgs/interwiki/naver-16.png)
![Bing: Bing:](/wiki/imgs/interwiki/bing-16.png)
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)