Polymorphism 松散的自然变换只是没有自然性的自然变换吗？_Polymorphism_Category Theory_Parametric Polymorphism - Fatal编程技术网

Warning: file_get_contents(/data/phpspider/zhask/data//catemap/7/sql-server/25.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
Polymorphism 松散的自然变换只是没有自然性的自然变换吗？_Polymorphism_Category Theory_Parametric Polymorphism - Fatal编程技术网

Polymorphism 松散的自然变换只是没有自然性的自然变换吗？

Polymorphism 松散的自然变换只是没有自然性的自然变换吗？,polymorphism,category-theory,parametric-polymorphism,Polymorphism,Category Theory,Parametric Polymorphism,在的第4页中，Philip Wadler说参数可以用松散的自然变换来表示。他指的是函数式编程语言中的参数多态函数是自然转换而没有证明其自然性的事实吗？由于我还没有找到宽松自然变换的合适定义，到目前为止，这是我的想法。不，他不是。他指的是在中描述并在中讨论的松散自然变换的概念他指的是这样一个事实：参数多态函数可以被看作是函子。正是它们的参数性被视为松散的自然转换。基本上，这是从参数多态函数的任何特殊化到任何其他函数的统一方式。它之所以宽松，是因为它不会在鼻子上进行转换（即应用+传输与传输+应用并

在的第4页中，Philip Wadler说参数可以用松散的自然变换来表示。他指的是函数式编程语言中的参数多态函数是自然转换而没有证明其自然性的事实吗？由于我还没有找到宽松自然变换的合适定义，到目前为止，这是我的想法。

不，他不是。他指的是在中描述并在中讨论的松散自然变换的概念

他指的是这样一个事实：参数多态函数可以被看作是函子。正是它们的参数性被视为松散的自然转换。基本上，这是从参数多态函数的任何特殊化到任何其他函数的统一方式。它之所以宽松，是因为它不会在鼻子上进行转换（即应用+传输与传输+应用并不完全相同），但它们取决于给定的2个单元。
您能解释一下如何将参数多态函数视为函子吗？

[sql server]相关文章推荐

随机文章推荐

是否可以将安装后命令添加到CMake生成的顶级Makefile中？ cmake

收集图书馆我使用CMake来构建一个简单的C++项目，以下命名为“强> P cmake

在cmake中，“a”是什么；项目；？ cmake

切换电脑时找不到Clion CMakeLists.txt cmake

Cmake 跨平台数值测试？ cmake

如何在CMake GUI中显示简要说明 cmake

Cmake MSBuild:错误MSB3073命令“setlocal VCEnd”已退出，代码为1 cmake visual-studio-2015 msbuild

CMake：如何安装大量静态文件，但仅在必要时安装？ cmake

cmake查找第三方库之间的库依赖关系 cmake

CMake：在回显文件时取消显示空白 cmake

如何制作CMake软件包？ cmake

cmake：将库添加到所有目标 cmake

Cmake 将DCPU_调度选项传递给theano（禁用调度CPU优化） cmake anaconda

如何限制树莓上cmake的RAM数量？ cmake raspberry-pi

CMake参数通过值传递？参考？还是别的什么？ cmake

CMake到外部库的链接 cmake

Cmake can'；“找不到”；开罗“；与brew一起安装时使用pkg_搜索_模块 cmake

在宏中使用带有CMake的find_包的Qt4时出现问题 cmake qt4

Cmake 如何在本地发布柯南软件包？ cmake

CMake错误：存档_write _finish _entry（）有问题：Can'；t恢复时间 cmake

[module]相关推荐

Module OpenERP学校管理模块
Module Openerp

Module Cmake：包括FindPackageHandleStandardArgs.Cmake
Module Cmake

Module dotnetnuke表单和列表，是否删除/组织行？
Module Dotnetnuke

Module 如何引用play framework第三方模块而不引用绝对路径？
Module Dependencies Playframework

Module Magnolia CMS-用于创建模板的模块创建技术
Module Content Management System

Module Prestashop产品审查模块
Module Prestashop

Module 类型脚本模块
Module Typescript

Module 如何使用自定义查询覆盖产品列表页面
Module Prestashop

Module Corona sdk将值从main.lua传递到外部模块
Module Lua

Module 如何在DNNGO xBlog的文章详细信息页面中添加多个图像？
Module Dotnetnuke

Module Zf2根据加载的模块更改布局
Module Zend Framework2

Module Verilog组合逻辑
Module Verilog

Module 带有TypeScript中模块的RquireJS
Module Requirejs Typescript

Module Verilog模块输出寄存器驱动输出寄存器？
Module Verilog

Module 为什么我的Fortran模块没有使我的索引变量可用？
Module Fortran

Module ocaml模块和程序位于同一文件中
Module Ocaml

Module Linux树外模块构建问题
Module Makefile Linux Kernel

Module ocaml构造模块（超级初学者）
Module Ocaml

Module 这是在Lua中制作模块的正确方法吗？
Module Lua

Module 如何从子模块中的结构访问专用字段？
Module Rust

Module 有没有办法获取fortran.mod文件中包含的符号？
Module Fortran

Tags

Ide Sap Modelica Oracle Dart Localization Keycloak Single Sign On Oauth 2.0 Racket Com Jpa .net 4.0 Zsh Iis 7 Omnet++ Clojure Plsql Serialization Jupyter Notebook Nservicebus Lucene Linq Blazor Razor Visual C++ Xaml Amazon Cloudformation Mdx Command Line Ms Office Animation Lambda Crystal Reports Twitter Bootstrap Telerik Performance Wso2 Grafana Sprite Kit Iphone Php Facebook Encoding Oracle11g Ipad Mercurial Artificial Intelligence Stream Image Editor Camera Ssis Nosql Linq To Sql Openssl Gdb Webstorm Vector Sql Server 2012 Wpf Java Julia Opencl Emacs Io Netlogo Authentication Process Xna Snowflake Cloud Data Platform Spring Batch Regex Codenameone Postman Apache Flink Ssas Puppet Openerp Coq Node.js Google Plus X86 Log4j Xsd Xmpp Pip Wxpython Google Chrome Extension Powerbi Llvm Big O Asp.net Mvc Matrix Vaadin Aframe Apache Smalltalk Sql Server 2008 Qt Matlab Login Virtual Machine Google Maps Api 3 Cuda Elm Fullcalendar Project Management Time Jquery Plugins Tableau Api Scala Ethereum Next.js Neo4j Outlook Download Arrays Jasper Reports Windows Store Apps Ckeditor Python 3.x Salesforce Drop Down Menu Atom Editor Cordova Url Extjs Opencart Asp Classic Compression C Gmail Amazon S3 Module Jwt Hbase Jvm Glassfish Websocket Ms Word Ios7 Swiftui Xamarin.forms Inno Setup Windows Phone 7 Mod Rewrite Awk Time Complexity Jersey Internet Explorer Pine Script Log4net Raspberry Pi Mapbox Intellij Idea Discord Vba Appium C++ Shopify Internet Explorer 8 Shiny User Interface Winapi Post Spring Cloud Office Js Fiware Pascal Sharepoint 2010 Gstreamer C# 3.0 Button Processing Boost Docker Compose Mule Asp.net Mvc 2 Scikit Learn Plone Gis Coldfusion Teradata Azure Cosmosdb Javafx Windows 7 Deep Learning Octave Gwt Struts2 Sql Server 2008 R2 Video Select Amazon Ec2 Transactions Laravel 5 Passwords Sml Embedded Path

Copyright © 2024. All Rights Reserved by - Fatal编程技术网