GHCi'de çok satırlı komutlar

Ghci'ye çok satırlı komutları girmede sorun yaşıyorum.

Aşağıdaki 2 satırlı kod bir dosyadan çalışır:

addTwo :: Int -> Int -> Int
addTwo x y = x + y

Ama ghci'ye girdiğimde bir hata alıyorum:

<interactive>:1:1: error:
    Variable not in scope: addTwo :: Int -> Int -> Int

Ayrıca kodu içine koymayı da denedim :{ ... :}, ancak bu örnek için de çalışmıyorlar, çünkü bu sadece satırları bir satıra eklemek, ki durum böyle olmamalı.

WinGHCi, sürüm 2011.2.0.1 kullanıyorum

Çoğu zaman, sizin için bir imza oluşturmak için tür çıkarımına güvenebilirsiniz. Örneğinizde aşağıdakiler yeterlidir:

Prelude> let addTwo x y = x + y

Gerçekten tip imzalı bir tanım istiyorsanız veya tanımınız birden fazla satıra yayılıyorsa, bunu ghci'de yapabilirsiniz:

Prelude> :{
Prelude| let addTwo :: Int -> Int -> Int
Prelude|     addTwo x y = x + y 
Prelude| :}
Prelude> addTwo 4 7
11

Bunu bir satıra da sıkıştırabileceğinizi unutmayın:

Prelude> let addTwo :: Int -> Int -> Int ; addTwo x y = x + y

Ghci ile etkileşim hakkında daha fazla bilgiyi dokümantasyonun bilgi istemi bölümünde Etkileşimli değerlendirme bölümünde bulabilirsiniz.

GHCI'yi çalıştırıp yazarak bu sorunu çözün :set +m:

Prelude> :set +m
Prelude> let addTwo :: Int -> Int -> Int
Prelude|     addTwo x y = x + y
Prelude| 
Prelude> addTwo 1 3
4

Boom.

Burada neler oluyor (ve çoğunlukla konuşuyorum size yolunuzu çalışırken kişinin yardım için googling, A Haskell bilgi ) GHCI sinek işlev adlarının bağlamaları değiştirirken interaktif bir ortam olmasıdır. letHaskell'in bir şeyi tanımlamak üzere olduğunuzu anlaması için fonksiyon tanımlarınızı bir bloğa sarmanız gerekir . :set +mŞeyler satırlı için kısaltmadır :{ kod :} yapısının.

Boşluk, bloklarda da önemlidir, bu nedenle, içindeki dört boşluğu hesaba katmak için, tür tanımınızdan sonra işlev tanımınızı dört boşlukla girmeniz gerekir let.

Kullanım let:

Prelude> :{
Prelude| let addTwo :: Int -> Int -> Int
Prelude|     addTwo x y = x + y
Prelude| :}
Prelude> addTwo 2 3
5

İtibariyle GHCI sürümü 8.0.1 , letartık repl işlevleri tanımlamak için gereklidir.

Yani bu sizin için iyi çalışmalı:

λ: addTwo x y = x + y
λ: addTwo 1 2
3
λ: :t addTwo
addTwo :: Num a => a -> a -> a

Haskell'in tür çıkarımı, float'lar için de işe yarayan genelleştirilmiş yazım sağlar:

λ: addTwo 2.0 1.0
3.0

Kendi yazımınızı sağlamanız gerekiyorsa let, çok satırlı girişle birlikte kullanmanız gerekecek gibi görünüyor ( :set +mGHCI'de çok satırlı girişi etkinleştirmek için kullanın ):

λ: let addTwo :: Int -> Int -> Int
 |     addTwo x y = x + y
 | 
λ: addTwo 1 2
3

Ancak Intpolimorfik olmayan yazmanız nedeniyle herhangi bir şeyi iletmeye çalışırsanız hatalar alırsınız :

λ: addTwo 2.0 1.0

<interactive>:34:8: error:
    • No instance for (Fractional Int) arising from the literal ‘2.0’
    • In the first argument of ‘addTwo’, namely ‘2.0’
      In the expression: addTwo 2.0 1.0
      In an equation for ‘it’: it = addTwo 2.0 1.0

Aaron Hall'un cevabını genişletmek için , en azından GHCi 8.4.4 sürümünde let, :{ :}stili kullanıyorsanız tip bildirimleriyle birlikte kullanmanıza gerek yoktur . Bu, hesaba katmak için sonraki her satıra 4 boşluk girintisi ekleme, daha letuzun işlevlerin yazılmasını çok daha kolay hale getirme veya çoğu durumda kopyalayıp yapıştırma konusunda endişelenmenize gerek olmadığı anlamına gelir (orijinal kaynak büyük olasılıkla doğru girinti):

λ: :{
 | addTwo :: Int -> Int -> Int
 | addTwo x y = x + y
 | :}
λ: addTwo 1 2
3

Güncelleme

Alternatif olarak ile çok satırlı giriş modunu açabilir :set +m, ardından letkendi başına yazabilir , Enter tuşuna basabilir ve ardından tanımları girinti gerektirmeden yapıştırabilirsiniz.

Ancak bu, aşağıdaki gibi bazı kod bloklarıyla çalışmıyor gibi görünüyor:

class Box a where
  mkBox :: a -> Boxes.Box

Ancak :{, :}teknik yapar.