Uniform Boilerplate and List Processing.pdf
232.6 KB
#纸 Uniform Boilerplate and List Processing
#TIL https://wiki.haskell.org/index.php?title=Obfuscation/IOHCC_2004
--------------------------------------------
module Main where{import List;import System;
import Data.HashTable as H;(???????)=(concat
);(??????)(???)(????)=((groupBy)(???)(????))
;(??????????????????????)(????)=((??????????
)((tail).(???????))((????????????????????)((
??????)(?????????????????????)(????))));(??)
=([' ']);(??????????????)=((hashString));(?)
=((>>=));(???????????????????????)([((???)),
(????)])=((?????????????)(???))?(\(?????)->(
(????????????????)(==)(??????????????))?(\((
???))->((??????????????????)(???????????????
)(???)(?????))>>((?????????????????)(???))?(
\((?????))->((((???????????????????)((????))
((??????????????????????))((?????))))))));((
???????????????????????))(??)=(????????????)
("usage f dic out");(?????????????????????)(
(???),(??????))((????),(????????????????????
))=((???)==(????));(?????????????????)(???)=
(toList)(???);(????????????????????)(????)=(
((??????????)(((??????????)(snd)))((????))))
;(??????????????????)(???????????????)(???)(
(?????))=(((mapM)(((???????????????)(???)))(
(lines)(?????))));(???????????????????)(????
)(???????????????????????)(?????)=(?????????
)(????)((unlines)((???????????????????????)(
?????)));(????????????????)(???)((????))=(((
new)(???)(????)));(main)=((???????????)?(((\
(???)->((???????????????????????)(???))))));
(???????????????)(???)(????)=((????????)(???
)((sort)(????))((??)++(????)));(???????????)
=(getArgs);(????????????)(???)=((((print))((
???))));(??????????)(???)(????)=(((map)(???)
(????)));(????????)((???))(????)(?????)=((((
H.insert))((???))(????)(?????)));(?????????)
((???))((????))=(((writeFile)(???)((????))))
;(?????????????)(???)=(((readFile)((???))))}
--------------------------------------------
import Data.Char
e=181021504832735228091659724090293195791121747536890433
u(f,m)x=i(m(x), [],let(a,b)=f(x) in(a:u(f,m)b))
(v,h)=(foldr(\x(y )->00+128*y+x)0,u( sp(25),((==)"")))
p::(Integer,Integer )->Integer -> Integer --NotInt
p(n,m)x =i(n==0 ,1,i(z n ,q(n,m)x, r(n,m)x))
i(n,e,d )=if(n) then(e) else (d) --23+3d4f
(g,main ,s,un)= (\x->x, y(j),\x->x*x,unlines)--)
j(o)=i(take(2)o== "e=","e="++t (drop(4-2)o),i(d>e,k,l)o)
l=un.map (show.p (e,n).v.map( fromIntegral{-g-}.ord)).h
k=co.map(map(chr .fromIntegral ).w.p(d,n). read).lines
(t,y)=(\ (o:q)-> i(o=='-' ,'1','-' ): q,interact)
q(n,m)x= mod(s( p( div(n)2, m{-jl-})x) )m--hd&&gdb
(r,z,co) =(\(n, m)x->mod(x*p(n-1, m)x)m,even ,concat)--6
(w,sp)=( u(\x->( mod(x)128,div(x )128),(==0 )),splitAt)
d=563347325936+1197371806136556985877790097-563347325936
n=351189532146914946493104395525009571831256157560461451
Forwarded from 喵喵小喵喵 (Meow-meow 🍓)
https://nick-black.com/dankwiki/index.php/Book_list_for_streetfighting_computer_scientists
Nice taste(
Nice taste(
dankwiki
Book list for streetfighting computer scientists
https://hackage.haskell.org/package/contra-tracer-0.2.0.0/docs/Control-Tracer.html 打日志 (on top of abstract nonsense)
in case you don't know arrow notation
en.wikibooks.org
Haskell/Understanding arrows
Arrows, like monads, express computations that happen within a context. However, they are a more general abstraction than monads, and thus allow for contexts beyond what the Monad class makes possible. The essential difference between the abstractions can…
TChan
#纸 Lean4Lean: Towards a formalized metatheory for the Lean theorem prover https://arxiv.org/abs/2403.14064
YouTube
Mario Carneiro: Lean4Lean: Formalizing the type theory of Lean
Enjoy the videos and music you love, upload original content, and share it all with friends, family, and the world on YouTube.
#纸 Sound and Complete Bidirectional Typechecking for Higher-Rank Polymorphism with Existentials and Indexed Types: Full definitions, lemmas and proofs
https://arxiv.org/pdf/1601.05106
https://arxiv.org/pdf/1601.05106
implication_constraints.pdf
317.8 KB
#纸 Complete and Decidable Type Inference for GADTs
#纸 Correct and Complete Type Checking and Certified Erasure for Coq, in Coq
https://inria.hal.science/hal-04077552v3/document
https://inria.hal.science/hal-04077552v3/document