MKL
셋,three
CMP
트리플렛,triplet
Sub:
Kleisli_triple
=,Kleisli_triple =,Kleisli_triple . Kleisli_triple
{
Kleisli triple
MKL
extension_system
=,extension_system =,extension_system . extension_system
{
extension system
확대|확장... 계|체계|...
extension -
확장,extension
익스텐션,extension
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
https://ncatlab.org/nlab/show/Kleisli triple
}// Kleisli triple ...
Kleisli triple
Kleisli triple
Kleisli triple
트리플
/
싱글,_더블,_트리플
트리플
Retrieved from http://red-ruby.com/wiki/wiki.php/트리플,triple
last modified 2024-07-05 03:09:12