standard ml

• 1980 ortalarinda ortaya cikmi$ ml turevi bir programlama dili.. gunumuzun populer dillerinden ustun bir yani yok..
• (bkz: ocaml)
• doğruluğun suyunu çıkartmış garip bir dil. bu dilde real tipindeki değişkenlerin eşitlik operatörü yok; okuduğum kitap buna sebep olarak makinelerin reel aritmetiği ancak yaklaşık olarak yapmasını gösteriyor. illa karşılaştırmak isterseniz a küçük eşittir b ve a büyük eşittir b yapmanız gerekiyor (a <= b andalso a >= b) , böylece mutlak bir eşitlik iddia etmemiş ve sadece pratikte eşitliği kontrol etmiş oluyorsunuz.
  
  standard ml ile maceralarımız sürecek efenim.
  
  daha cok ogrendikce gelen edit:
  real structure'indaki compare fonksiyonuna iki reel sayiyi parametre olarak verirseniz sonuc olarak order tipinde bir deger alabiliyorsunuz, buna "equal" da dahil. baska yolu varmis yani.
  
  daha da cok ogrendikce gelen edit:
  yapabiliyor olsaniz bile yapmayin efenim. ieee 754 guvenilir bir standart degil, yari yolda birakiverir.
  
  bir senedir ogrettikten sonra gelen edit:
  garip falan degil mis gibi dildir efenim. bir haskell degil ama yoklukta kendini sevdirir.
• http://en.wikipedia.org/wiki/standard_ml
• tanım: fonksiyonel programlama dili.
  
  günümüzde kullanılmakta olan çeşitli implementasyonları:
  - moscow ml (97 standartlarına uyan sade bir implementasyon. genellikle üniversitelerde derslerde kullanılıyormuş.)
  - mlton (native compile yapabiliyor. oldukça başarılı.)
  - polyml (multiprocessing desteği var)
  - standard ml of new jersey
  
  ocaml'dan farklı olarak bir sürü derleyicisi/yorumlayıcısı var. standartları belli (bkz: standard ml 97). hoş bir dil olduğunu düşünüyorum.