69 Синонимов и антонимов EXAMINE
экзамен
1
как в допросить
задать ряд вопросов адвокат защиты стремился допросить ее звездного свидетеля
допрашивать
вопрос
катехизировать
насос
запрос
гриль
выбрать мозги
подвергнуть перекрестному допросу
дать третью степень
- подведение итогов
пот
беспокоить
раздражать
холст
надоедать
перекрестный вопрос
холст
гончая
голосование
2
как в для осмотра
внимательно осмотреть (чтобы оценить качество или состояние) клиент тщательно осмотрел старинный предмет мебели сверху донизу, прежде чем купить его.
осмотреть
обзор
сканирование
опрос
анализировать
вид
тщательно исследовать
смотреть
расследовать
исследовать
проверить)
аудит
наблюдать
изучать
-
переходить
препарировать
уведомление
против
наблюдать
игнорировать
просмотреть
классифицировать
исследовать
разобрать
зонд
гребень
классифицировать
вникать в)
пора (над)
отвес
пересмотреть
выбрать
повторное обследование
пересматривать
обезжирить
скучать
взгляд (на или свыше)
обезжирить
скучать
взгляд (на или свыше)
3
как в исследовать
искать через или в новаторское исследование, которое рассмотрел причины правонарушений несовершеннолетних
исследовать
расследовать
заглянуть (в)
исследовать (во что-л. )
исследовать
вникать в)
зонд
вкопаться)
изучать
проверить на
сканирование
вид
проверить в
просмотреть
просеять
большой палец (через)
просматривать
пролистывать (сквозь)
прибой
повторно исследовать
круиз
Выбор синонимов
Как слово изучить отличается от других глаголов, как это?
Некоторые распространенные синонимы изучить : проверить , просмотреть и тщательно изучить . В то время как все эти слова означают «смотреть или пересматривать», исследовать предполагает тщательное изучение с целью определения природы, состояния или качества вещи.
осмотр образцы
Когда осмотр будет хорошей заменой осмотр ?
Слова проверить и проверить можно использовать в аналогичных контекстах, но проверить подразумевает тщательную проверку на наличие ошибок или дефектов.
проверено мои учетные данные
В каких случаях сканирование может заменить изучение ?
Значения сканирование и исследование в значительной степени совпадают; однако сканирование подразумевает съемку от точки к точке, часто предполагающую беглое общее наблюдение.
отсканировано карта вин
Когда изучить более подходящий выбор, чем изучить ?
Хотя слова тщательно изучить и изучить имеют много общего, тщательно изучить подчеркивает пристальное внимание к мельчайшим деталям.
тщательно изучено больничный счет
Тезаурус Записи рядом с
изучитьэкзамены
исследовать
исследовал
Посмотреть другие записи поблизости
Процитировать эту запись «Исследовать.»
Merriam-Webster.com Thesaurus , Merriam-Webster, https://www.merriam-webster.com/thesaurus/examine. Доступ 3 мая. 2023.Копия Цитата
Больше от Merriam-Webster на
экзаменНглиш: Перевод экзамен для говорящих на испанском языке
Britannica English: Перевод экзамен для арабов
Подписаться на America’s самый большой словарь и получить тысячи дополнительных определений и расширенных поиск — без рекламы!
Merriam-Webster без сокращений
Можете ли вы решить 4 слова сразу?
Можете ли вы решить 4 слова сразу?
назойливый
См. Определения и примеры »
Получайте ежедневно по электронной почте Слово дня!
Спросите у редакторов
Странные множественные числа
Один гусь, два гуся. Один лось, два… лось. Чт…
независимо
На самом деле это настоящее слово (но это не значит…
Принести или взять
Оба слова означают движение, но разница может быть…
Дефенестрация
Увлекательная история любимых многими людей…
Игра слов
Королевская викторина по лексике
Соберите своих герцогов в ряд.
пройти тест
Мега-викторина «Назови эту вещь»!
Проверьте свой визуальный словарный запас!
Пройди тест
Правда или ложь?
Проверьте свои знания и, возможно, узнаете что-то новое…
Пройдите тест
Орфографическая викторина
Сможете ли вы превзойти прошлых победителей национального конкурса Spelli…
Примите участие в викторине
Haskell: Graham Hutton Book Parsing (Ch-8): что делает `parse (f v) out` и как он это делает?
Соответствующий совет: Не паникуйте (имеется в виду, не торопитесь или действуйте медленно) и Следуйте типам .
Прежде всего, Parser
s
type Parser a = String -> [(a,String)]
— это функций из String
в списки пар значений результатов типа a
и оставшихся строк (поскольку тип
определяет синонимы типов, а не новые типы, такие как data
или newtype
сделать).
Эта оставшаяся строка будет использоваться как вход для следующего шага анализа . Вот это главное.
Вы спрашиваете, в
p >>= f = \inp -> case (parse p inp) of [] -> [] [(v,out)] -> разобрать (f v) out
как
(f v)
в[(v, out)] -> parse (f v) out
возвращает синтаксический анализатор, который затем применяется киз
?
Ответ таков: f
тип говорит, что это так:
(>>=) :: Parser a -> (a -> Parser b) -> Parser b -- или эквивалент (>>=) :: Парсер a -> (a -> Парсер b) -> (String -> [(b,String)]) -- п ф вх
У нас есть f :: a -> Parser b
, вот что он делает: применительно к значению типа a
он возвращает значение типа Parser b
. Или, что то же самое,
f :: a -> (String -> [(b,String)]) -- так что f (v :: a) :: String -> [(b, String)] -- и, f (v :: a) (out :: String) :: [(b, String)]
Таким образом, каким бы ни было значение, которое parse p inp
дает , оно должно быть таким, как f
ждет продолжения. Типы должны «подходить» :
p :: Parser a -- m a f :: a -> Parser b -- a -> m b f <$> p :: Парсер ( Парсер b ) -- m ( m b ) f =<< p :: Парсер b -- m b
или, что то же самое,
p :: String -> [(a, String)] -- вход v выход f :: a -> строка -> [(b, строка)] -- v вне p >>= f :: String -> [(b, String)] -- комбинированный синтаксический анализатор -- вход v2 выход2
Так что это также ответ на ваш второй вопрос,
Как это может быть синтаксический анализатор и как он может принимать
из
в качестве аргумента?
Вопрос в том, что это за f
, который делает такие вещи? От куда это? И это ваш четвертый вопрос.
А ответ такой, ваш пример в делать
-нотацию,
p::Parser (Char, Char) p = сделать x <- пункт _ <- пункт у <- пункт возврат (х, у)
по законам Монады эквивалентен вложенной цепочке
p = do { x <- item ; сделать { _ <- элемент ; сделать { у <- пункт ; вернуть (х, у) }}}
, который является синтаксическим сахаром для вложенной цепочки Parser
bind приложений,
p :: Parser (Char, Char) -- ~ String -> [((Char,Char), String)] p = item >>= (\ x -> -- item :: Parser Char ~ String -> [(Char,String)] item >>= (\ _ -> -- x :: Char item >>= (\ y -> -- y :: Char вернуть (х, у) )))
и это , потому что функции вложены, что окончательный возврат
имеет доступ к как y
, так и x
там; и именно Parser
bind обеспечивает использование оставшейся строки вывода в качестве входных данных для следующего шага синтаксического анализа:
p = item >>= f -- :: String -> [((Char, Символ), Строка)] где { f x = элемент >>= f2 где { f2 _ = элемент >>= f3 где { f3 y = возврат (x, y) }}}
т.