สิ่งตีพิมพ์ในหัวข้อ 'haskell'
Bitcoin Monad
ฟังก์ชันการเขียนโปรแกรม Zine
เราจะกล่าวถึงมหาอำนาจอื่นๆ เช่น Functors, Applicatives, Monoids ใน zines ที่กำลังจะมาถึง!
ป.ล.: แสดงความคิดเห็นด้านล่างเกี่ยวกับหัวข้อ Functional Programming ใดๆ ที่คุณอยากเห็นนิตยสารเกี่ยวกับ!
Haskell ที่มีประสิทธิภาพ
ตอนนี้เปิดตัวเต็มรูปแบบแล้ว
Haskell ที่มีประสิทธิภาพ
โดย รีเบคก้า สกินเนอร์
หนังสือของ Rebecca Skinner Effective Haskell: Solving Real-World Problems with Strongly-Typed Functional Programming ขณะนี้ออกจากรุ่นเบต้าแล้วและวางจำหน่ายเต็มรูปแบบแล้วทั้งในรูปแบบ eBook และ print . ebook หาได้จาก The Pragmatic Bookshelf:
Effective Haskell นำพลังของ Haskell มาทำงานในโปรแกรมของคุณ เรียนรู้จากวิศวกรที่ใช้ Haskell ทุกวันเพื่อนำไปปฏิบัติจริง... pragprog.com..
การเรียนรู้ Haskell: คู่มือแหล่งข้อมูล
หนึ่งในปัญหาที่พบบ่อยที่สุดที่เราทุกคนเผชิญเมื่อตัดสินใจเริ่มเรียนรู้สิ่งใหม่ๆ — เราแค่ไม่รู้ว่าจะเริ่มต้นที่ไหนและจะเรียนรู้ที่ไหน
หากก่อนหน้านี้มีปัญหาในการหาหนังสือ บทช่วยสอน หรือหลักสูตร ตอนนี้คุณสามารถหาแหล่งข้อมูลบนเว็บมากมายที่มีเนื้อหาดีๆ และขยะมากมายในเวลาเดียวกัน เราได้เตรียมกระดานกระโดดน้ำเล็กๆ ไว้สำหรับคุณ — รายชื่อแหล่งข้อมูลทางการศึกษาของ Haskell ที่ได้รับการยืนยันโดยผู้เชี่ยวชาญของเรา
วันแรกที่โรงเรียน
เรียนรู้คุณ Haskell
เรียนรู้..
คำถามในหัวข้อ 'haskell'
ใช้เวลานานแค่ไหนในการสร้าง 1 ล้านเธรดใน Haskell
สิ่งที่ฉันเข้าใจ Haskell มีเธรดสีเขียว แต่จะมีน้ำหนักเบาขนาดไหน เป็นไปได้ไหมที่จะสร้าง 1 ล้านเธรด?
หรือ 100,000 เธรดจะใช้เวลานานเท่าใด?
2981 มุมมอง
schedule
27.11.2023
ตัวอย่างวิธีแยกวิเคราะห์เอาต์พุต exiftool JSON ใน Haskell
ฉันไม่สามารถเข้าใจเอกสารใดๆ ได้ ใครช่วยกรุณายกตัวอย่างว่าฉันสามารถแยกวิเคราะห์เอาต์พุต exiftool แบบสั้นต่อไปนี้โดยใช้โมดูล Haskell Text.JSON ได้อย่างไร ข้อมูลกำลังสร้างโดยใช้คำสั่ง exiftool -G -j <files.jpg>
[{
"SourceFile":...
2829 มุมมอง
schedule
12.11.2023
เหตุใดฟังก์ชันที่มีชื่อจึงต้องอยู่ในไฟล์แยกต่างหากในการกอด
ใน Haskell ใน 5 ขั้นตอน ฟังก์ชันแฟคทอเรียลถูกกำหนดไว้ดังนี้:
let fac n = if n == 0 then 1 else n * fac (n-1)
แต่สำหรับการกอด มันบอกว่า fac ต้องอยู่ใน fac.h ใครสามารถอธิบายได้ว่าทำไมถึงเป็นเช่นนี้ -...
987 มุมมอง
schedule
19.01.2024
คลาสประเภท Haskell และตระกูลประเภท (ต่อ)
ฉันต้องการความช่วยเหลือในการหาข้อผิดพลาดของคอมไพเลอร์ซึ่งทำให้ฉันแทบบ้า...
ฉันมีคลาสประเภทต่อไปนี้:
infixl 7 -->
class Selectable a s b where
type Res a s b :: *
(-->) :: (CNum n) => (Reference s a) ->...
387 มุมมอง
schedule
23.11.2023
โปรแกรมหรือไลบรารี Haskell ของฉันจะค้นหาหมายเลขเวอร์ชันได้อย่างไร
ฉันต้องการให้โปรแกรมที่เชื่อมต่อแล้วของฉันมีสวิตช์ --version
ฉันต้องการให้รายงานเวอร์ชันเดียวกันกับที่มีอยู่ในไฟล์ .cabal
หากฉันต้องอัปเดตหมายเลขเวอร์ชันแยกกันในซอร์สโค้ด Haskell ของฉันและในไฟล์ .cabal...
3645 มุมมอง
schedule
29.10.2023
Haskell: แบ่งองค์ประกอบคู่และคี่ออกเป็นทูเพิล
ฉันไม่สามารถใช้ฟังก์ชันลำดับสูงได้ ฉันไม่เห็นว่าจะต้องทำอย่างไร ฉันยังใหม่กับ haskell มาก มันจะต้องมีการเรียกซ้ำด้วย
split :: [Int] -> ([Int],[Int])
split xs =
ฉันได้รับสิ่งนี้เพื่อเริ่มต้นด้วย...
6432 มุมมอง
schedule
21.11.2023
การค้นหาเชิงลึกแบบวนซ้ำสามารถนำไปใช้อย่างมีประสิทธิภาพใน haskell ได้อย่างไร
ฉันมีปัญหาในการเพิ่มประสิทธิภาพที่ฉันต้องการแก้ไข คุณมีโครงสร้างข้อมูลบางประเภท:
data Foo =
{ fooA :: Int
, fooB :: Int
, fooC :: Int
, fooD :: Int
, fooE :: Int
}
และฟังก์ชันการให้คะแนน:
rateFoo :: myFoo -> Int...
1617 มุมมอง
schedule
18.12.2023
วิธีประกาศฟังก์ชั่น (พิมพ์ผิดอาจจะ)
ฉันต้องการฟังก์ชั่นที่ทำงานเช่น:
some :: (Int, Maybe Int) -> Int
some a b
| b == Nothing = 0
| otherwise = a + b
กรณีการใช้งาน:
some (2,Just 1)
some (3,Nothing)
map some [(2, Just 1), (3,Nothing)]...
1111 มุมมอง
schedule
28.12.2023
สู่การทำความเข้าใจ CodeGen* ในการผูก Haskell LLVM
ความเป็นมา: ฉันกำลังเขียนของเล่น Lisp interperter/compiler ใน Haskell เพื่อความบันเทิง/การสั่งสอนของฉันเอง ฉันกำลังพยายามเพิ่มความสามารถในการคอมไพล์เป็น LLVM bytecode
บริบท: ฉันได้อ่านเอกสารประกอบสำหรับ LLVM.Core และตัวอย่างโค้ด ( ที่นี่ )...
1396 มุมมอง
schedule
26.11.2023
การใช้รายการกับฟังก์ชันที่ป้อนเพื่อตรวจสอบซ้ำซาก
ฉันต้องการเขียนฟังก์ชันใน haskell ซึ่งกำหนดว่าฟังก์ชันบูลีน (ป้อนด้วย lambda-expression ใน ghci) เป็นฟังก์ชันซ้ำซากหรือไม่ อินพุตควรมีลักษณะดังนี้:
taut n (\[x..] -> ... == ...)
taut 3 (\[x,y,z] -> ((x||y)||z) == (x||(y||z)) )...
804 มุมมอง
schedule
07.01.2024
คิวที่พิมพ์ขึ้นอยู่กับ haskell
ฉันพยายามตอบคำถามของตัวเองเกี่ยวกับ ตัวอย่างที่ใช้ส่วนขยาย PolyKinds ใน GHC และมา กับปัญหาที่เป็นรูปธรรมมากขึ้น ฉันกำลังพยายามสร้างโมเดลคิวที่สร้างจากสองรายการ ได้แก่ head-list ที่ dequeue รับองค์ประกอบมา และ tail-list ที่ enqueue วางไว้...
397 มุมมอง
schedule
19.01.2024
สับสนเกี่ยวกับฟังก์ชันเป็นอินสแตนซ์ของ Functor ใน haskell
ประเภทของ fmap ใน Functor คือ:
fmap :: Functor f => (a -> b) -> f a -> f b
ดูเหมือนว่า ขั้นแรกให้ใช้ฟังก์ชัน (a -› b) กับพารามิเตอร์ของ f a เพื่อสร้างผลลัพธ์ประเภท b จากนั้นใช้ f กับมัน และผลลัพธ์คือ f b
ใช้ Maybe a เช่น:...
6699 มุมมอง
schedule
01.01.2024
แปล Haskell (monadic) เป็น F#
ช่วยฉันแปลบล็อกต่อไปนี้ของรหัส Haskell ฟังก์ชัน run จะสร้างสตริงข้อความที่สอดคล้องกับ regex ที่กำหนดซึ่งสรุปเป็นรูปแบบ ประกาศประเภท Pattern ที่คุณเห็นด้านล่างในบล็อกของรหัส F# คุณสามารถทดสอบฟังก์ชัน run ได้เช่น
genex $ POr [PConcat...
772 มุมมอง
schedule
24.10.2023
ใช่ วิธีสร้างลิงก์ประเภทปลอดภัยจากข้อมูล JSON ใน Javascript / Julius
ฉันมีเส้นทาง
/notes/#NoteId NoteR GET
จากหน้าอื่นฉันต้องการลิงค์ไป เมื่อใช้หมู่บ้าน "คลาสสิก" มันง่ายมาก:
<a href=@{NoteR $ entityKey note}>notetitle
ฉันต้องการให้เพจของฉันมีความไดนามิกมากขึ้นและรับข้อมูล JSON...
647 มุมมอง
schedule
30.12.2023
แปลจาก monad เป็นแอปพลิเคชัน
โอเค ฉันรู้แล้วว่าคลาสประเภท Applicative มีอะไรบ้าง และเหตุใดจึงมีประโยชน์ แต่ฉันไม่สามารถสรุปได้ว่าคุณจะใช้มันอย่างไรในตัวอย่างที่ไม่สำคัญ
พิจารณาตัวอย่าง ตัวแยกวิเคราะห์ Parsec ที่ค่อนข้างง่ายต่อไปนี้:
integer :: Parser Integer
integer =...
784 มุมมอง
schedule
12.12.2023
ตัวตรวจสอบประเภทสามารถช่วยฉันได้ไหม ด้วยตระกูลประเภทอาจจะ?
ฉันจึงเขียน เกมฟุตบอล เล็กๆ นี้มาระยะหนึ่งแล้ว และมีสิ่งหนึ่งที่ทำให้เกิดข้อบกพร่อง ฉันตั้งแต่แรกเริ่ม เกมดังกล่าวเป็นไปตาม Yampa Arcade ดังนั้นจึงมีประเภทผลรวมสำหรับ "วัตถุ" ในเกม:
data ObjState = Ball Id Pos Velo
| Player Id...
264 มุมมอง
schedule
05.01.2024
ลบองค์ประกอบหลายรายการออกจากรายการตามตำแหน่ง
ฉันต้องการลบองค์ประกอบบางอย่างออกจากรายการ จนถึงตอนนี้ฉันมีฟังก์ชั่นการลบ:
deleteElem :: Int -> [a] -> [a]
deleteElem _ [] = []
deleteElem x zs | x > 0 = take (x-1) zs ++ drop x zs
| otherwise = zs...
1755 มุมมอง
schedule
04.11.2023
กำลังพยายามจัดการกับการกระทำของ IO
ฉันกำลังพยายามจัดการกับการกระทำของ IO ฉันสงสัยว่าทำไมสิ่งนี้ถึงใช้งานได้:
main = do
alias = getLine
name <- alias
putStrLn ("your name is: " ++ name)
พูด
parse error on input `='
109 มุมมอง
schedule
04.12.2023
Cabal ไม่สามารถติดตั้ง unix-2.7.0.0
ฉันกำลังพยายามติดตั้งแพ็คเกจ Unix บนสภาพแวดล้อม Windows ฉันใช้ Cygwin แต่ก็ยังใช้งานไม่ได้
ด้านล่างนี้เป็นตัวอย่างข้อผิดพลาดที่ฉันได้รับ:
$ cabal install unix
Resolving dependencies...
Configuring unix-2.7.0.0...
Warning: Unknown extensions:...
625 มุมมอง
schedule
30.11.2023
ฉันจะเพิ่มสวิตช์พิเศษใน Leksah ได้อย่างไร
ฉันต้องการเพิ่มสวิตช์พิเศษ "-XDeriveDataTypeable" ให้กับคอมไพเลอร์
ไม่อย่างนั้นฉันก็อยากจะคอมไพล์ Typeable ได้
ในเล็กซ่าห์ทำได้ที่ไหนคะ?
66 มุมมอง
schedule
05.11.2023