Рассуждение о функциях, осматривая их тип подписи [закрыто] -- function поле с участием haskell поле с участием types поле с участием functional-programming поле с участием type-signature пол Связанный проблема

Reasoning about functions by examining their type signatures [closed]


2
vote

проблема

русский
<в сторону CLASS = "S-NEWACTS S-WELTIVE__info JS-Post-New Imide MB16« Роль = «Статус»>
закрыт . Этот вопрос должен быть больше Фокусированный . В настоящее время он не принимает ответы.

<Путь d = "M15 6.38A6.48 6.48 0 007.78. 04H-.02A6.49 6.49 0 002.05 5.6A6.31 6.31 0 002.39 5.75C.49.39.76.93.76 1.5V.24C0 1.07.89 1.9 1.92 1.92.75C1.04 0 1.92-.83 1.92-1.9v-. 2C0-.6.26-1.15.7-1.6.26-1.15.7-1.48A6.32 6.32 0 0015 6.37ZM4.03 5.85A4.49 4.49 0 018 2.02A4.48 4,48 0 015 4.36 4.3 4,3 0 01-1.72 3.44C-01-1.74-1.5 1.9- 1.5 3.08V.1H7.2V-.14C0-1.23-.6-2.34-1.3-1.32.32-1.53-3.07A4.32.32.32 0 01-1.64-3.94ZM10 18A1 1 0 000-2х7А1 1 0 100 2H3Z ">

Хотите улучшить этот вопрос? Обновите вопрос, так что оно фокусируется на одной проблеме только на Редактирование этого поста .

Закрыто 4 года назад .

Улучшить этот вопрос .

Пару лет назад (2011/2012) Я помню, как спотыкается через бумагу или веб-страницу, которая говорила о том, как в чистых функциональных языках, вы можете многое рассказать о том, что функция будет делать только, изучив подпись его типа. К сожалению, после большого гугла, я не наткнулся на него снова. (Частично, потому что я не знаю, какие условия поиска в использовании)

Мой вопрос: сколько информации о функции вы можете вывести из своей подписи типа?

Для массивных очков Брауни: предоставьте некоторые ссылки на внешние ресурсы, которые обсуждают это или связанные с этим вопросы

Пример того, что я ищу: если я помню правильно, функция с подписью типа <код> a -> a должна быть функцией идентификатора.

Английский оригинал

A couple of years ago (2011/2012) I remember stumbling across a paper or a webpage which talked about how in pure functional languages, you can tell a lot about what a function will do just by examining its type signature. Unfortunately after much Googling I haven't stumbled across it again. (Partly because I don't know what search terms to use)

My question is: How much information about a function can you deduce from its type signature?

For massive brownie points: Provide some links to external resources which discuss this or related issues

An example of what I'm looking for: If I remember correctly, a function with the type signature a -> a has to be the identity function.

</div
              
     
     

Список ответов

Связанный проблема

0  Гистограмма с использованием массивов в C ++  ( Histogram using arrays in c ) 
Я пытаюсь использовать массивы от пользовательского ввода, подача в мою функцию гистограммы и сравнивая значения в каждом экземпляре массива, чтобы иметь счет...

0  Как выполнить команду def, не показывая ни одного  ( How to execute def command without showing none ) 
Я пытаюсь сделать функцию запустить другую функцию, а затем просить ввода. Дело в том, что, когда я использую опцию печати, он возвращает <код> None после вы...

1  Как сопоставить две поля электронной почты, где один содержит дружественный адрес электронной почты  ( How to match two email fields where one contains friendly email address ) 
Одна таблица имеет «<код> s1 --1--1--1--| s2 ---2---2---2| r --12-1-21--2| 3 », а другой имеет «код> s1 --1--1--1--| s2 ---2---2---2| r --12-1-21--2| 4 ». С...

57  Вызов функции в jQuery with Click ()  ( Calling a function in jquery with click ) 
в коде ниже, почему Open работа работает, но функция close не делает? <код> $("#closeLink").click("closeIt"); Как вы только что Вызов функция в <К...

1  MySQL Count Rount Функция  ( Mysql count rows function ) 
Я создал простую функцию, которая принимает идентификатор пользователя и показывает общее количество нет. поста пользовательского идентификатора <код> funct...

0  Разъяснение определения функций в MatLab  ( Function definition clarification in matlab ) 
Я написал какой-то код, который работает просто, чтобы оценить тета самостоятельно с некоторым тестовым входом. Однако я хотел бы взять этот код и превратить ...

0  Ошибка с использованием функции в качестве параметра шаблона не типа  ( Error with using a function as a non type template parameter ) 
У меня есть этот шаблон: <код> template <class SourceFormat, class DestFormat, void (*convert)(DestFormat, SourceFormat)> static void _draw(...)...

3  JavaScript не может вызвать нажатие на массив внутри другой функции [дубликат]  ( Javascript cant call push on array inside another function ) 
<в сторону CLASS = "S-NEWACTS S-WELTIVE__info JS-Post-New Imide MB16« Роль = «Статус»> Этот вопрос уже есть ответы здесь : ...

1  FORM_BUTTON () в Codeicigniter  ( Form button in codeigniter ) 
Я просто хочу создать кнопку, как это, используя кнопку form helper (с APOSTROPHE [ ' ]) <код> <button type="button" data-button='{"func": "func1"}'>click...

2  Применить функцию, загружающую ZIP-файлы и удаляет определенные файлы  ( Apply function that downloads zip files and deletes specific files ) 
Я пытаюсь написать функцию и вызовите его, используя <код> apply к каждой строке в моем наборе данных. Набор данных содержит URL ZIP-файлов, которые будут за...

1  Задача C Вопрос управления памятью: Вернуть NSObject Унаследованный тип класса  ( Objective c memory management question return nsobject inherited class type ) 
У меня есть следующая функция, но я не знаю, как выпустить память о временном объекте, определенном объекта: <код> #import <UIKit/UIKit.h> @interface Patie...

0  Определите функцию пользователя, чтобы добавить / вычесть от Tibble  ( Define user function to add subtract from tibble ) 
Я пытаюсь написать функцию, которая будет подталкивать узлы на графике, который работает с матрицами макета в R. Я работаю с ggraph в первую очередь, поэтом...

0  Как вернуть действительный итератор в C ++? [закрыто]  ( How to return a valid iterator in c ) 
<в сторону CLASS = "S-NEWACTS S-WELTIVE__info JS-Post-New Imide MB16« Роль = «Статус»> закрыто. Этот вопрос не воспроизводится или был вызван опечаткам...

35  Функция Haskell Состав  ( Haskell function composition ) 
Я читаю Это Учебник на Haskell. Они определяют функцию функции как следующее: <код> (.) :: (b->c) -> (a->b) -> (a->c) f . g ...

0  Преобразовать экспоненциальный формат в числовой формат в XSLT  ( Convert exponential format into numeric format in xslt ) 
Я должен преобразовать в моем номере XSLT в экспоненциальном формате (I.E: 1,2345E7) в числовые (I.E: 12340000). Что бы функцию XSLT для достижения этого. ...

Связанный проблема

0  Гистограмма с использованием массивов в C ++ 
0  Как выполнить команду def, не показывая ни одного 
1  Как сопоставить две поля электронной почты, где один содержит дружественный адрес электронной почты 
57  Вызов функции в jQuery with Click () 
1  MySQL Count Rount Функция 
0  Разъяснение определения функций в MatLab 
0  Ошибка с использованием функции в качестве параметра шаблона не типа 
3  JavaScript не может вызвать нажатие на массив внутри другой функции [дубликат] 
1  FORM_BUTTON () в Codeicigniter 
2  Применить функцию, загружающую ZIP-файлы и удаляет определенные файлы 
1  Задача C Вопрос управления памятью: Вернуть NSObject Унаследованный тип класса 
0  Определите функцию пользователя, чтобы добавить / вычесть от Tibble 
0  Как вернуть действительный итератор в C ++? [закрыто] 
35  Функция Haskell Состав 
0  Преобразовать экспоненциальный формат в числовой формат в XSLT 



© 2021 www.qaru.top All Rights Reserved. Q&A House все права защищены


Licensed under cc by-sa 3.0 with attribution required.