Вопросы с тегом 'infix-operator'

Инфиксные операторы помещаются между операндами, на которые они действуют (например, 2 + 2).
1

Как проверить приоритет оператора Haskell

Я вижу тип инфиксного оператора в GHCi с: t так: >:t (.) (.) :: (b -> c) -> (a -> b) -> a -> c Как я могу увидеть приоритет оператора в GHCi? это возможно? Кроме того, вопрос бонуса, есть ли способ увидеть источник этих функций ...
02 сент. '12 в 18:55
1

Могу ли я сделать haskell GADT data constructor infix в производном Show?

Рассмотрим две объявления data: {-# LANGUAGE GADTs #-} data X = Int `Y` Int deriving Show data Z where W :: Int -> Int -> Z deriving Show main = do print (1 `Y` 2) print (3 `W` 4) Запуск вышеуказанной программы...
23 июн. '17 в 20:08
1

Почему f <$> g <$> x эквивалентно (f. G) <$> x, хотя <$> не является право-ассоциативным?

Почему f <$> g <$> x эквивалентен (f . g) <$> x, хотя <$> не является право-ассоциативным? (Эта эквивалентность справедлива в популярной идиоме с простым $, но в настоящее время $ является право-ассоциативной!) <*> ...
18 июн. '15 в 9:09
1

Определение инфиксного оператора для использования в формуле

Я пытаюсь создать более экономную версию этого решения, которое влечет за собой указание RHS формулы в форме d1 + d1:d2. Учитывая, что * в контексте формулы является надежным условием полного взаимодействия (т.е. d1 * d2 дает d1 + d2 + d1:d2), мой...
16 сент. '15 в 19:08
1

Как дать неудобства операторам в лямбда?

Например, это не устанавливает проверку \cons nil -> 5 `cons` 3 `cons` nil и не делает этого \(#) -> 5 # 3 # nil Хотя оба они делают \cons nil -> 5 `cons` nil \(#) nil -> 5 # nil Есть ли способ назначить infixites для операторов ...
05 дек. '15 в 18:14
3

Scala совпадение декомпозиции на инфиксном операторе

Я пытаюсь понять реализацию List в Scala. В частности, я пытаюсь понять, как вы можете писать выражения соответствия с помощью инфиксного оператора, например: a match { case Nil => "An empty list" case x :: Nil => "A list without a tail" ...
20 июн. '09 в 18:45
1

Присвоение значения элементу списка с помощью метода assign()

Сначала немного контекста... Я написал инфиксную функцию, которая по сути заменяет идиому x[[length(x) +1]] <- y ..или просто x <- append(x, y) для векторов. Вот: '%+=%' <- function(x, y) { xcall <- substitute(x) xobjname <- se...
12 дек. '18 в 13:42
1

Пользовательские инфиксные операторы

Легко ввести новые инфиксные операторы в С++ // User-defined infix operator framework template <typename LeftOperand, typename Operation> struct LeftHelper { const LeftOperand& leftOperand; const Operation& operation; Left...
01 апр. '16 в 12:42
3

Аппликационный стиль для инфиксных операторов?

Есть ли способ сделать аппликативные применения <$> и <*> хорошими при работе с инфиксными операторами? Я думаю, что ((++) <$> a <*> ((++) <$> b <*> c )) выглядит намного более загроможденным, чем a ++ b ++ c ...
02 окт. '12 в 2:35
1

Почему я не могу подключить несколько вызовов метода Scala

Я работаю над DSL, и я столкнулся с проблемой использования методов в качестве инфиксных операторов в цепочке. Я просто попытаюсь объяснить это каким-то кодом. У меня есть черта Term и классы case Literal и Variable, расширяющие ее. Я хочу построить...
05 мая '11 в 21:01
5

Можно ли определить функцию infix?

Можно ли определить мою собственную функцию/оператор infix в CoffeeScript (или в чистом JavaScript)? например Я хочу позвонить a foo b или a `foo` b вместо a.foo b или, когда foo - глобальная функция, foo a, b Есть ли способ сделать это?
10 сент. '12 в 11:31
2

Понимание литералов уровня типа Haskell

Глядя на пакет Haskell Servant, есть исходный пример определения API веб-службы как: -- GET /date type MyAPI = "date" :> Get '[JSON] Date -- GET /time/:tz :<|> "time" :> Capture "tz" Timezone :> Get '...
29 окт. '15 в 4:58
2

Haskell: Почему разрешены конструкторы типа infix?

В отчете Haskell 98 я нашел это: Синтаксис выражений типа Haskell приведен выше. Так же, как значения данных построены с использованием конструкторов данных, значения типа строятся из конструкторов типов. Как и в случае с конструкторами данных, име...
04 мая '15 в 20:12
0

Разбор выражения с бинарным префиксом, инфиксными и постфиксными операторами

Можно ли анализировать выражение (без двусмысленности), которое может содержать двоичный префикс, двоичный инфикс и двоичные постфиксные операторы (допустим, что все символы разные) с приоритетом между ними? Например: a = 2 3 post+ b = pre+ 2 3*4 ...
10 янв. '17 в 16:40
1

Почему нет> разрешено в качестве инфиксного оператора Haskell?

Почему не разрешено в качестве инфиксного оператора в Haskell? GHCi, version 8.0.2: http://www.haskell.org/ghc/ :? for help Prelude> :{ infixr 6 〉 (〉) :: Int -> (Int -> (Int)) a 〉 b = a + 2*b :} print (1 〉 2) В соответствии с этим Has...
21 июн. '17 в 22:36