«haskell» etiketlenmiş sorular

Kapalı . Bu soru görüş temelli . Şu anda cevapları kabul etmiyor. Bu soruyu geliştirmek ister misiniz? Bu yayını düzenleyerek gerçekler ve alıntılarla yanıtlanabilmesi için soruyu güncelleyin . 4 yıl önce kapalı . Scala Option tipi neden Haskell'de olduğu gibi belki de denilmiyor? Belki benim için çok daha "anlambilimsel" bir …

13 language-design  haskell  scala  naming-standards  monad 

Düzenleme: Soruyu biraz yeniden ifade ediyorum. Görünüşe göre biraz karışıklığa neden oldum çünkü yıkıcı teriminin OOP'de oldukça farklı bir şey için kullanıldığını fark etmedim - bir nesne yok edildiğinde çağrılan bir işlev. Fonksiyonel programlamada değişebilir durumdan kaçınırız (böylece deneriz), böylece böyle bir eşdeğer yoktur. (Soruya uygun etiketi ekledim.) Bunun yerine, …

13 terminology  functional-programming  haskell  data 

Çoğu zaman Javascript ve Haskell'de (bazı python) programladığım bir iş bıraktım (başka bir ülkeye taşınmak için). Gerçekten hoşuma gitti çünkü insanlar nesnel, olumlu, matematikseldi ve yine de bir sürü şey yaptılar. Bu gerçekten profesyonel bir dükkandı. Şimdi bir Agile / XP mağazasında çalışıyorum. Bu iyi olsa da, teknoloji ve kütüphanelerin …

13 ruby  haskell  agile 

Şu anda olduğu gibi, bu soru Soru-Cevap formatımıza uygun değil. Yanıtların gerçekler, referanslar veya uzmanlık tarafından desteklenmesini bekliyoruz, ancak bu soru muhtemelen tartışma, tartışma, oylama veya genişletilmiş tartışma talep edecektir. Bu sorunun çözülebileceğini ve muhtemelen yeniden açılabileceğini düşünüyorsanız, yardım için yardım merkezini ziyaret edin . 6 yıl önce kapalı . …

13 learning  functional-programming  lisp  haskell  recursion 

Bir fonksiyonun idempotent olduğunu kanıtlamak için statik veya bağımlı tipler kullanmak mümkün müdür? Şanssız cevap için Google ve StackOverflow / StackExchange üzerinde çeşitli yerlerde aradım. Bulduğum en yakın şey Idris hakkındaki bu sohbetti: https://groups.google.com/forum/#!topic/idris-lang/yp7vrspChRg Ne yazık ki, bu tartışma kafamın biraz üstünde.

12 haskell 

İşte SPOJ'dan basit bir programlama problemi: http://www.spoj.com/problems/PROBTRES/ . Temel olarak, i ve j arasındaki sayılar için en büyük Collatz döngüsünü çıkarmanız istenir. ($ N $ sayısının Collatz döngüsü, sonunda $ n $ 'dan 1' e kadar adımların atılmasıdır.) Ben Java veya C ++ (izin verilen çalışma zamanı sınırına sığacak şekilde) …

12 programming-practices  functional-programming  haskell 

Haskell'de, Functor tipeclass functor aşağıdaki gibi tanımlanır (bkz. Örneğin Haskell wiki ): class Functor (f :: * -> *) where fmap :: (a -> b) -> f a -> f b Bildiğim kadarıyla (hatam varsa düzeltin lütfen) anladığımız kadarıyla böyle bir funktor sadece kategori türüdür yapıcısı kullanılarak inşa hedef kategorisi, …

12 haskell 

(soruyu buraya yazıyorum çünkü kodlama probleminden ziyade kavramsal mekaniği ile ilgili) Eşitliğinde bir dizi fibonacci numarası kullanan küçük bir program üzerinde çalışıyordum, ancak belirli bir sayıyı aşarsam acı verici bir şekilde yavaşladığını fark ettim, Haskell'de bir tekniğe rastladım Memoization, kodun şu şekilde çalıştığını gösterdiler: -- Traditional implementation of fibonacci, hangs …

12 haskell  recursion 

Haskell ile fonksiyonel programlama öğreniyorum . Bu arada Automata teorisini inceliyorum ve ikisi birbirine çok iyi uyuyor gibi göründüğü için automata ile oynamak için küçük bir kütüphane yazıyorum. Soruyu sormamı sağlayan sorun işte burada. Bir devletin ulaşılabilirliğini değerlendirmenin bir yolunu incelerken, basit bir özyinelemeli algoritmanın oldukça verimsiz olacağı fikrini aldım, …

12 algorithms  functional-programming  haskell 

Bu yüzden çok sayıda ajax aramaları ve geri arama ism'in diğer müdahaleleri ile oldukça ilgili bir javascript / html istemcisi yapıyorum. Fay'ı bu amaçla kullanma düşüncesini eğlendiriyorum. Elm'in farkındayım. Denedim ve FRP öğelerini sevdim. Şimdi Fay'da benzer bir yapının mümkün olup olmadığını bilmek istiyorum. Bu noktada Fay'da FRP'nin somut örnekleri …

12 javascript  functional-programming  haskell  paradigms 

Ben bir simülasyon / modelleme projesi başlatmak üzereyim. OOP'un bu tür projeler için kullanıldığını zaten biliyorum. Ancak Haskell'i incelemek beni bir bileşen sistemini modellemek için FP paradigmasını kullanmayı düşündürdü. Açıklayayım: Diyelim ki bir veri kümesi (sıcaklık veya basınç, bir PDE ve bazı sınır koşulları gibi bir parametre) ile karakterize edilen …

12 c++  object-oriented  functional-programming  haskell  modeling 

FP'nin yaptığı gibi, sonuçta tüm programlarımız yapılandırılmıştır. Yani, onları ne kadar saf ya da işlevsel yaptığımız önemli değil - her zaman meclise çevrilirler, bu yüzden aslında davlumbazların arkasında yatan şey talimatlar, durumlar ve döngülerdir. FP'yi taklit ediyoruz. Bir donanım noob olarak, sorum şu: neden şeyleri işlevsel bir tarzda hesaplayan bilgisayar …

12 functional-programming  computer-science  haskell  lisp  clojure 

Gibi isteğe bağlı bir tip sezgisi Maybe Intya olmasıdır herhangi Int (böylece, orada Nothingvar) ya da olduğu , bazı Int; orada bir şey var. Benim için mantıklı bir şekilde "negatif" vaka için tip yapıcısı dediğimiz mantıklıdır Nothing, çünkü tam olarak bu demektir - orada yok Int. Ama neden sadece orada …

11 functional-programming  haskell  data-types  null 

Birbiriyle kesişen geometrik nesneler için bir tür sınıfı tanımlamak istiyorum: class Intersect a b c | a b -> c where intersect :: a -> b -> c -- Language extensions: -XMultiParamTypeClasses, -XFunctionalDependencies Fikir, farklı tipteki nesneleri işleyebilen genel amaçlı bir kavşak fonksiyonuna sahip olmaktır. Birisi şöyle düşünebilirdi: instance Intersect …

11 haskell  type-systems  typeclass 

Değiştirilmiş iki boyutlu dilbilgisi sözdizimine dayalı bir matris sıkıştırma kütüphanesi uyguluyoruz. Şimdi veri tiplerimiz için iki yaklaşımımız var - bellek kullanımı durumunda hangisi daha iyi olacak? (bir şeyi sıkıştırmak istiyoruz;)). Dilbilgisi, tam olarak 4 Prodüksiyona sahip olmayan Terminaller veya sağ tarafta bir Terminal içerir. Eşitlik kontrolleri ve dilbilgisi minimizasyonu için …

11 functional-programming  haskell  memory  grammar