Монтаж смл: Стекломагниевый лист: особенности монтажа | Статьи СМЛ

Содержание

Стекломагниевый лист: особенности монтажа | Статьи СМЛ

Стекломагниевый НЕОГЕН лист – это материал применяемый при строительстве зданий и отделке помещений.

ООО «ГЕФЕСТ» Стекломагниевый лист: особенности монтажа https://www.vippet.ru/ +7 (495) 959-98-99 115093, Москва, 1й Щипковский пер., дом 5

Cтекломагниевые листы представляют собой передовой строительный материал, который обладает превосходными эксплуатационными свойствами. Благодаря чему эта продукция может быть использована в качестве аналога гиспокартону, ДСП, фанере и т.д. Область применения СМЛ – это отделочные работы как внутреннего, так и наружного типа. Такой листовой материал характеризуется следующими весомыми достоинствами:

  • Стойкость к влаге. Магнезитовая плита не теряет своего размера и формы в условиях повышенной влажности.
    Она не подвержена расслоению или вздутию, поэтому смело может использоваться для отделки саун, бассейнов и душевых кабин.
  • Пожаробезопасность. СМЛ является огнестойким материалом, который крайне устойчив как к высоким температурам, так и к их перепадам. В соответствии с технической документацией стекломагнезит способен выдерживать до 1200 градусов Цельсия, благодаря чему часто применяется при отделке каминов.
  • Шумоизоляция. СМЛ имеет слоеную структуру, за счет чего характеризуется превосходными шумопоглощающими свойствами. Например, звукоизоляция стен из подобного материала в разы лучше звукоизоляции кирпичных фасадов.
  • Морозостойкость. Стекломагниевые листы – материал, который способен выдержать 50 циклов замораживания.
  • Легкость. Такие плиты обладают небольшим весом, что крайне удобно при монтажных работах.
  • Экологичность. Панели из СМЛ являются экологически чистым материалом, который не выделяет в процессе эксплуатации никаких опасных для здоровья человека веществ.
  • Удобство использования. Стекломагниевые листы имеют гладкую поверхность, что дает возможность поклеить обои или окрасить изделие без предварительной обработки.
  • Долговечность. Этот материал отличается продолжительным сроком эксплуатации, который составляет более 15 лет.

Особенности монтажа:

  • При отделке потолка, стен и других облицовочных работах стекломагнезитовые листы устанавливаются на металлический или деревянный каркас. При этом между смонтированными панелями оставляется зазор в 3-5 мм (половина толщины листа). Предварительно требуется дать время для полного высыхания СМЛ и только затем приступать к дальнейшей обработке. Работы проводятся при таких условиях, когда в помещении оптимальный температурно-влажностный режим. Это необходимо для того, чтобы свести риск возникновения каких-либо линейных изменений.
  • Для снижения характеристик влагопоглощения магнезитовые плиты понадобится обработать грунтовкой на акриловой основе перед окраской, шпаклевкой, приклеиванием керамической плитки или нанесением других окончательных декоративных материалов. Грунтовка подбирается в зависимости от условий эксплуатации СМЛ и вида материала, наносимого на листы. В случае шпаклевки поверхности панелей не следует применять составы, содержащие мел и известь. В процессе заделки швов между плитами оптимально использование шпаклевок на гипсовой или акриловой основе. Наружные облицовочные работы предполагают применение грунтов глубокого проникновения, при окрашивании – паропроницаемых, стойких к атмосферным явлениям составов.
  • СМЛ обладает повышенными характеристиками прочности, что позволяет использовать листы с толщиной 8-10 мм. Такой подход значительно снижает вес конструкции, что уменьшает количество задействованной рабочей силы.
  • Стекломагниевые листы можно использовать без последующей отделки за счет высокой чистоты обработки наружной стороны, а также благодаря гидрофобизирующей пропитке, которая используется специально для увеличения адгезии к отделочным и покрасочным материалам.
  • СМЛ может быть прикреплен как в поперечном, так и продольном направлении. В первом случае схема крепления подразумевает горизонтальную укладку листов на стену. Продольная схема предполагает монтаж панелей в вертикальном положении. Если высота объекта больше длины СМЛ, то к выполнению горизонтальных швов следует подходить грамотно: минимальный шаг составляет 60 см.

Советы по установке обрешетки

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

  • при облицовке стен промежуток между вертикальными стойками должен составлять 610 мм при толщине магнезитовых листов в 10 мм;
  • при установке подвесного потолка расстояние между несущими профилями должно составлять 40 см при 8 мм толщине СМЛ;
  • использование звукоизоляционной ленты поможет улучшить характеристики шумоизоляции. Ее следует наклеивать на тыльную поверхность пристенного профиля.

Рекомендации по креплению СМЛ к обрешетке:

  • Промежуток между полом и нижним краем плиты должен составлять 10 мм. По окончании установки стекломагниевых листов стыки заполняются шпаклевочной смесью.
  • Шаг крепления панелей составляет 25 см. Они монтируются от центра листа к внешнему периметру. При нарушении последовательности крепления панели могут деформироваться.
  • Расстояние между СМЛ должно равняться половине их толщины.
  • Промежуток от кромки до самореза, как правило, составляет 1,5 см. Шляпку самореза следует утопить в поверхности листа на 0,5 или 1 мм. В случае высокой плотности материала потребуется зенкование.
  • Перебивание скобами и перетягивание саморезами при креплении СМЛ не допускается. Пренебрежение этим условием приведет к деформации наружного слоя армирующей стеклоткани.

Условия монтажа стекломагниевых листов:

  • Стандартный СМЛ с габаритами 1220×2500×8 имеет вес 19 кг. Его свойства прочности на изгиб в 2 раза превышают параметры гипсокартона. Согласно со сводом правил СП 55-101-2000, конструкция, используемая для крепления гипсокартона, может применяться и для СМЛ. При этом в процессе установки стекломагниевых листов рекомендуется учитывать их типовую ширину, в соответствии с которой необходимо делать шаг в 406 мм между осями вертикальных стоек.
  • Саморезы типа TN 25 или их аналогов следует использовать при прикреплении СМЛ к несущей конструкции. В соответствии с СП55-101-00 шаг крепления саморезов должен быть 250 мм. Если используются листы категории «Премиум», то необходимо предварительно засверливать под саморезы отверстия диаметром 2 мм.
  • Швы между магнезитовым плитами шпаклюются разнообразными штукатурными смесями. С помощью фрезеровочной машинки устраняются неровности кромки. Наиболее оптимальным и удобным методом заделки стыков является использование герметика на акриловой основе. Состав наносится на торец прикрепленного листа, после чего присоединяется еще один лист с зазором между торцами 0,5-0,8 мм. Лишний герметик убирается после полного высыхания.
  • СМЛ имеют две рабочие поверхности. Гладкая сторона прекрасно подходит под отделку краской, обоями и иными декоративными материалами. На внутреннюю, несмотря на ее шероховатость, хорошо ложится кафельная плитка.

Зная особенности монтажа стекломагниевых листов, выполнение работ не составит особого труда. Именно благодаря удобству установки, а также износостойкости, невосприимчивости к атмосферным и химическим воздействиям и долговечности, СМЛ широко востребован не только в частном строительстве, но и при возведении крупных, развлекательных и промышленных учреждений.


Похожие статьи



Ваше сообщение успешно отправлено!

Заказ счета

Форма используется для юридических и физических лиц

Заказать обратный звонок

Форма используется для юридических и физических лиц

Заказ образца

Форма используется для юридических и физических лиц

Запрос цены

Форма используется для юридических и физических лиц

Наверх

Монтаж негорючих стеновых панелей СМЛ и HPL

Монтаж огнестойких панелей

В последнее время качественный СМЛ лист стал набирать большую популярность при облицовке фасадов и внутренней отделки помещений и это понятно, ведь его технические характеристики дадут фору многим листовым отделочным материалам.

Установка через декоративный профиль (рекомендуется)

Для отделочных работ внутри помещения устанавливается обрешетка из направляющих и стоечных профилей, в этом случае расстояние между стойками (шаг) при облицовки стен не должно превышать 600 мм. После подготовки стен/перегородок, панели легко монтируются декоративным алюминиевым профилем. В случае если стены ровные или не имеют сильных искривлений, то можно обойтись без обрешетки и монтировать панели сразу при помощи декоративного алюминиевого профиля.

Виды декоративного алюминиевого профиля:

Омега-профиль — служит для стыковки плит

T — заглушка (широкая) — для омега профиля

Пи — заглушка для омега профиля

L — профиль — внутренний угол

F — профиль — внешний угол

Применяя данный метод крепления, не только существенно уменьшается сложность навешивания СМЛ панелей, но так же исключается любая возможность их дефекта при подготовке к монтированию. Плюсы заключаются еще и в том, что использование профильных элементов даст возможность оперативно демонтировать панели и установить их на другую часть конструкции или просто заменить.

Резка панелей

Шлифовальная машина с
отрезным кругом по камню

Циркулярная пила,
электрический лобзик
Резка /направление зубьев к поверхности материала

Вырезание квадратных


и прямоугольных отверстий в панелях СМЛ

Правильно

Неправильно

Если не соблюдать эти правила, то в месте вырезания отверстия в СМЛ панели “ОПТИПЛИТ” может возникнуть микротрещина, которая может распространиться со временем далее по листу

Крепление

Категорически запрещается, при креплении панелей с помощью самонарезающего винта, вкручивать саморез непосредственно в панель Оптиплит без предварительно просверливания отверстия на 1-2мм больше чем диаметр самореза.

Правильно

Использована прокладка

Проведено предварительное зенкование, для утапливания конусной головки самореза

Обеспечен дополнительный зазор

Неправильно

Не применена прокладка возможно появление трещины по декоративному покрытию

Не проведено предварительного зенкования, для утапливания конусной головки самореза

Самонарезающий винт вкручен непосредственно в панель. Нет предварительного просверливания, со временем, возможно, появление трещин.

Отделка стен СМЛ. Крепление и монтаж панелей

Стекломагниевый лист представляет собой технологичный отделочный и строительный материал, технические показатели которого удовлетворяют требованиям широкого спектра работ. Его ближайший аналог – гипсокартон, но при аналогичной легкости и простоте обработки, СМЛ характеризуется большей прочностью, пригоден для облицовки стен и возведения временных конструкций, межкомнатных перегородок и прочего.

Структурные особенности

Основные компоненты, входящие в состав изделия, представляют собой хлорид и оксид магния, древесную стружку мелкого помола, стекловолокно. В зависимости от конкретных характеристик готового изделия, производители варьируют пропорции компонентов. Повышение доли оксида магния способствует увеличению прочности продукции. Толщина производимых листов варьируется от 4 до 12 миллиметров, благодаря чему удается выбрать изделие, полностью удовлетворяющее особенностям предстоящих работ.

Варианты применения

Отделка стен СМЛ может выполняться в большинстве помещений и на объектах вне зависимости от их назначения, что объясняется высокими эксплуатационными и техническими показателями. В частности, рекомендовано использование в следующих случаях:

  • Облицовка фасадов. Листы не впитывают влагу, выдерживают значительные температурные перепады и экстремальные морозы, долгие годы сохраняют внешний вид без дополнительного ухода;
  • Отделка стен и обустройство потолков в бассейнах;
  • Отделка стен и обустройство потолков в помещениях, к гигиеничности и чистоте которых предъявляются особые требования, в том числе больниц, детских садов, санаториев.

Обращаем внимание, что отделка стен СМЛ панелями способствует повышению пожарной безопасности объекта. Панели не поддерживают процесс горения, увеличивают время безопасной эвакуации персонала, препятствуют свободному распространению огня по коридорам и между помещениями.

Способы установки

Специалисты различают две главные методики установки деталей:

  • Каркасный способ используется в том случае, если необходимо получить максимальную прочность крепления, к примеру, на фасадах здания. Листы фиксируются на металлическом каркасе в один или два слоя, в качестве основных крепежных элементов используются шурупы.
  • Клеевой метод гораздо проще реализовать, он требует минимальной подготовки стен, экономит ресурсы и время. Технология ориентирована на случаи, когда листы не находятся под влиянием серьезных нагрузок, способных спровоцировать обрушение.

Каркасная методика

Крепление СМЛ к стене по каркасной технологии выполняется по следующей схеме:

  • На поверхности отмечаются места, где будут находиться металлические конструкции;
  • Предварительная фиксация профилей и кронштейнов, уплотнение проблемных мест посредством герметика или специальной ленты;
  • Установка панелей в пазы;
  • Заполнение полостей теплоизоляционными материалами, если проект предполагает подобную необходимость;
  • Прокладка проводов и иных скрытых инженерных систем;
  • Окончательная фиксация профилей шурупами (вглубь листа шляпки утапливаются примерно на миллиметр, после чего грунтуются), грунтование, декоративная заделка швов.

Клеевой способ

СМЛ монтаж стен при помощи клея основан на выполнении следующих действий:

  • Удаление остатков грязи и пыли с отделываемой поверхности;
  • Идеально ровные стены можно не готовить к отделке листами, при наличии трещин и незначительных искривлений категорически рекомендуется их заделка и выравнивание шпатлевкой. На стену сильной кривизны предварительно монтируется металлический каркас;
  • Приклеивание панелей;
  • Декоративная заделка швов, финишная отделка поверхностей.

Вне зависимости от способа монтажа, СМЛ, принесенные с улицы, должны постоять в помещении несколько часов для адаптации к новым условиям по температуре и влажности.

Советы мастеров про крепление стекломагниевого листа СМЛ

Специалисты отмечают увеличение потребительского спроса на отделочные материалы с улучшенными монтажными и эксплуатационными характеристиками. Стекломагниевые панели находятся в стадии массового освоения. Поэтому не удивительно, что особенности его применения вызывают большое количество вопросов, в частности как крепить стекломагниевый лист СМЛ?

Стекломагниевый лист — улучшенная альтернатива гипсокартону

Многофункциональные многослойные панели, разработанные на основе магниевых соединений и оснащенные стекловолоконной сеточной обложкой, могут стать оптимальным решением многих строительных и отделочных проблем. Свойства современных СМЛ-материалов определяют возможность их применения для внутренних и наружных отделочных работ. Значительную часть или весь объем монтажных работ застройщик может освоить своими силами.

  • Панели производятся в нескольких форматах толщиной от 3 до 30 мм. Материал характеризуется отличной термостойкостью до 1000 градусов включительно. Покрытие толщиной 5-6 мм обеспечивает защиту строительных конструкций от огня на протяжении более двух часов. Имеет место прочность, гибкость, влагостойкость и эффективная звукоизоляция.
  • В составе панелей отсутствуют феноло-образующие компоненты, материал полностью соответствует основным требованиям экологических стандартов.
  • Магнезитовый наполнитель панелей обладает лечебным воздействием, аналогичным микроклимату соляных пещер.
  • Стекломагнезит характеризуется умеренным весом. Материал легче гипсокартона традиционного для облицовочных работ, примерно на 40%. Поэтому нагрузки на строительные конструкции относительно небольшие. Панели имеют гладкую и рельефную фактуру, что существенно расширяет ассортимент видов поверхностного декора.

Завершает перечень положительных характеристик полувековый назначенный ресурс. По мнению многих экспертов, реальный срок службы СМЛ составляет 60лет и более.

Как самостоятельно смонтировать стекломагнезитовую конструкцию, в соответствии с требованиями современных технологий?

Для крепления панелей к несущему каркасу рекомендованы самозенкующиеся саморезы с насечками аналогичные тем, которые задействуются для крепления гипсокартонных листов. Крепление панели выполняется от центра к краям, так лучше устраняются деформационные перекосы. При использовании шуруповертов необходимо исключить перетяжку крепежа и повреждение стекловолоконной обложки.

Материал режется любым удобным способом, болгаркой, электролобзиком или мелкозубой ручной пилой. Главное требование — ровный и чистый срез. Для работы с СМЛ пригодны навыки, полученные в процессе работы с обычным фирменным гипсокартоном.

Для крепления СМЛ материалов обустраивается собранный из металлических профилей несущий каркас или деревянная обрешетка. По вертикальной или горизонтальной укладке ограничения отсутствуют. Независимо от условий последующей эксплуатации облицовки, к качеству коррозиезащитного покрытия каркаса и винтового крепежа предъявляются повышенные требования.

Механическая фиксация панелей имеет альтернативный вариант, закрепление материала на подготовленной поверхности клеевым составом типа Перлфикс. Для более эффективного уменьшения наружных шумов пристенный профиль оснащается эластичной звукоизолирующей прокладкой. Изнаночную поверхность панели можно определить по стекловолоконному армированию.

В процессе монтажа необходимо соблюдать следующие требования:

  • нижний край панели не должен упираться в пол, минимальный зазор в пределах 10 мм,
  • обязателен монтаж СМЛ с тепловыми зазорами размером 3-5 мм, которые подлежать заделке влагостойкой шпаклевкой.
Для устранения усадочных трещин, фирменную шпаклевку рекомендуется армировать полимерной сеткой. Последующая шлифовка швов необходима для получения ровной и гладкой поверхности для нанесения поверхостного декора.

Необходимо купить гипсокартон? Звоните нам прямо сейчас!

+7 (499) 553-08-19


Cтекломагниевый лист для облицовки стен

СМЛ — высокопрочный и пожарстойкий материал. Поэтому, в тех случаях, когда требуется дополнительная огнезащита и надежность, а также влаго- и биостойкость, применение стекломагниевого листа — превосходное и экономически выгодное решение.

Монтаж стеновых облицовок из СМЛ — листов производиться до момента укладки чистового пола, в период основных отделочных работ. При работах следует соблюдать эксплуатационные условия — монтаж производится при положительных температурах (желательно близких к комнатным) и умеренной влажности воздуха. Перед началом монтажа стекломагниевый лист должен быть выдержан в условиях где он будет использоваться в течение суток для акклиматизации (адаптации к условиям температуры и влажности).

Отделочные работы должны выполняться в строгом соответствии с требованиями проекта, технической документации и нижеследующими рекомендациями.

Монтаж СМЛ категорически не рекомендуется производить на деревянные обрешетки. Для каркаса необходимо использовать металлический профиль (аналогичный используемому при монтаже гипсокартона).

Потолочные профили, используемые в качестве стоек, крепятся к базовой стене при помощи прямых подвесов через уплотнительную ленту. Крепление осуществляется также дюбелями или дюбель-гвоздями. Шаг установки подвесов составляет не более 1500 мм. Потолочный профиль скрепляется с прямыми подвесами саморезами.

Стоечные профили устанавливаются в направляющие с шагом 610 мм в типовых или 400/300 мм в отдельных конструктивных решениях. Крепление стоечных профилей к направляющим осуществляется специальным инструментом (просекателем) методом «просечки с отгибом».

Листы СМЛ крепятся встык в соответствии с шагом стоек. При многослойном монтаже, листы второго слоя крепятся со смещением («разбежкой») кратно шагу стоек каркаса.

Горизонтальные швы (в том числе при однослойном монтаже) должны стыковаться на горизонтальном профиле. При двухслойной обшивке «разбежка» горизонтальных швов первого и второго слоев должна составлять не менее 400 мм.

Внимание!

При монтаже СМЛ необходимо использовать только самонарезающие винты (саморезы) с зенкующей головкой (типа MN), в противном случае возможно растрескивание материала. Согласно техническим условиям монтажа в особо ответственных условиях рекомендуется производить засверливание отверстий под крепежные саморезы.

Распиловка листов производится с гладкой стороны, лобзиковыми пилами или ножовкой по дереву в некрупным размером зубца.

Саморезы для крепления СМЛ должны входить в лист под прямым углом и проникать в металлический каркас на глубину не менее 10 мм. Головки винтов должны быть утоплены в лист на глубину около 1 мм с обязательным последующим шпаклеванием. Изогнутые, неправильно ввернутые винты необходимо удалить и заменить их новыми на расстоянии около 50 мм от прежних. Шаг установки винтов — 250 мм (L-25) при однослойной обшивке. В двухслойных обшивках этот шаг составляет: для первого слоя — 750 мм (L-25), для второго — 250 мм (L-35).

Деформационные швы устраиваются в облицовках стен (при высоте облицовки до 3,5 м) через каждые 15 м с обязательным повторением деформационных швов ограждающих конструкций.

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

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

Предварительно с прямых кромок универсальным отборным рубанком снимаются фальцы ши­риной около 30 мм и глубиной около 2мм. Далее швы шпаклюются с использованием армирующей ленты.

Углубления от винтов должны быть зашпаклеваны. После высыхания зашпаклеванная поверхность шлифуется и обрабатывается грунтом.

При двухслойном монтаже СМЛ шпаклевание швов внутреннего слоя производится без армирующей ленты.

Монтаж СМЛ панелей в Санкт-Петербурге

Монтаж СМЛ панелей – востребованный вариант при облицовке фасадов и внутренней отделке помещений. Вам не потребуются дополнительные трудозатраты для поклейки обоев или окрашивания стен, чтобы создать уютный интерьер.

Панели из стекломагниевого листа помогут быстро выполнить монтажные работы и отдекорировать помещение согласно вашим представлениям о качестве и эстетике. Специалисты «Реал Эстейт» имеют большой опыт в отделке наружных и внутренних стен СМЛ панелями:

  • С защитно-декоративным покрытием. Данные материалы применяются для внутренней облицовки стан и различных видов зданий.
  • С пленкой ПВХ. Используются для облицовки различных сооружений с сухим и стандартным режимом влажности, а также для отделки стен.
  • С HPL пластиком. Применяется для облицовки зданий различного вида с сухим и стандартным режимом влажности, а также для отделки стен.

В процессе работы мы соблюдаем строительную технологию и нормы ГОСТ, обеспечивая качественный результат в сжатые сроки.

  • Оперативные сроки работы. Технология монтажа не требует специальной подготовки и обработки стен, что позволяет выполнять работу максимально быстро.
  • Широкий выбор цветов. Производители выпускают СМЛ панели с различной палитрой цветов, текстурой и рисунком. Таким образом, любой клиент сможет выбрать материалы на свой вкус и создать интерьер своей мечты.
  • Экологическая безопасность. Панели СМЛ абсолютно безопасны в эксплуатации, что подтверждают соответствующие сертификаты.
  • Пожаростойкость. Высокий класс пожаростойкости позволяет использовать материалы в помещениях с повышенными требованиями к безопасности.
  • Длительный срок эксплуатации. Панели не теряют своих технических характеристик не менее 50 лет. Они радуют своих владельцев устойчивостью к температурным перепадам, физическому износу и коррозионным процессам.
  • Простой доступ к инженерным коммуникациям. В применении с алюминиевым профилем панели обеспечивают легкий доступ к инженерным сетям и сантехнике.
  • Доступная цена. В отличие от других материалов, такие изделия отличаются привлекательной ценой.

Позвоните нам, чтобы заказать монтаж СМЛ панелей в Санкт-Петербурге и Ленинградской области. Мы с удовольствием ответим на все ваши вопросы и поможем определиться с типом необходимых материалов. Итоговая цена определяется для каждого клиента индивидуально и зависит от объема работ, площади помещений, пожеланий заказчика и других факторов.

СМЛ — стекломагниевые листы

Как осуществить монтаж СМЛ

В последние годы все чаще владельцы домов и квартир решаются на перепланировку своего жилья. А чтобы возвести перегородки с наименьшими бюджетными и временными потерями, обычно используется гипсокартон – весьма удобный в плане ремонтных работ материал. Однако с недавних пор он начала сдавать свои лидирующие позиции, так как на строительном рынке стал продаваться аналог гипсокартона — стекло-магниевый лист, состоящий в основном из минеральных веществ, мелких опилок и стекловолокна.

СМЛ (стекломагниевые листы) обладают целым списком достоинств. Характеристики, которые имеет магнезитовый лист, следующие: огнестойкость (применение его возможно там, где необходимы негорючие отделочные материалы – например, при отделке аварийных выходов), отсутствие токсичных добавок (монтаж СМЛ зачастую производят в детских учреждениях, столовых, больницах), гибкость и прочность (из листов СМЛ можно создавать различные, даже самые сложные конструкции). СМЛ плита обладает прекрасной  звукоизоляцией, поэтому не редкость, когда производится отделка СМЛ стен кинозалов и прочих, связанных с громким звуком, помещений. Этот аналог гипсокартона также влагоустойчив,  и строительные фирмы давно с успехом применяют в зданиях с влажным воздухом стекломагниевый лист (монтаж его осуществляется в ванных комнатах, саунах и бытовых помещениях).

Еще одно чудесное качество магнезитовой плиты – её морозоустойчивость. Она практически не деформируется от перепадов температур (единственное – во внешней среде возможно небольшое линейное расширение листов, приводящее к появлению трещин на их стыках, но существует немало методов борьбы с данным неприятным явлением), что  позволяет осуществлять  монтаж СМЛ вне помещения. Обычно снаружи производится отделка СМЛ стен домов (как для красивого внешнего вида, так и для утепления) – этот материал позволяет с легкостью выполнить облицовку любой поверхности. Однако лист СМЛ также используется и при создании различного рода козырьков, навесов, его применение возможно в качестве основы под битумную черепицу или другую мягкую кровлю.

Что касается отделки самого строительного материала, то поверхность СМЛ (с одной стороны она шероховатая, с другой – гладкая) идеальна для нанесения любого вида покрытия, будь то штукатурка, краска, обои или плитка. Предварительной подготовки перед отделкой стекломагнезитовый лист не требует, особых ограничений в применении декоративных материалов тоже нет, правда, нежелательно красить лист СМЛ водонепроницаемой краской – в некоторых случаях со временем на нем могут появиться вздутия, и поверхность будет напоминать чешую.  

Где еще можно использовать стекломагниевый лист? Монтаж подвесных потолков, многоуровневых полов, элементов теплиц – вот далеко не полный перечень возможного применения этого поистине универсального материала. Он подходит даже для мебели и некоторой техники (например, холодильного оборудования).

Трудностей не представляет и монтаж СМЛ – листы легко раскраиваются любыми приспособлениями: пилами, ножами, ножницами, их можно сверлить и шлифовать. Крепятся они к металлическому (или деревянному) каркасу практически так же, как и гипсокартон, так что при желании ремонтные работы вполне возможно производить самостоятельно, без посторонней помощи.

 

SML в Windows

SML в Windows В этом документе описаны основные шаги по установке SML на машине Windows. для использования с TextPad.
  • Загрузите и установите Textpad
  • Перейдите в SML New Сайт Джерси. Затем нажмите «Загрузки» и выберите самую последнюю. версия программного обеспечения. Вы должны найти ссылку на файл с именем «smlnj.msi». Это установщик, который вам следует скачать и запустить. Делать , а не , используют самоустанавливающийся exe для Windows под названием «smlnj.исполняемый» который включен на другие страницы загрузки (это очень старая версия SML).
  • Проверьте установку в окне командной строки. Перейти в Пуск, Все Программы, аксессуары, командная строка. Когда он откроется, введите sml по запросу. Это должно ввести вас в интерпретатор, где вы можете введите выражения. Помните, что в Windows вы завершаете сеанс набрав Control-Z с последующим нажатием клавиши Enter.
Чтобы настроить TextPad на цветовую подсветку синтаксиса:
  1. Скачать sml.синхронизировать с подпапкой Samples вашей установки TextPad (на моем компьютере с Windows XP это было «C: \ Program Files \ TextPad 5 \ Samples» и на моем 64-битном компьютере было «C: \ Program Files (x86) \ TextPad 5 \ Samples». Примечание: на моем На компьютере с Windows Vista папка была настроена «только для чтения», поэтому я сохранил файл на рабочий стол, перетащил его в нужную папку и сообщил компьютер, что можно было применить права администратора.
  2. В TextPad выберите Настроить, Новый класс документа со следующими настройки:
            Имя класса документа: sml
            Члены класса: *.sml
     
    Когда он запросит имя файла синтаксиса, выберите sml.syn и нажмите на «Включить подсветку синтаксиса».
  3. Проверьте это, введя некоторый код ML, например следующий:
            val x = если 2
    Сохраните его в test.sml. Когда вы идете на сохранение, будьте осторожны, чтобы
    установите для параметра «Тип файла» значение «Все файлы». TextPad имеет привычку
    сохранение в текстовые файлы, и в этом случае он сохранит его как
    test.sml.txt. Когда вы его сохраните, вы должны увидеть цвета
    появляются для ключевых слов. 
Ниже приведены три необязательные конфигурации, которые вы можете захотеть сделать: Этот последний шаг самый сложный, но, возможно, и самый полезный.Ты можешь определить инструмент, который сохранит текущий файл и загрузит его в SML. Вот основные шаги, которые необходимо выполнить:
  1. Зайдите в Configure, Preferences, Tools и выберите Add, а затем выберите Программа.
  2. Программа, которую вы хотите запустить, называется sml.bat, и вы найдете это в каталоге c: \ Program Files \ SMLNJ \ bin (это было c: \ Program Files (x86) \ SMLNJ \ bin на моей 64-битной машине). Перейдите к файлу, выберите его и нажмите «Применить».
  3. Разверните меню «Инструменты» (возможно, вы увидите знак «+», который нужно нажать на).Под ним выберите только что созданную команду sml. Ты нужно изменить несколько настроек. Снимите флажок «Захват вывод ». Установите флажок« Сначала сохранить все документы ». Оставьте все еще один. Нажмите Применить и ОК.
Теперь вы должны найти выбор в меню Инструменты / Внешние инструменты под названием sml. Попробуйте выбрать его. Он должен запустить интерпретатор, загрузить свой файл и оставит вас в приглашении для взаимодействия с интерпретатором. Запомни когда закончите, введите Control-Z, а затем нажмите клавишу Enter.Это займет вас обратно в TextPad.

Есть еще одна проблема, которую нужно решить. Когда вы загружаете допустимый файл sml, команда выше работает нормально. Но когда вы пытаетесь загрузить файл, который имеет какой-то синтаксической ошибки, вы обнаружите, что окно быстро сворачивается, прежде чем вы сможете увидеть ошибку. Я рекомендую следующее. Повторите шаги выше, чтобы создать вторая команда. Сделайте все так же, за исключением того, что оставьте поле «Вывод снимка». установлен (вы хотите записывать вывод при возникновении ошибки). Вы должны использовать эта версия, когда у вас есть сообщение об ошибке, которое вы хотите увидеть.Выход будет отображаться в окне «Вывод инструмента». Когда вы идете в Настройки / Инструменты и просмотрите свой список инструментов, теперь вы увидите «sml» в списке. дважды. Нажмите на второй, и у вас будет возможность переименовать его. что-то вроде «sml error».

Для тех из вас, кто использует Windows, вы найдете отличный бонус. Вы можете использовать клавиши со стрелками внутри интерпретатора ML. Например, если вы хотите получить выражение, которое вы ввели ранее, просто нажмите клавишу со стрелкой вверх. Вы можете ударить клавишу со стрелкой вверх несколько раз подряд, чтобы получить еще более раннее выражение.Также, Если вы набираете длинное выражение и замечаете ошибку в начало, вы можете использовать клавишу со стрелкой влево, чтобы переместиться к ошибке и исправить его, затем с помощью клавиши со стрелкой вправо вернитесь к концу выражения. Ты можно даже использовать клавиши Home и End для перехода к началу текущей строки или конец текущей строки.

В инструкции attu вы увидите описание некоторых переменных среды, которые вы, возможно, захотите установить. Если вы настроили инструмент SML, вы можете перейти к Configure, Preferences, Tools, Sml.Тебе следует увидеть этот вариант:

        Параметры: $ File
 
Измените это на следующее, чтобы получить предлагаемые настройки для среды переменные:
        Параметры: -Cprint.depth = 20 -Cprint.length = 1000 $ File
 
Если у кого-то возникнут проблемы, отправьте сообщение на доску объявлений или напишите Стюарту и мы попробуем разобраться в том, что происходит.
Стюарт Регес
Последнее изменение: Вт, 30 марта, 17:22:31 PDT 2010 г. Примечания по установке

SML / NJ Примечания по установке

SML / NJ

Для Windows XP / Vista / 7:

Самый простой способ установить SML / NJ на компьютерах с Windows — использовать самоустанавливающийся исполняемый файл:

smlnj.msi .
  1. Войдите в систему как администратор (установка должна определять системные переменные среды).
  2. Запустить самоустанавливающийся исполняемый файл.
  3. Следуйте предоставленным инструкциям.

После запуска установщика Windows вы можете найти компилятор в разделе меню «Пуск» в Windows 7 или более ранней версии или Windows 10 в виде программы с названием «SML of New» Джерси ». В Windows 8 или 8.1 он отображается в алфавитном порядке. как «SML of New Jersey» в окне «Приложения по имени» (в плитках интерфейса (ранее известного как «Метро»), наведите указатель мыши на нижний левый угол левого блок плиток, пока не появится круг со стрелкой вниз, затем щелкните этот кружок, чтобы перейти на страницу приложений).

Инструкции по ручной компиляции SML / NJ в Windows с использованием Visual C ++ будет предоставлено в обновлении этой страницы [dbm].

Для Unix-машин:

  1. Создайте каталог SMLROOT для установки (например, SMLROOT = / usr / local / sml) в месте, где его можно установить программные пакеты. На некоторых машинах могут потребоваться права администратора для создайте новый каталог sml в общедоступном каталоге, например / usr / local или / opt, но при необходимости вы всегда можете установить sml в подкаталог ваш собственный домашний каталог.
  2. Загрузите config.tgz tarball и распакуйте его в каталог $ SMLROOT с помощью команды
    $ tar xzvf config.tgz
     
  3. [ Необязательно ] Если вы хотите настроить установку, включив в нее больше или меньше компонентов, чем по умолчанию, отредактируйте файл config / target, комментирование любых целей, которые вы не хотите устанавливать или удалять символы комментариев из компонентов, которые вы хотите добавить. Однако, редактирование конфигурации / целей не требуется или не рекомендуется для первого раза пользователей.
  4. Выполните команду оболочки:
    $ config / install.sh
     
Команда install.sh загрузит необходимые исходники. и двоичные файлы для текущей архитектуры и операционной системы, распаковать их, скомпилируйте систему времени выполнения, соберите компилятор sml (bin / sml) и скомпилируйте библиотеки и инструменты SML / NJ. Они устанавливаются в bin подкаталогах и lib из $ SMLROOT.

Если у вас есть несколько платформ оборудования / операционных систем, совместно использующих той же файловой системы, вы можете запустить config / install.ш на каждой платформе. Различные версии, специфичные для архитектуры / ОС исполняемые файлы и библиотеки могут сосуществовать в одном каталоге $ SMLROOT. В процессе установки создаются следующие подкаталоги в каталог установки:

config — инструменты настройки
bin — сценарии оболочки для запуска sml и инструментов
bin / .run — содержит системы времени выполнения
бин /.heap — содержит изображения кучи
lib — исходные файлы менеджера компиляции для различных библиотек
src — исходный код; установка библиотек также оставляет код предварительно скомпилированной библиотеки в этом поддереве.

УСТРАНЕНИЕ НЕПОЛАДОК

Наиболее вероятные проблемы возникают при компиляции системы исполнения. Вы можете необходимо отредактировать make-файл, специфичный для архитектуры / операционной системы.Ты можно найти эти файлы в каталоге SMLROOT / SRC / время выполнения / objs. Они называются mk.- (например, mk.x86-unix, mk.ppc-unix). В настоящее время они настроены на использование gcc в системах Unix (включая Mac OS X и Linux) и Visual C ++ в Windows.

Если вы устанавливаете в 64-битных системах Linux , вам может потребоваться установить 32-битные библиотеки совместимости, чтобы скомпилировать систему времени выполнения, которая представляет собой 32-битный код. Некоторый 64-битный Linux системы по умолчанию не настроены с поддержкой 32-битной версии.В таком случае вы можете получить сообщение

!!! SML / NJ требует поддержки 32-битных исполняемых файлов
 
при запуске config / install.sh. Чтобы решить эту проблему, вам понадобится приобрести 32-битные библиотеки эмуляции для вашего конкретного Linux распределение. Для Debian и Ubuntu вам понадобятся два пакета: gcc-Multilib, и ia32-libs. Их можно установить с помощью apt-get:
      apt-get install gcc-Multilib ia32-libs
 
Для Red Hat Fedora (например, Fedora 16) вам необходимо установить glibc-devel (i686):
      yum install glibc-devel.i686
 
Для Red Hat Enterprise Linux (или CentOS) 6.2 вам также может потребоваться установите rpm-пакет libgcc-Multilib, например:
      rpm -ivh libgcc-Multilib-4.4.2-5.x86_64.rpm
 
где пакет libgcc-Multilib можно загрузить с веб-сайт rpmseek (похоже, yum не знает об этом пакете).


| SML / NJ Домашняя страница |
Отправляйте свои комментарии по адресу.
Авторские права © 2003, Standard ML Fellowship.

Standard ML Нью-Джерси

Standard ML Нью-Джерси
Стандартный ML Нью-Джерси

Стандартный ML штата Нью-Джерси (сокращенно SML / NJ ) компилятор для Стандартный ML ’97 язык программирования со связанными библиотеками, инструменты и документация.SML / NJ — бесплатное программное обеспечение с открытым исходным кодом.

Что нового

  • [2021-04-12] Версия 110.99.1 — это вышел. Основная цель этого выпуска исправлений — поддержка установки и запуска SML / NJ на компьютерах Mac M1 под Rosetta2 переводчик. Релиз также содержит несколько исправлений ошибок; увидеть ПРОЧТИ МЕНЯ для подробностей.
  • [2020-12-24] Версия 110.99 есть вышел. В этом выпуске также исправлены дополнительные проблемы с печатью. как и некоторые другие ошибки.Смотрите README для подробностей.
  • [2020-08-25] Версия 110.98.1 — это вышел. Этот выпуск исправления исправляет ряд довольно печальных регрессий, которые были введены в 110.98. Смотрите README для подробностей.
  • [2020-07-17] В связи с выпуском Версия 110.98, есть теперь онлайн-документация для большей части библиотеки SML / NJ .
  • [2020-07-17] Версия 110.98 — это вышел. В этот выпуск внесены существенные улучшения в документацию. а также другие улучшения и исправления ошибок.Смотрите README для подробностей.
  • [2020-04-21] Версия 110.97 — это вышел. Этот выпуск довольно существенный, с множеством исправлений ошибок, дополнительными документации, а также большое количество изменений и дополнений в Библиотека SML / Нью-Джерси . Смотрите README для подробностей.
  • Старые новости

Примечание о номерах версий
Давным-давно у нас были номера версий, например, 0,93 ; когда мы дойдем до 0.100 , г. мы отбросили ведущий ноль и перешли на 100 , 101 и т. д. По какой-то причине, когда мы достигли версии 110 , мы перестали увеличивать первое число и просто налетело на второе (почему никто не помнит). Мы достигли версии 110,99 , поэтому мы планируем перейти на другая схема нумерации, где версии будут иметь основной число определяется годом и второстепенное число определяется выпуском номер для этого года. Следующий выпуск будет под номером 2021 года.1 , так как это будет первым выпуском 2021 года.

Поддержка 64-битных архитектур

Последняя версия (110.99.1) поддерживает 64-битные исполняемые файлы в macOS и Linux .

Загрузки

  • Последний выпуск — 110.99.1; мы считаем эту версию стабильной, но было много низкоуровневых изменения, которые могли привести к ошибкам, поэтому, если у вас возникнут проблемы с системе вы должны сообщить о них, а затем вернуться к 110.87.

  • Предыдущие версии также доступны через наши страницу истории релизов. История изменений в системе также имеется в наличии.

  • Доступны подписанные установщики для macOS, которые устанавливают систему. в / usr / local / smlnj .

    Обратите внимание, что для установки SML / NJ на macOS 10.15 Catalina вам потребуется щелкните правой кнопкой мыши в пакете установщика, при этом должно открыться диалоговое окно. коробка.Нажмите кнопку Открыть , чтобы запустить установщик.

  • Установщик Windows msi для Windows 7+ доступен (smlnj-110.99.1.msi).

Доступ к Subversion

Наш главный исходный репозиторий хранится на сервере FusionForge (преемник to GForge) под управлением Subversion. Мы предоставляем анонимный доступ только для чтения к репозиторию, поэтому каждый может скачать снимок самых последних источников в любое время. Инструкции здесь.

Фон

Документация и литература

Сообщение об ошибках

  • Об ошибках можно сообщать онлайн, используя нашу Форма ошибки PHP.
  • Вы также можете отправлять отчеты об ошибках по электронной почте на адрес с использованием форма отчета об ошибке.
  • Устаревшая запись известных ошибок и история ошибок для SML / NJ доступны на странице ошибок.
  • Последние материалы должны появиться в трекере GForge.

Ссылки

  • Указатели на ресурсы программирования (библиотеки, инструменты, примеры кода), проекты, использующие SML / NJ , другие реализации SML , связанные компилятор исследовательская работа и разное SML ссылки.Ссылки на ресурсы по программированию скоро перейдут в отдельный собственная страница.

Люди

  • Фото текущего состава людей, вовлеченных в проект.

Этот проект основан на работе, частично поддержанной Национальным Научный фонд в рамках гранта № CNS-0454136.

Любые мнения, выводы и заключения или рекомендации, выраженные в эти материалы принадлежат авторам и не обязательно отражают взгляды Национального научного фонда (NSF).


Отправляйте комментарии на номер
Copyright © 2004-2020, SML / NJ Fellowship.

Версии SML / NJ

Версии SML / NJ
README Выпущено Ссылки на программное обеспечение
110,99
24 декабря 2020
файл
110.98.1
25 августа 2020
файл
110.98
16 июля 2020
файл
110,97
21 апреля 2020
файл
110,96
13 декабря 2019
файл
110,95
9 ноября 2019
файл
110.94
31 октября, 2019
файл
110,93
5 сентября 2019
файл
110,92
10 августа 2019
файл
110,91
20 июня 2019
файл
110.90
12 июня 2019
файл
110,89
1 июня 2019 г.
файл
110,88
15 мая 2019
файл
110,87
3 мая 2019
файл
110.86
2 мая 2019
файл
110,85
21 декабря 2018
файл
110,84
3 сентября 2018
файл
110,83
1 июня 2018 г.
файл
110.82
16 октября 2017
файл
110,81
1 мая 2017 г.
файл
110,80
19 августа 2016
файл
110,79
4 октября 2015 г.
файл
110.78
24 декабря 2014 г.
файл
110,77
22 августа 2014 г.
файл
110,76
1 июля 2013 г.
файл
110,75
1 октября 2012 г.
файл
110.74
20 января 2012 г.
файл
110,73
16 мая 2011 г.
файл
110,72
6 февраля 2010 г.
файл
110,71
16 сентября 2009 г.
файл
110.70
16 июня 2009 г.
файл
110,69
13 января 2009 г.
файл
110,68
17 сентября 2008 г.
файл
110,67
13 ноября 2007 г.
файл
110.66
6 сентября 2007 г.
файл
110,65
7 июня 2007 г.
файл
110,64
31 мая 2007 г.
файл
110,63,2
23 мая 2007 г.
файл
110.63,1
3 мая 2007 г.
файл
110,63
22 марта 2007 г.
файл
110,62
2 февраля 2007 г.
файл
110,61
14 декабря 2006 г.
файл
110.60
9 ноября 2006 г.
файл
110,59
17 мая 2006 г.
файл
110,58
2 марта 2006 г.
файл
110,57
16 ноября 2005 г.
файл
110.56
25 октября 2005 г.
файл
110,55
20 июля 2005 г.
файл
110,54
18 мая 2005 г.
файл
110,53
25 февраля 2005 г.
файл
110.52
15 декабря 2004 г.
файл
110,51
18 ноября 2004 г.
файл
110,50
28 октября 2004 г.
файл
110,49
13 сентября 2004 г.
файл
110.48
10 августа 2004 г.
файл
110,47
4 августа 2004 г.
файл
110,46
17 июня 2004 г.
файл
110,45
13 февраля 2004 г.
файл
110.44
6 ноября 2003 г.
файл
110,43
9 сентября 2003 г.
файл
110,42
16 октября 2002 г.
файл

Дэйв Маккуин
Последнее изменение: Чт, 24 декабря, 11:24:36 CST 2020

Standard ML Руководства пользователя NJ

Standard ML Руководства пользователя NJ
Standard ML of New Jersey (SML / NJ) — это интерактивный компилятор. система и среда программирования для стандартного языка ML.Этот документ представляет собой руководство по программированию в стандартном машинном обучении с использованием SML / NJ.

Общая информация

Несколько очень полезных книг на стандартном языке программирования ML, а также ряд Стандартные учебные пособия по ML можно найдено в сети. Comp.lang.ml и comp.lang.функциональные группы новостей также являются хорошим источником информации, помощи и новостей, а эти группы новостей поддерживают связанные часто задаваемые вопросы. На нашей литературной странице представлены эти общие источники информации.

Использование стандартного ML штата Нью-Джерси

Получение программного обеспечения SML / NJ
SML / NJ доступен бесплатно через ftp или Интернет.Это польза регулируется очень либеральной лицензией.
Установка SML / NJ
Установить SML / NJ под Unix легко и, как правило, просто требует загрузки файлов и запуска сценария оболочки. Монтаж под Windows еще проще использовать самоустанавливающийся файл «.exe».
SML / NJ FAQ
FAQ для SML / NJ в настоящее время находится в разработке, но все еще очень фрагментарно.
Интерактивная система SML / NJ
Как начать работу с sml, как скомпилировать и запускать программы.
Менеджер компиляции
Менеджер компиляции SML / NJ CM организует и оптимизирует процесс компиляции. CM вычисляет и кэширует график зависимости между модулями. Когда модуль был отредактирован и перекомпилируется, CM сравнивает сигнатуру типа экспорта нового модуля к старому, чтобы свести к минимуму количество модулей, которые перекомпилирован. Руководство CM также доступно в Postscript.
Сообщения об ошибках SML / NJ
Объяснение сообщений об ошибках, выводимых компилятором SML / NJ.
Особенности SML / NJ
Standard ML of New Jersey поддерживает некоторые расширения Стандартный язык ML, например, продолжения первого класса, высшего порядка функторы и т. д.
Структура SMLofNJ
Эта структура содержит интерфейс системы времени выполнения и операционную систему функции интерфейса, не входящие в международный стандарт.
Структура компилятора
Эта структура содержит настраиваемые пользователем флаги для управления работа компилятора и интерактивной системы, а также интерфейсы к отдельным этапам компилятора SML / NJ.
SML ’97 Руководство по переоборудованию
Стандартный язык ML ’97 почти, но не полностью, совместим с определением 1990 г., поддерживаемым более ранними версиями SML / NJ; в руководстве по преобразованию объясняются различия и приводятся примеры о том, как обновить существующие программы SML’90.
Сравнение среды верхнего уровня
Сравнение сред верхнего уровня SML / NJ 0.93 и SML / NJ 110.

Базовые библиотеки

Стандартная базовая библиотека машинного обучения
Здесь описаны «библиотечные» функции и интерфейсы. которые являются частью стандарта ML.Сюда входят модули для Ввод-вывод, интерфейс операционной системы, арифметика над целыми числами, действительными числами, и слова (беззнаковые целые числа), математические функции, операции над строки и подстроки и так далее.
Стандартный ML библиотеки Нью-Джерси
Библиотека SML / NJ содержит библиотеки и служебные функции, которые не являются частью стандартного стандарта. Библиотека SML / NJ включает модули для бинарных деревьев поиска, настраиваемые массивы, и другие полезные структуры данных в каталоге Util.В Каталог Unix предоставляет дополнительные функции, специфичные для Unix, в то время как каталог HTML поддерживает обработку веб-страниц.

Инструменты программирования и библиотеки

ML-Lex
Генератор лексического анализатора, похожий на классический Unix lex.
ML-Yacc
Генератор парсера, похожий на классический Unix yacc, но с особенности исправления синтаксических ошибок.
Параллельное машинное обучение
Библиотека, добавляющая параллелизм в SML.
eXene
Набор инструментов графического интерфейса на основе X-windows.
Библиотека интерфейса SML / NJ C
Библиотека Лоренца Хюльсбергена для создания интерфейсов SML к C библиотеки и программы.
MLRISC
Компилятор SML / NJ использует структуру генерации кода MLRISC Лала Джорджа. (в настоящее время для архитектур Alpha и HPPA, но в конечном итоге для всех архитектуры). MLRISC разрабатывается как независимый инструмент для построение высокомодульных генераторов оптимизирующего кода, и в настоящее время используется в ряде других компиляторов и исследовательских проектах компиляторов.
Документация для версии 3.3 Matthew J. Morley’s sml-mode для Gnu emacs и Xemacs, который поддерживает редактирование исходного кода SML code и взаимодействует с sml под emacs. Sml-режим есть в настоящее время поддерживается Стефаном Монье (monnier at iro dot umontreal dot ca), а последняя версия доступна по адресу http://elpa.gnu.org/packages/sml-mode.html.

| SML / NJ Домашняя страница |
Отправляйте свои комментарии по адресу.
Авторские права © 2017, SML / NJ Fellowship.

SML ’97

SML ’97
Стандарт ML был предложен в 1983 году, проектировался с 84-го по 1988 год. и определено в Определение стандарта ML (Милнер, Тофте, Харпер, MIT Press, 1990).

Стандартный ML ’97 — это скромный пересмотр (и упрощение) языка, определено в The Definition of Standard ML (Пересмотренный) (Милнер, Тофте, Харпер, Маккуин, MIT Press, 1997).

Название измененного языка остается «Standard ML», но мы также назовите его «Standard ML ’97» или «SML ’97», чтобы отличить его из версии 1990 г., которую можно обозначать как «SML ’90».

В то же время новый Базовая библиотека SML добавлена ​​в спецификация языка.Новая базовая библиотека предназначена для поддержки широкого спектра систем. и программирование приложений: он определяет широкий набор предопределенных модулей, которые предоставляют базовые типы, средства ввода / вывода и интерфейсы для взаимодействия с хост-операционная система переносимым способом.

Основные изменения языка в SML ’97 приведены ниже. Для получения более подробной информации об изменениях и предложениях по конвертации Код SML ’90 для работы под SML ’97, см. Руководство по преобразованию SML ’97.

Основные языковые изменения в SML ’97 :

  • Исключение переменных императивного типа . Роль переменные императивного типа в ограничении полиморфизма при наличии эффектов теперь проигрывается ограничением значения , которое позволяет обобщить тип привязки val только тогда, когда правильный сторона руки — это выражение в ограниченной форме, называемое значением выражение . Выражение значения — это либо константа, либо переменная, либо функциональное выражение (т.е. лямбда-выражение) или построено из эти элементы используют изделия и конструкции.
  • Устранение разделения структуры . Совместное использование типов все еще доступны, и обозначение разделения структуры остается, но интерпретируется в более слабом смысле, как косвенный способ выражения типа обмен. Роль разделения типов несколько ограничена, чтобы не вступать в конфликт с определениями типов.
  • Добавление определений типов в подписи . Есть также новый , где обозначение типа позволяет изменять существующая подпись, добавив определения для ее компонентов типа.Новые формы спецификаций и определений типов данных позволяют тип данных быть определенным как тот же, что и существующий тип данных.
Документация

Руководство по преобразованию SML ’97 освещает вопросы конвертации программ из SML / NJ 0.93 — SML ’97 (SML / NJ 110). Полезным средством преобразования является Сравнение среды верхнего уровня, который суммирует различия между средами верхнего уровня SML / NJ 0.93 (который предполагается некоторыми старыми учебниками) и новый SML ’97 (SML / NJ 110) высший уровень.Полная документация для Базовая библиотека доступно в Интернете.

Учебники

Следующие новые издания учебников по программированию на машинном языке описывают SML ’97.

Реализации
Стандартный ML штата Нью-Джерси
SML / NJ версии 110 и более поздние реализуют SML ’97 плюс некоторые дополнительные функции (векторные выражения и шаблоны, шаблоны ИЛИ, withtype в подписях, модули высшего порядка).
Москва МЛ
Реализация на основе кода от Caml Special Light.Модульная система предоставляет некоторые дополнительные функции (модули более высокого порядка, первоклассные структуры, рекурсивные модули).
ML Комплект
ML Kit реализует SML ’97 и использует анализ областей памяти управление. Модульная система реализована по схеме, называемой «статическая интерпретация».
млтонн
Компилятор всей программы для SML ’97.
PolyML
Версии 4 и более поздние реализуют SML ’97.

| SML / NJ Домашняя страница |
Отправляйте свои комментарии на номер
Авторские права © 1998, Lucent Technologies; Bell Laboratories.

sml Учебник => Установка

Пример

Существует дюжина реализаций Standard ML. MLton производит очень оптимизированный код, но не имеет REPL. SML / NJ является наиболее широко используемым, но имеет несколько сложных сообщений об ошибках для учебных целей. С Moscow ML и Poly / ML легко начать, но они не поддерживают формат пакета .mlb. Однако для начала это не обязательно.

Вот инструкции по установке каждого из SML / NJ, Moscow ML и Poly / ML, разделенные по операционной системе.

в Windows

SML / Нью-Джерси:

Москва МЛ:

  • Зайдите на http://mosml.org/ и нажмите «Загрузить Win. Installer». Запустите установщик.
  • Теперь у вас есть REPL, например C: \ Program Files (x86) \ mosml \ bin \ mosml.exe .

SML / Нью-Джерси:

  • Запустите brew install smlnj как собственный пользователь. Протестируйте REPL с помощью smlnj .

Москва МЛ:

  • Перейдите по адресу http: // mosml.org / и нажмите «Загрузить файл PKG». Запустите установщик.
  • Отсутствует … Проверить REPL как? Это сейчас в $ PATH ?

В Ubuntu / Debian Linux

SML / Нью-Джерси:

  • Запустите sudo apt-get install smlnj от имени суперпользователя. Протестируйте REPL с помощью smlnj .

Москва МЛ:

Добавление поддержки readline

Чтобы иметь возможность использовать клавиши со стрелками для навигации по строкам, которые ранее были введены в REPL, большинство компиляторов SML могут воспользоваться программой rlwrap .Используя Homebrew в MacOS, установите это с помощью brew install rlwrap , а в Ubuntu / Debian Linux установите это с помощью sudo apt-get install rlwrap . Затем в терминале попробуйте следующее:

  псевдоним mosml = 'rlwrap mosml -P full'
псевдоним sml = 'rlwrap sml'
псевдоним поли = 'rlwrap poly'
  

Эти псевдонимы могут быть добавлены, например, к ваш ~ / .bashrc , поэтому они работают по умолчанию.

Клавиша со стрелками теперь должна работать лучше.




.

Добавить комментарий