Обзор веб-сайта idris-lang.org
Idris: A Language for Type-Driven Development
Сгенерирован 15 Марта 2026 12:05
Устаревшие данные? ОБНОВИТЬ !
Набрано баллов: 57/100
СЕО Контент
Заголовок страницы
Idris: A Language for Type-Driven Development
Длина : 45
Замечательно, Ваш заголовок страницы содержит от 10 до 70 символов.
Описание страницы
Длина : 0
Очень плохо. Мы не нашли описание страницы у Вас на веб-сайте. Используйте бесплатный генератор мета-тэгов, чтобы сгенерировать описание для страницы.
Ключевые слова
Очень плохо. Мы не нашли ключевых слов на Вашем веб-сайте. Используйте бесплатный генератор мета-тэгов, чтобы сгенерировать ключевые слова.
Og Meta Properties
Вы не используете преимущества Og Properties. Эти мета-тэги помогают социальным роботам лучше структурировать Ваш сайт. Используйте бесплатный генератор og properties, чтобы создать их.
Заголовки
| H1 | H2 | H3 | H4 | H5 | H6 |
| 2 | 5 | 0 | 0 | 0 | 0 |
- [H1]
- [H1] Idris: A Language for Type-Driven Development
- [H2] Getting Started
- [H2] Community
- [H2] Support
- [H2] Categories
- [H2] Social
Картинки
Мы нашли 1 картинок на этом веб-сайте.
1 alt атрибута(-ов) не найдено. Добавив альтернативный текст, поисковые роботы будут лучше понимать содержание картинки.
Соотношение Контент/HTML
Соотношение : 45%
Идеально! Соотношение текста в коде HTML между 25 и 70 процентов.
Flash
Замечательно, мы не нашли Flash контента на странице.
Iframe
Замечательно, мы не зафиксировали Iframe'ов на Вашей странице.
СЕО ссылки
ЧПУ ссылки
Отлично, все Ваши ссылки являются ЧПУ!
Нижнее подчеркивание в ссылках
Прекрасно! Мы не нашли "нижнее подчеркивание" в Ваших ссылках.
Внутренние ссылки
Мы нашли 26 ссылок(-и), включая 1 ссылок ссылок(-и) на файл(-ы).
| Анкор | Тип | Вес ссылки |
|---|---|---|
| Home | Внутренняя | Передает вес |
| Download | Внутренняя | Передает вес |
| Example | Внутренняя | Передает вес |
| Documentation | Внутренняя | Передает вес |
| Archives | Внутренняя | Передает вес |
| News | Внутренняя | Передает вес |
| mailing list | Внешняя | Передает вес |
| GitHub organisation | Внешняя | Передает вес |
| Discord | Внешняя | Передает вес |
| get an invitation to join here | Внешняя | Передает вес |
| libera | Внешняя | Передает вес |
| IRCCloud | Внешняя | Передает вес |
| Functional Programming | Внешняя | Передает вес |
| community standards | Внутренняя | Передает вес |
| Edwin Brady | Внешняя | Передает вес |
| School of Computer Science, University of St Andrews | Внешняя | Передает вес |
| EPSRC | Внешняя | Передает вес |
| Type-driven Verification of Communicating Systems | Внешняя | Передает вес |
| Programming as Conversation: Type-Driven Development in Action | Внешняя | Передает вес |
| SICSA | Внешняя | Передает вес |
| atom feed | Внутренняя | Передает вес |
| @idrislang | Внешняя | Передает вес |
| GitHub | Внешняя | Передает вес |
| Pelican | Внешняя | Передает вес |
| Python | Внешняя | Передает вес |
| github | Внешняя | Передает вес |
Ключевые слова
Облако ключевых слов
idris type github community type-driven list program example development programming
Содержание ключевых слов
| Ключевое слово | Контент | Заголовок страницы | Ключевые слова | Описание страницы | Заголовки |
|---|---|---|---|---|---|
| idris | 14 |  |
 |
|
|
| development | 6 | |
|
|
|
| type-driven | 5 | |
|
|
|
| program | 5 | |
|
|
|
| type | 4 | |
|
|
|
Юзабилити
Домен
Домен : idris-lang.org
Длина : 14
Favicon
Плохо, мы не нашли favicon. Иконки являются одним из простых способов, чтобы привлечь постоянных посетителей на Ваш сайт.
Пригодность для печати
Плохо. Мы не нашли CSS файл, отвечающий за печать веб-сайта.
Язык
Хорошо, Ваш установленный язык веб-сайта: en.
Dublin Core
Ваш веб-сайт не использует преимущества Dublin Core.
Документ
Doctype
HTML 5
Кодировка
Замечательно. Кодировка веб-сайта: UTF-8.
W3C Validity
Ошибок : 0
Предупреждений : 0
Приватность эл. почты
Отлично, мы не нашли адрес эл. почты в контенте!
Устаревший HTML
| Устаревшие тэги | Найдено |
|---|---|
| <tt> | 4 |
Устаревшие HTML теги - это теги, которые никогда больше не будут используются. Рекомендуется удалить, либо заменить их на CSS правила.
Скорость загрузки
|
Отлично, Ваш веб-сайт не содержит вложенных таблиц. |
|
Отлично. Мы не нашли встроенных CSS правил в HTML тэгах! |
|
Замечательно. Ваш веб-сайт имеет мало CSS файлов. |
|
Замечательно. Ваш веб-сайт имеет мало JavaScript файлов. |
|
Замечательно, ваш сайт использует возможность gzip сжатия. |
Мобильный телефон
Оптимизация под моб. телефон
|
Apple иконки |
|
Meta Viewport Тэг |
|
Flash контент |
Оптимизация
XML карта сайта
Отсутствует
Ваш сайт не имеет XML карты сайта - это может быть проблематично.
Карта сайта может содержать дополнительную информацию для поисковых роботов, такую как: время последнего обновления, важность ресурсов, ссылки на это ресурсы. Это помогает роботом более разумно анализировать ваш сайт.
Robots.txt
https://idris-lang.org/robots.txt
Отлично, ваш веб-сайт содержит файл robots.txt.
Аналитика
Отсутствует
Мы не нашли ни одной аналитической программы на вашем сайте.
Веб аналитика позволяет следить за активностью пользователей на вашем веб-сайте. Вы должны установить как минимум один инструмент, но также хорошо иметь несколько, чтобы сравнивать показания между собой.
PageSpeed Insights
Устройство
Категории
Free SEO Testing Tool
Free SEO Testing Tool - это бесплатный СЕО инструмент, который поможет вам проанализировать Ваш веб-сайт.