all options
bookworm  ] [  trixie  ] [  forky  ] [  sid  ]
[ Source: haskell-clash-lib  ]

Package: libghc-clash-lib-dev (1.8.1-2 and others)

Links for libghc-clash-lib-dev

Screenshot

Debian Resources:

Download Source Package haskell-clash-lib:

Maintainers:

External Resources:

Similar packages:

Funktionelt udstyrsbeskrivelsessprog - bibliotek

Clash er et funktionelt udstyrsbeskrivelsessprog, der låner både sin syntaks og semantik fra det funktionelle programmeringssprog Haskell. Clash-kompileren omdanner disse højniveau beskrivelser til lavniveau VHDL, Verilog eller SystemVerilog, der kan syntetiseres.

Funktioner i Clash:

 * Stærkt skrevet, men med en meget høj grad af typeslutning, hvilket
   muliggør både sikker og hurtig prototyping ved hjælp af kortfattede
   beskrivelser.

 * Interaktiv REPL: indlæs dine design i en fortolker og test nemt hele
   din komponent uden behov for opsætning af et testbænk.

 * Funktioner i højere orden, med typeinferens, resulterer i design, der
   er fuldt parameteropsat som standard.

 * Synkront sekventielt kredsløbsdesign baseret på værdistrømme, kaldt
   @Signal@s, ført til naturlige beskrivelser af tilbagemeldingsløkker.

 * Understøttelse for flere clock-domæner, med typesikker clock-
   domænekrydsning.

Denne pakke tilbyder:

 * Det CoreHW-interne sprog: SystemF + Letrec + Case-decomposition

 * Normalisation-processen der bringer CoreHW i en normal form, der
   konverterer til en netliste

 * Blackbox/Primitive Handling

Brugerflader (for: fortolkning, typekontrol etc.) tilbydes af separate pakker:

 * <https://hackage.haskell.org/package/clash-ghc GHC/Haskell Frontend>

 * <https://github.com/christiaanb/Idris-dev Idris Frontend>

Prelude-bibliotek: <https://hackage.haskell.org/package/clash-prelude>

Denne pakke tilbyder et bibliotek til programmeringssproget Haskell. Se http://www.haskell.org/ for yderligere information om Haskell.

Other Packages Related to libghc-clash-lib-dev

  • depends
  • recommends
  • suggests
  • enhances

Download libghc-clash-lib-dev

Download for all available architectures
Architecture Version Package Size Installed Size Files
alpha (unofficial port) 1.8.1-2 7,938.0 kB98,236.0 kB [list of files]
amd64 1.8.1-2+b4 4,752.4 kB50,030.0 kB [list of files]
arm64 1.8.1-2+b4 5,159.5 kB59,946.0 kB [list of files]
armel 1.8.1-2+b5 6,571.6 kB62,779.0 kB [list of files]
armhf 1.8.1-2+b5 6,444.9 kB61,756.0 kB [list of files]
hppa (unofficial port) 1.8.1-2+b2 9,698.3 kB102,968.0 kB [list of files]
i386 1.8.1-2+b6 8,180.6 kB68,220.0 kB [list of files]
ia64 (unofficial port) 1.6.4-1 8,795.2 kB200,803.0 kB [list of files]
loong64 (unofficial port) 1.8.1-2+b4 10,347.3 kB122,199.0 kB [list of files]
m68k (unofficial port) 1.6.4-1 7,547.9 kB69,807.0 kB [list of files]
mips64el 1.8.1-2+b5 7,438.7 kB96,641.0 kB [list of files]
ppc64 (unofficial port) 1.8.1-2+b4 6,358.3 kB94,776.0 kB [list of files]
ppc64el 1.8.1-2+b4 6,715.9 kB84,408.0 kB [list of files]
riscv64 1.8.1-2+b4 9,367.0 kB109,393.0 kB [list of files]
s390x 1.8.1-2+b4 8,913.0 kB108,432.0 kB [list of files]
sparc64 (unofficial port) 1.8.1-2+b3 8,125.8 kB137,464.0 kB [list of files]