Bir itibaren makul En kafa karıştıran olmak buluyorsunuz ortak programlama dili?

Pek çok programlama podcast'i dinliyor ve yaklaşmakta olan ve önemli olan bazı yeni dilleri öğrenmek için zaman ayırıyorum. Her zaman BrainFuck'tan bahsetmiyorum , ama ortak programlama paradigmalarına meydan okuyan hangi dil olduğunu düşünürsünüz?

Benim için , 1990'lı yıllarda bazı işlevsel ve mantıksal (örneğin, Prolog ) programlama yaptım, bu yüzden orada özel bir şey bulduğumu söyleyemem.

Bu konuda uzman olmaktan çok uzaktayım , ancak bugün bile benim için en çok düşünen programlama dili Perl . Değil çünkü "Merhaba Dünya" uygulamak zordur, ama daha ziyade zor çözümlerden bazıları öylesine şiirsel Kafamı boşaltmak için uzakta benim terminali dışarıdan yürümek zorunda olduğunu çürümüş olabilir o kadar çok sözcük esneklik vardır. Büyük olasılıkla ticari bir yazılım uygulaması satacağımı söylemiyorum, sadece Perl'nin bu kadar ünlü olmasının farklı bir nedeni var. Sadece kitapların temel listesine bakın.

Peki, daha iyi programlama ve uygulamalarınızı teşvik eden zihin bükme diliniz nedir?

APL

Bu dil son derece güçlü ve çok veciz, bu olacak beyninizi zarar.

Başlangıç ​​olarak, kullandığı tüm belirsiz sembolleri göstermek için özel bir klavye veya en azından bir klavye kaplaması olmadan kullanmak zor.

O zaman dil, vektör / dizi tabanlı paradigmanın dilidir ve karmaşık doğrusal cebire doğru uzmanlaşmıştır. Orijinal versiyonda sıradışı dizi operatörlerini zincirleyerek zincir yapıları, hiçbir şey ve yapılan her şey bile yoktu.

• strip_tags()kimse yok mu? (Wikipedia'dan ödünç alındı)

Haskell . Çoğu insanın alışık olmadığı tamamen işlevsel olmaya çok yakın; çok zorlu, ki ne yaptığınızı öğrendikten sonra faydalı ancak o zamana kadar sinir bozucu; oldukça kriptik, oldukça sembolik bir sözdizimine sahip, bunu bir kez öğrendikten sonra harika ama ondan önce donuk ... liste devam ediyor.

Ayrıca, şeyleri bana iyi görünecek şekilde biçimlendirmek imkansızdır.

Prolog. İlk maruz kaldığımda kullandığım diğer dillerden çok farklıydı. Sevdim, bu yüzden sözdiziminden ya da hiçbir şeyden nefret etmiyorum.

Perl'de seninle aynı fikirdeyim. Gördüğüm en çirkin sözdizimi. Perl geliştiricilerinin bile ertesi gün ne yazdıklarını hatırlayamadıklarını söylüyorlar.

Forth demek zorunda kalacağım . Tüm işlemlerin yığın manipülasyonları olduğu gösterimi. Saf haliyle, kullanılacak hiçbir yerel değişken yoktur.

Ruby .

Bu beni kendimi öldürmek istememe neden oluyor:

1.month.from.now()

(Tam sözdizimini yanlış yapabilirdim, ama sen anladın).

brainfuck

Bir dilin bu alayını dürüstçe yazabilen birinin böyle bir konuya bile ihtiyacı olmamalıdır.

Merhaba Dünya (işaretçiler, sol; açıklama, sağ):

+++++ +++++             initialize counter (cell #0) to 10
[                       use loop to set the next four cells to 70/100/30/10
    > +++++ ++              add  7 to cell #1
    > +++++ +++++           add 10 to cell #2 
    > +++                   add  3 to cell #3
    > +                     add  1 to cell #4
    <<<< -                  decrement counter (cell #0)
]                   
> ++ .                  print 'H'
> + .                   print 'e'
+++++ ++ .              print 'l'
.                       print 'l'
+++ .                   print 'o'
> ++ .                  print ' '
<< +++++ +++++ +++++ .  print 'W'
> .                     print 'o'
+++ .                   print 'r'
----- - .               print 'l'
----- --- .             print 'd'
> + .                   print '!'
> .                     print '\n'

Lisp benim en son zihin bükme dilim.

Haskell'den monadları ve fonksiyonel programlamayı yanıma aldım ve şimdi çalışacak makrolarım var. Sadece CLOS'a giriyorum ve durum sistemine hiç dokunmadım.

KABAKULAK

Bu dan açılan bir dildir zaman için zaman çevrimiçi hikayelerde ve (olup, hasta kayıtları) kritik yaşam güvenliği bilgilerini depolamak fiili üretim kullanımda olma katma onurunu sahiptir. Ancak, bu aynı zamanda açıklığın takdir edildiği ve aşağıdaki gibi işlevlerin üretim kodunda görünebileceği bir dildir ( konuyla ilgili Wikipedia makalesinden örnek ):

s A="String" F i=1:1:$L(A) W $c($S($A($E(A,i))<91:$A($E(A,i))-52#26+65,1:$A($E(A,i))-84#26+97))

Coq veya bağımlı tip teorisinin başka bir uygulamasını söyleyebilirim . Haskell'in tipi sistemi karşılaştırmalı olarak çok etkileyici değildir. Daha etkileyici bir tür sisteme (örneğin, yapıların hesabı (CoC)) geçmek , dil içindeki programların özelliklerini kanıtlamak ve güçlü değişmezleri statik olarak kontrol edilebilecek türlerinize yerleştirmek gibi bazı temiz şeyler yapmanızı sağlar .

Objective-C . Adil olmak gerekirse, sadece çok kısa bir süre çalıştım ve ilk bakışta sözdiziminden, bundan vazgeçtim kadar hoşlanmadım.

Böyle (nispeten) ortak bir dil olduğundan (özellikle Mac / iPhone / iPad'in geliştirilmesinde), alıştıktan sonra aslında biraz iyi olduğuna eminim.

Merkür'ü seçtim .

Cıva, saf dillerin bile G / Ç yapabildiğini göstererek aklımı eğdi .

Bunun çalışma şekli, Merkür'deki G / Ç işlevlerinin 'dünya devleti' değerini alması ve yeni bir 'dünya devleti' değeri döndürmesidir. Böylece Merkür'deki G / Ç işlevleri dünyayı dönüştürür ve böylece saflık korunur.

Elbette Şeması olmalı . Anlatmaya çalışmak call-with-current-continuationher zaman beynimi acıtıyor, ama bir kez anladığınızda inanılmaz derecede zarif çözümler üretebilirsiniz.

Bir algoritma ve bir başkasına el kontrolü ile yarı yolda durdurmak ister misiniz? Elbette!

Aynı devam etmeyi birkaç kez devam ettirmek ister misiniz? Tabii ki!

Bir algoritmanın yürütülmesini duraklatmak, bir işlevi yeniden tanımlamak, daha sonra orijinal yığında ancak güncelleştirilmiş bir global durumda yürütmeye devam etmek mi istiyorsunuz? Sorun değil! Ve bunu küresel durumdaki farklı değişikliklerle birkaç kez mi yapıyorsunuz ama aynı yığın giriş noktası aynı mı? Sizin için efendim, her şey!

Eskiden çok güçlü bir metin değiştirme dili olan TECO (Metin Düzenleyici ve Eşleştirici) adında eskiden bir editör kullanıyordum. Bu konudaki ünlü alıntıyı hatırlamıyorum ama asıl amaç "20 karakterden oluşan rastgele bir koleksiyonun hemen hemen her zaman meşru bir TECO programı olduğunu ve dosyanızı (bu bir editördür) temelde tahmin edilemeyecek bir şekilde değiştirecek. bir Fortran - PL1 çevirici hakkında bir sayfa TECO kodu.

Meclis bana en "zihin bükme" oldu, ama ben daha yeni başlıyorum.

Lisp . Bunu öğrenmek, her biri programlama problemlerini çözme hakkındaki düşüncelerinizi tamamen değiştirecek olan bir dizi küçük epipalidir.

REBOL

Lisp gibi veri olarak kod kavramı etrafında inşa edilmiştir . Dilin taraftarları, ailedeki diğer yaklaşımlara göre benzersiz yararlarının ne olduğunu açıklamakta zorlanıyor ve genellikle omuz silkmek ve buna benzer şeyler söylemek "AmigaOS'u tasarlayan adamla birlikte standart kütüphaneye dahil edildi" ve bir kez 'kırmızı' alınca, kırmızı Matrix hapını almaya benzer ve asla geri dönmek istemeyeceksiniz.

Sorun, kısmen tuhaf olması ve hangi programcıların pazarda olduğunu kesin olarak tanımlamaması. Ama aynı zamanda kısmen, savunucuyu savunan birçok insan var. açıklamak için emdikleridir . :)

Fakat Douglas Crockford eskiden hayranıydı, ondan ilham aldı. almıştı ve insanların Ekim 2010'a kadar yakın zamanda incelemesini önerdi:

“Ted Neward, 'Programlama Dillerinin Geleceği' panelini düzenlemek için gerçekten iyi bir iş yaptı. Panelin sonunda Ted, panelistlere, insanların yeni fikirler edinmek için öğrenmeleri gerektiğini düşündüğü dilleri söyledi. (Bruce Tate), Rebol (Douglas Crockford) , Forth ve Faktör (Alex Payne), Şema ve Birleştirici (Josh Bloch) ve Clojure (Guy Steele). "

Kaynak: sauria.com

Dil tasarımı ve genişletilebilirlik hakkında nasıl düşündüklerini genişletmek isteyen herkesi aramaya değer. Şimdi açık kaynak (18 yıllık tescilli geliştirme sürecinden sonra) artık onu kol uzunluğunda tutmak için verdiğim olağan feragatnameler artık geçerli değil ... bir bakmaya değer! Topluluk kendi tescilli Rebol tabanlı mesajlaşma programından bile kurtuldu ve Stack Overflow'ta sohbet etmeye başladı (çok şaşırdım!)

Birçok insanın doğrudan yazmak zorunda kalmaktan kaçındığı, geliştiricilerin SQL'i zihin bükme olarak bulduklarını söyleyebilirim . Sanırım birçok insan doğal olarak kümeler açısından düşünmüyor.

Saf

Saf terim, yeniden yazma terimine dayalı işlevsel bir dildir. Sevdim, biraz sade ise, hem seyrek hem de etkileyici.

En çok zihin büken olmayabilir, ancak öğrenmesi çok zor oldu ( Haskell ve assembly dilinin daha kolay olduğunu düşündüm !)

Bu , özellikle VHDL (ve Verilog'u daha az oranda) olan HDL dilleri kümesidir.

Her "fonksiyon" un aynı anda çalışması gerçeğini aşmak inanılmaz derecede zordur ve kesinlikle her şeyi paralel hale getirmekten kaçınamazsınız. Tabii ki, bu sadece sınır çizgisi olsa da bir programlama dilidir.

Tcl

Bir kere öğrenmeye başladım, ancak mantıklı gelebilecek kadar öğrendiğim gibi beynimi hissettirdiği gibi gerçekten sevmedim. Bu zihin bükme olarak nitelendirilebilir.

Açıkçası, makine dilini çevirmek. Son derece güçlüdür, mevcut tüm diğer programlama dillerinden üstündür ve kullanmaya çalışırsanız beyninize zarar verme garantisi vardır.

C

İşaretçiler, bellek yönetimi ve tür seçimi hepsi çok fazla düşünür ve yanlış anlaşılması kolaydır. Karma tablolar veya listeler gibi yerleşik veri yapılarının olmayışı, kendinizinkileri tasarlamanız veya bir üçüncü taraf kütüphanesi bulmanız ve API'sini öğrenmeniz gerektiği anlamına gelir.

JESS (Java Uzman Sistem Kabuğu). Bir Java ortamına gömülü olan CLIPS'in bu uyarlaması, işlevsel bir kural tabanlı uzman sistem dilidir. Gerçek Java nesnelerini gerçekler olarak eşlemeye ve beklediğiniz sonuçları almak için sorulacak doğru soruları bulmaya çalışmak gerçek bir mücadeledir. Daha az bu yüzden eğer uzman sistem teorisine aşina iseniz, fakat saf bir OOP zihniyetinden geliyorsanız, bu uygun değildir. Not: CLIPS Lisp değil, öyle görünüyor. Yine başka bir zihin bükücü.

İlk öğrenme eğrisini geçtikten sonra, cevapları bulmak oldukça güç ve oldukça hızlıdır.

TeX bir dil olarak sayılıyor, çünkü Turing tamamlandı ve ben de aklımda kaldığını düşünüyorum. Dizgi matematik için bir dil (ve programlama kitapları) ...

CIL

CIL, tüm .NET programlarının derlediği Ortak Ara Dil , bir çeşit nesne yönelimli derleme. İçinde kod yazmayı veya okumayı denemek ve yapılarını zaten bildiğim C # ile karşılaştırmak ilginç. .NET'in sahne arkasında ne yaptığını öğrenmek için iyi bir yoldur. Mono Cecil kullanarak dinamik kod oluşturma veya varolan derlenmiş kodu yeniden yazma gibi şeyler için de faydalı olabilir .