WedX - журнал о программировании и компьютерных науках

Ним: процедуры сглаживания с побочными эффектами

Я пытаюсь создать указатель на процедуру (или эквивалент). Когда я делаю что-то вроде этого:

import random

# maybe a command line argument
let choice = "some algorithm"

proc withoutSideEffects(): int = 0
proc withSideEffects(): int = rand(10)

let procPtr =
  case choice
  of "algorithm1": withoutSideEffects
  of "algorithm2": withSideEffects
  (...)

компилятор жалуется, требуя, чтобы все процедуры в выражении case имели прагму {.noSideEffects.}

У меня есть следующие вопросы:

  1. Есть ли способ обойти это?
  2. Если нет, то сделано ли это намеренно (возможно, для предотвращения плохого дизайна)?
  3. Какие есть альтернативы?

  • Проблема видимо в том, что компилятор вычитает тип переменной из первой ветки. Если вы поменяете ветки местами, все будет работать нормально, так как proc{.noSideEffects,gcsafe.} можно преобразовать в proc{.gcsafe.}. 11.12.2018
  • Однако я не уверен, как явно пометить procPtr как имеющий побочные эффекты, что было бы правильным решением. 11.12.2018
  • Я понимаю. Я рад, что хотя бы есть решение (что тоже не слишком неудобно). Благодарю вас! 11.12.2018
  • Я открыл это как проблему на github.com/nim-lang/Nim/issues/ 12642. 11.11.2019

Ответы:


1

Решение состоит в том, чтобы заменить форму выражения (которая выводит тип возвращаемого значения из первой ветви) формой оператор (той, которая не имеет возвращаемого типа).

Та же проблема и то же решение существуют для выражений if/then

let procPtr = block:
  var result:proc():int
  case choice
  of "algorithm1": result = withoutSideEffects
  of "algorithm2": result = withSideEffects
  else: discard
  result
09.09.2020
Новые материалы

Как проанализировать работу вашего классификатора?
Не всегда просто знать, какие показатели использовать С развитием глубокого обучения все больше и больше людей учатся обучать свой первый классификатор. Но как только вы закончите..

Работа с цепями Маркова, часть 4 (Машинное обучение)
Нелинейные цепи Маркова с агрегатором и их приложения (arXiv) Автор : Бар Лайт Аннотация: Изучаются свойства подкласса случайных процессов, называемых дискретными нелинейными цепями Маркова..

Crazy Laravel Livewire упростил мне создание электронной коммерции (панель администратора и API) [Часть 3]
Как вы сегодня, ребята? В этой части мы создадим CRUD для данных о продукте. Думаю, в этой части я не буду слишком много делиться теорией, но чаще буду делиться своим кодом. Потому что..

Использование машинного обучения и Python для классификации 1000 сезонов новичков MLB Hitter
Чему может научиться машина, глядя на сезоны новичков 1000 игроков MLB? Это то, что исследует это приложение. В этом процессе мы будем использовать неконтролируемое обучение, чтобы..

Учебные заметки: создание моего первого пакета Node.js
Это мои обучающие заметки, когда я научился создавать свой самый первый пакет Node.js, распространяемый через npm. Оглавление Глоссарий I. Новый пакет 1.1 советы по инициализации..

Забудьте о Matplotlib: улучшите визуализацию данных с помощью умопомрачительных функций Seaborn!
Примечание. Эта запись в блоге предполагает базовое знакомство с Python и концепциями анализа данных. Привет, энтузиасты данных! Добро пожаловать в мой блог, где я расскажу о невероятных..

ИИ в аэрокосмической отрасли
Каждый полет – это шаг вперед к великой мечте. Чтобы это происходило в их собственном темпе, необходима команда астронавтов для погони за космосом и команда технического обслуживания..


Для любых предложений по сайту: [email protected]