Хабр Курсы для всех
РЕКЛАМА
Практикум, Хекслет, SkyPro, авторские курсы — собрали всех и попросили скидки. Осталось выбрать!
Хабр доступен 24/7 благодаря поддержке друзей
Комментарии 20
fixed
Хорошая попытка, АНБ, но нет.
Не взлетит.
Новый язык сам предугадывает, когда можно включать вебкамеру у ноутбука, читать жёсткий диск и вызывать спецназ.
«Предполагается, что он сможет заменить HTML, CSS, XML, Java и другие языки.»
Я всегда думал, что html — это разметка страницы, а css — таблицы стилей
Я всегда думал, что html — это разметка страницы, а css — таблицы стилей
Судя по примерам с гита, просто поменяли синтаксис java.
Тут недавно была статья про генерацию json на C++ несколько необычным способом… Может, они так же «заменяют» html? Если постараться, то это можно даже суметь сделать удобным (ну, для одного человека).
HTML+CSS полны по Тьюрингу (не то, чтобы это было хорошей идеей).
as long as you consider an appropriate accompanying HTML file and user interactions to be part of the “execution” of CSSБезумное допущение. Если считать действия пользователя частью системы для целей Тьюринг-полноты, то файл .txt тоже Тьюринг-полный: в нем можно написать «сделай бутерброд, жопа ленивая», а пользователь возьмет и сделает.
One Wyvern to rule them all.
названный в честь мифологического драконоподобного существа о двух ногах
Чтобы еще удачнее потроллить АНБ, надо было дописать сюда еще в конец «из HMM3».
Кто-нибудь в продакшене уже запускал?
«предугадывать, на каком языке фактически пишет программист, основываясь на типах данных, которыми он манипулирует. Например, если Wyver определит, что программист работает с БД, то вероятней всего он делает это на SQL.»
Что за «вероятней всего» и «предугадывать»? Суть там простая — по типу данных запускается кастомный парсер литерала для этого типа.
Типа:
Часть после "=" разбирается специальным кодом для html и определяется какой разбор запускать по типу (:HTML)
Нечто похожее есть в F# — type providers — только там обычно используется строковый литерал для встраивания кастомного языка
Что за «вероятней всего» и «предугадывать»? Суть там простая — по типу данных запускается кастомный парсер литерала для этого типа.
Типа:
let webpage : HTML = <html><body><h1>Results for {keyword}</h1>
<ul id="results">{to_list_items(query(db,
SELECT title, snippet FROM products WHERE {keyword} in title))}
</ul></body></html>
Часть после "=" разбирается специальным кодом для html и определяется какой разбор запускать по типу (:HTML)
Нечто похожее есть в F# — type providers — только там обычно используется строковый литерал для встраивания кастомного языка
// reference the type provider dll
#r "RegexProvider.dll"
open FSharp.RegexProvider
// Let the type provider do it's work
type PhoneRegex = Regex< @"(?<AreaCode>^\d{3})-(?<PhoneNumber>\d{3}-\d{4}$)">
// now you have typed access to the regex groups and you can browse it via Intellisense
PhoneRegex().Match("425-123-2345").AreaCode.Value
Зарегистрируйтесь на Хабре, чтобы оставить комментарий
Wyvern: новый универсальный язык программирования, спонсируемый АНБ