AK
Есть фшарп, есть хаскель
Size: a a a
2021 January 30
E
Видимо он имел в виду, что результат чистой функции от константы можно было бы вычислять при компиляции
вызывать либсишный косинус? а если я кросскомпилирую для арма?
AT
всмысле? как вычислить косинус от 1 через атрибут??
Косинус о константы константа, косинус вычисленный дважды даст одинаковый результат
IC
Локальные функции и лямбды не захватывают переменные, а когда ты пометил функцию чистой - то надо верить на слово, что все методы внутри чистые?🤔
E
Косинус о константы константа, косинус вычисленный дважды даст одинаковый результат
т.е. если я помечаю метод как [Pure] внутри него есть неизвестный пинвок куда-то в натив - джит должен его исполнить?
IC
т.е. если я помечаю метод как [Pure] внутри него есть неизвестный пинвок куда-то в натив - джит должен его исполнить?
Надо верить джентльменам наслово
AT
т.е. если я помечаю метод как [Pure] внутри него есть неизвестный пинвок куда-то в натив - джит должен его исполнить?
[Pure] должен стать вирусным, как и nullable reference
IC
[Pure] должен стать вирусным, как и nullable reference
И всё это ради констант?
AT
математические ф-ции - спешал кейс. даже в С++ компиляторах они захардокженны
В D было ключевое слово pure для любой пользовательской функции, и я не вижу проблемы импорт из либцэ тоже размечать
A
А гарантии есть, что Math.Something(const) - это константа, одинаковая на всех архитектурах всегда?
AT
Разметка pinvoke тоже в значительной степени произвольная, и все знают, что если сигнатура на этой стороне не дружит с той, то будет попоболь
AT
нет
Эээээ.... А пример?
AT
В военное время на арме синус может достигать трёх?