{"version":"1.0","type":"link","title":"Standard ML - Newikis","description":"Standard ML (SML) er et funktionsorienteret programmeringssprog som understøtter moduler, statisk typetjek og typeinferens. Sproget er populært til udvikling af compilere, forskning omkring programmeringssprog og udvikling af systemer til automatisk bevisførelse.","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}